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


The information below was collected semi-automatically. The authors have not yet been given the opportunity to verify the data.
[?] We ask all authors to verify the information we have about their papers, in particular the location of any supporting artifacts. We send out emails to authors asking them to update or verify this information incrementally, one conference at a time. For conferences where these emails have yet to be sent out we present the information in gray text.
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
Discussion Comments: 0
Verification: Authors have not verified information

Just-in-time static analysis

Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill

Just-in-time static 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
Discussion Comments: 0
Verification: Authors have not 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
Discussion Comments: 0
Verification: Author has not 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

Caret-HM: recording and replaying Android user sessions with heat map generation using UI state clustering

Dmitry Nurmuradov, Renée C. Bryce

Caret-HM: recording and replaying Android user sessions with heat map generation using UI state clustering

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
Discussion Comments: 0
Verification: Authors have not 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

Semi-automated discovery of server-based information oversharing vulnerabilities in Android applications

William Koch, Abdelberi Chaabane, Manuel Egele, William K. Robertson, Engin Kirda

Semi-automated discovery of server-based information oversharing vulnerabilities in Android applications

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
Discussion Comments: 0
Verification: Authors have not 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

Reinforcement learning for automatic test case prioritization and selection in continuous integration

Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige

Reinforcement learning for automatic test case prioritization and selection in continuous integration

Details
Discussion Comments: 0
Verification: Authors have not 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

Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics

Wei Sun, Lisong Xu, Sebastian G. Elbaum

Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics

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
Discussion Comments: 0
Verification: Authors have not 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

One test to rule them all

Alex Groce, Josie Holmes, Kevin Kellar

One test to rule them all

Details
Discussion Comments: 0
Verification: Authors have not 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
Discussion Comments: 0
Verification: Authors have not 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
Discussion Comments: 0
Verification: Author has not 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 Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho

Verifying digital systems with MATLAB

Details
Discussion Comments: 0
Verification: Authors have not 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