| 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 |
|---|
|
Analyzing test completeness for dynamic languages Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller |
Analyzing test completeness for dynamic languages 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 oracle assessment and improvement Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella |
Test oracle assessment and improvement Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Efficient flow profiling for detecting performance bugs Rashmi Mudduluru, Murali Krishna Ramanathan |
Efficient flow profiling for detecting performance bugs 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
|
|
Energy-aware test-suite minimization for Android apps Reyhaneh Jabbarvand Behrouz, Alireza Sadeghi, Hamid Bagheri, Sam Malek |
Energy-aware test-suite minimization for Android apps 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
|
|
Practitioners' expectations on automated fault localization Pavneet Singh Kochhar, Xin Xia, David Lo, Shanping Li |
Practitioners' expectations on automated fault localization Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Automatic test case generation: what if test code quality matters? Fabio Palomba, Annibale Panichella, Andy Zaidman, Rocco Oliveto, Andrea De Lucia |
Automatic test case generation: what if test code quality matters? Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Documenting database usages and schema constraints in database-centric applications Mario Linares Vásquez, Boyang Li, Christopher Vendome, Denys Poshyvanyk |
Documenting database usages and schema constraints in database-centric applications Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites Valerio Terragni, Yepang Liu, Shing-Chi Cheung |
CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites 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
|
|
Jan Schroeder, Christian Berger, Miroslaw Staron, Thomas Herpel, Alessia Knauss |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Verdict machinery: on the need to automatically make sense of test results Mikael Fagerström, Emre Emir Ismail, Grischa Liebel, Rohit Guliani, Fredrik Larsson, Karin Nordling, Eric Knauss, Patrizio Pelliccione |
Verdict machinery: on the need to automatically make sense of test results Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Automatically verifying and reproducing event-based races in Android apps Yongjian Hu, Iulian Neamtiu, Arash Alavi |
Automatically verifying and reproducing event-based races in Android apps Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Efficient race detection in the presence of programmatic event loops Anirudh Santhiar, Shalini Kaleeswaran, Aditya Kanade |
Efficient race detection in the presence of programmatic event loops Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Jie Zhang, Ziyi Wang, Lingming Zhang, Dan Hao, Lei Zang, Shiyang Cheng, Lu Zhang |
Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
Threats to the validity of mutation-based test assessment Mike Papadakis, Christopher Henard, Mark Harman, Yue Jia, Yves Le Traon |
Threats to the validity of mutation-based test assessment Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
ASTOR: a program repair library for Java (demo) Matias Martinez, Martin Monperrus |
ASTOR: a program repair library for Java (demo) Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Mutation-aware fault prediction David Bowes, Tracy Hall, Mark Harman, Yue Jia, Federica Sarro, Fan Wu |
Mutation-aware fault prediction Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
DroidRA: taming reflection to support whole-program analysis of Android apps Li Li, Tegawendé F. Bissyandé, Damien Octeau, Jacques Klein |
DroidRA: taming reflection to support whole-program analysis of Android apps Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Testing stochastic software using pseudo-oracles Matthew Patrick, Andrew P. Craig, Nik J. Cunniffe, Matthew Parry, Christopher A. Gilligan |
Testing stochastic software using pseudo-oracles Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Xiaozhu Meng, Barton P. Miller |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
PIT: a practical mutation testing tool for Java (demo) Henry Coles, Thomas Laurent, Christopher Henard, Mike Papadakis, Anthony Ventresque |
PIT: a practical mutation testing tool for Java (demo) Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
DEKANT: a static analysis tool that learns to detect web application vulnerabilities Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia |
DEKANT: a static analysis tool that learns to detect web application vulnerabilities Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Generating focused random tests using directed swarm testing Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, Arpit Christi |
Generating focused random tests using directed swarm testing Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
ARROW: automated repair of races on client-side web pages Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster |
ARROW: automated repair of races on client-side web pages Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Monkey see, monkey do: effective generation of GUI tests with inferred macro events Markus Ermuth, Michael Pradel |
Monkey see, monkey do: effective generation of GUI tests with inferred macro events Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Guozhu Meng, Yinxing Xue, Zhengzi Xu, Yang Liu, Jie Zhang, Annamalai Narayanan |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Automatic generation of oracles for exceptional behaviors Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè |
Automatic generation of oracles for exceptional behaviors 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
|
|
Zero-overhead profiling via EM emanations Robert Locke Callan, Farnaz Behrang, Alenka G. Zajic, Milos Prvulovic, Alessandro Orso |
Zero-overhead profiling via EM emanations Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Sapienz: multi-objective automated testing for Android applications Ke Mao, Mark Harman, Yue Jia |
Sapienz: multi-objective automated testing for Android applications Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Optimal sanitization synthesis for web application vulnerability repair Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan |
Optimal sanitization synthesis for web application vulnerability repair Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Specification of concretization and symbolization policies in symbolic execution Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion |
Specification of concretization and symbolization policies in symbolic execution Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A learning-to-rank based fault localization approach using likely invariants Tien-Duy B. Le, David Lo, Claire Le Goues, Lars Grunske |
A learning-to-rank based fault localization approach using likely invariants Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Exploring regular expression usage and context in Python Carl Chapman, Kathryn T. Stolee |
Exploring regular expression usage and context in Python Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
DSI: an evidence-based approach to identify dynamic data structures in C programs David H. White, Thomas Rupprecht, Gerald Lüttgen |
DSI: an evidence-based approach to identify dynamic data structures in C programs Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Automated and effective testing of web services for XML injection attacks Sadeeq Jan, Cu D. Nguyen, Lionel C. Briand |
Automated and effective testing of web services for XML injection attacks Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
IPA: improving predictive analysis with pointer analysis Peng Liu, Omer Tripp, Xiangyu Zhang |
IPA: improving predictive analysis with pointer analysis Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
FSX: fine-grained incremental unit test generation for C/C++ programs Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara |
FSX: fine-grained incremental unit test generation for C/C++ programs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Jolinar: analysing the energy footprint of software applications (demo) Adel Noureddine, Syed Islam, Rabih Bashroush |
Jolinar: analysing the energy footprint of software applications (demo) Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
COSTOTest: a tool for building and running test harness for service-based component models (demo) Pascal André, Jean-Marie Mottu, Gerson Sunyé |
COSTOTest: a tool for building and running test harness for service-based component models (demo) Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
EagerMerge: an optimistic technique for efficient points-to analysis Sudhir Samrit, Rupesh Nasre |
EagerMerge: an optimistic technique for efficient points-to analysis 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
|
|
Toward understanding compiler bugs in GCC and LLVM Chengnian Sun, Vu Le, Qirun Zhang, Zhendong Su |
Toward understanding compiler bugs in GCC and LLVM 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
|
|
SyncProf: detecting, localizing, and optimizing synchronization bottlenecks Tingting Yu, Michael Pradel |
SyncProf: detecting, localizing, and optimizing synchronization bottlenecks Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|