ACM SIGSOFT Intl. Symposium on Software Testing and Analysis, ISSTA 2016


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

Unveiling anomalies and their impact on software quality in model-based automotive software revisions with software metrics and domain experts

Jan Schroeder, Christian Berger, Miroslaw Staron, Thomas Herpel, Alessia Knauss

Unveiling anomalies and their impact on software quality in model-based automotive software revisions with software metrics and domain experts

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

Predictive mutation testing

Jie Zhang, Ziyi Wang, Lingming Zhang, Dan Hao, Lei Zang, Shiyang Cheng, Lu Zhang

Predictive mutation testing

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

Binary code is not easy

Xiaozhu Meng, Barton P. Miller

Binary code is not easy

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

Semantic modelling of Android malware for effective malware comprehension, detection, and classification

Guozhu Meng, Yinxing Xue, Zhengzi Xu, Yang Liu, Jie Zhang, Annamalai Narayanan

Semantic modelling of Android malware for effective malware comprehension, detection, and classification

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