| Title/Authors | Title | Research Artifacts
[?] A research
artifact is any by-product of a research project that is not
directly included in the published research paper. In Computer
Science research this is often source code and data sets, but
it could also be media, documentation, inputs to proof
assistants, shell-scripts to run experiments, etc.
|
Details |
|---|
|
Faster mutation analysis via equivalence modulo states Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao |
Faster mutation analysis via equivalence modulo states Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Targeted property-based testing Andreas Löscher, Konstantinos Sagonas |
Targeted property-based testing Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Author Comments:
Refer to https://proper-testing.github.io/ where more information about property-based testing, targeted property-based testing, more examples and tutorials can be found. By now, the work has been fully integrated in the PropEr tool, although the syntax of the examples has been slightly changed.
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill |
Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Automated layout failure detection for responsive web pages without an explicit oracle Thomas A. Walsh, Gregory M. Kapfhammer, Phil McMinn |
Automated layout failure detection for responsive web pages without an explicit oracle Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Oracle problem in software testing Gunel Jahangirova |
Oracle problem in software testing Details |
Author Comments:
This is a paper submitted for a Doctoral Symposium. The detailed information about the research presented in it is available in separate, more detailed papers. Those papers also include the link to the artifact that we have implemented.
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Author has
verified
information
|
|
|
An actionable performance profiler for optimizing the order of evaluations Marija Selakovic, Thomas Glaser, Michael Pradel |
An actionable performance profiler for optimizing the order of evaluations Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
JFIX: semantics-based repair of Java programs via symbolic PathFinder Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser |
JFIX: semantics-based repair of Java programs via symbolic PathFinder Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Dmitry Nurmuradov, Renée C. Bryce |
Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Testing and analysis of web applications using page models Snigdha Athaiya, Raghavan Komondoor |
Testing and analysis of web applications using page models Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Automatically inferring and enforcing user expectations Jenny Hotzkow |
Automatically inferring and enforcing user expectations Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Boosting the precision of virtual call integrity protection with partial pointer analysis for C++ Xiaokang Fan, Yulei Sui, Xiangke Liao, Jingling Xue |
Boosting the precision of virtual call integrity protection with partial pointer analysis for C++ Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
XFix: an automated tool for the repair of layout cross browser issues Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond |
XFix: an automated tool for the repair of layout cross browser issues Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Boosting spectrum-based fault localization using PageRank Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid |
Boosting spectrum-based fault localization using PageRank Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Impact of tool support in patch construction Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, Yves Le Traon |
Impact of tool support in patch construction Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
SealTest: a simple library for test sequence generation Sylvain Hallé, Raphaël Khoury |
SealTest: a simple library for test sequence generation Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Identifying test-suite-overfitted patches through test case generation Qi Xin, Steven P. Reiss |
Identifying test-suite-overfitted patches through test case generation Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Automated repair of layout cross browser issues using search-based techniques Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond |
Automated repair of layout cross browser issues using search-based techniques Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Test execution checkpointing for web applications Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin |
Test execution checkpointing for web applications Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
William Koch, Abdelberi Chaabane, Manuel Egele, William K. Robertson, Engin Kirda |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
ReDeCheck: an automatic layout failure checking tool for responsively designed web pages Thomas A. Walsh, Gregory M. Kapfhammer, Phil McMinn |
ReDeCheck: an automatic layout failure checking tool for responsively designed web pages Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Efficient computation of happens-before relation for event-driven programs Pallavi Maiya, Aditya Kanade |
Efficient computation of happens-before relation for event-driven programs Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
GitcProc: a tool for processing and classifying GitHub commits Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, Cindy Rubio-González |
GitcProc: a tool for processing and classifying GitHub commits Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum |
Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige |
Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Testing and analysis of web applications using page models Snigdha Athaiya |
Testing and analysis of web applications using page models Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
ArtForm: a tool for exploring the codebase of form-based websites Ben Spencer, Michael Benedikt, Anders Møller, Franck van Breugel |
ArtForm: a tool for exploring the codebase of form-based websites Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Wei Sun, Lisong Xu, Sebastian G. Elbaum |
Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
CUT: automatic unit testing in the cloud Alessio Gambi, Sebastian Kappler, Johannes Lampel, Andreas Zeller |
CUT: automatic unit testing in the cloud Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Mapping hardness of automated software testing Carlos Oliveira |
Mapping hardness of automated software testing Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Effective online software anomaly detection Yizhen Chen, Ming Ying, Daren Liu, Adil Alim, Feng Chen, Mei-Hwa Chen |
Effective online software anomaly detection Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
FLUCCS: using code and change metrics to improve fault localization Jeongju Sohn, Shin Yoo |
FLUCCS: using code and change metrics to improve fault localization Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Inferring mutant utility from program context René Just, Bob Kurtz, Paul Ammann |
Inferring mutant utility from program context Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Data flow oriented UI testing: exploiting data flows and UI elements to test Android applications Nataniel P. Borges Jr. |
Data flow oriented UI testing: exploiting data flows and UI elements to test Android applications Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Refining interprocedural change-impact analysis using equivalence relations Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush |
Refining interprocedural change-impact analysis using equivalence relations Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
A suite of tools for making effective use of automatically generated tests Josie Holmes, Alex Groce |
A suite of tools for making effective use of automatically generated tests Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Compiler-assisted test acceleration on GPUs for embedded software Vanya Yaneva, Ajitha Rajan, Christophe Dubach |
Compiler-assisted test acceleration on GPUs for embedded software Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Version space learning for verification on temporal differentials Mark Santolucito |
Version space learning for verification on temporal differentials Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
ParTeCL: parallel testing using OpenCL Vanya Yaneva, Ajitha Rajan, Christophe Dubach |
ParTeCL: parallel testing using OpenCL Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
THEMIS: a tool for decentralized monitoring algorithms Antoine El-Hokayem, Yliès Falcone |
THEMIS: a tool for decentralized monitoring algorithms Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Consistency checking in requirements analysis Jaroslav Bendík |
Consistency checking in requirements analysis Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Lightweight detection of physical unit inconsistencies without program annotations John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum |
Lightweight detection of physical unit inconsistencies without program annotations Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Generating unit tests with descriptive names or: would you name your children thing1 and thing2? Ermira Daka, José Miguel Rojas, Gordon Fraser |
Generating unit tests with descriptive names or: would you name your children thing1 and thing2? Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Alex Groce, Josie Holmes, Kevin Kellar |
Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Combining symbolic execution and search-based testing for programs with complex heap inputs Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè |
Combining symbolic execution and search-based testing for programs with complex heap inputs Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
PerfRanker: prioritization of performance regression tests for collection-intensive software Shaikh Mostafa, Xiaoyin Wang, Tao Xie |
PerfRanker: prioritization of performance regression tests for collection-intensive software Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
LabPal: repeatable computer experiments made easy Sylvain Hallé |
LabPal: repeatable computer experiments made easy Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Author has
verified
information
|
|
|
Monitoring decentralized specifications Antoine El-Hokayem, Yliès Falcone |
Monitoring decentralized specifications Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Path cost analysis for side channel detection Tegan Brennan |
Path cost analysis for side channel detection Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
CPR: cross platform binary code reuse via platform independent trace program Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, Dongyan Xu |
CPR: cross platform binary code reuse via platform independent trace program Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Experience paper: a study on behavioral backward incompatibilities of Java software libraries Shaikh Mostafa, Rodney Rodriguez, Xiaoyin Wang |
Experience paper: a study on behavioral backward incompatibilities of Java software libraries Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Accelerating array constraints in symbolic execution David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar |
Accelerating array constraints in symbolic execution Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Automatic detection and validation of race conditions in interrupt-driven embedded software Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li |
Automatic detection and validation of race conditions in interrupt-driven embedded software Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Understanding intended behavior using models of low-level signals Deborah S. Katz |
Understanding intended behavior using models of low-level signals Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Verifying digital systems with MATLAB Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho |
Verifying digital systems with MATLAB Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Dynamic tainting for automatic test case generation Björn Mathis |
Dynamic tainting for automatic test case generation Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|