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


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

Legend: an agile DSL toolset for web acceptance testing

Tariq M. King, Gabriel Nunez, Dionny Santiago, Adam Cando, Cody Mack

Legend: an agile DSL toolset for web acceptance testing

Details
Discussion Comments: 0
Verification: Authors have not verified information

FLOWER: optimal test suite reduction as a network maximum flow

Arnaud Gotlieb, Dusica Marijan

FLOWER: optimal test suite reduction as a network maximum flow

Details
Discussion Comments: 0
Verification: Authors have not verified information

Reusing constraint proofs for scalable program analysis

Meixian Chen

Reusing constraint proofs for scalable program analysis

Details
Discussion Comments: 0
Verification: Author has not verified information

CoREBench: studying complexity of regression errors

Marcel Böhme, Abhik Roychoudhury

CoREBench: studying complexity of regression errors

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

CrashLocator: locating crashing faults based on crash stacks

Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, Sunghun Kim

CrashLocator: locating crashing faults based on crash stacks

Details
Discussion Comments: 0
Verification: Authors have not verified information

Cross-platform feature matching for web applications

Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso

Cross-platform feature matching for web applications

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

Covrig: a framework for the analysis of code, test, and coverage evolution in real software

Paul Dan Marinescu, Petr Hosek, Cristian Cadar

Covrig: a framework for the analysis of code, test, and coverage evolution in real 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

Canalyze: a static bug-finding tool for C programs

Zhenbo Xu, Jian Zhang, Zhongxing Xu, Jiteng Wang

Canalyze: a static bug-finding tool for C programs

Details
Discussion Comments: 0
Verification: Authors have not verified information

Integrated energy-directed test suite optimization

Ding Li, Yuchen Jin, Cagri Sahin, James Clause, William G. J. Halfond

Integrated energy-directed test suite optimization

Details
Discussion Comments: 0
Verification: Authors have not verified information

Semantic differential repair for input validation and sanitization

Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan

Semantic differential repair for input validation and sanitization

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

Extending a search-based test generator with adaptive dynamic symbolic execution

Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri

Extending a search-based test generator with adaptive dynamic symbolic execution

Details
Discussion Comments: 0
Verification: Authors have not verified information

Efficient mutation analysis by propagating and partitioning infected execution states

René Just, Michael D. Ernst, Gordon Fraser

Efficient mutation analysis by propagating and partitioning infected execution states

Details
Discussion Comments: 0
Verification: Authors have not verified information

Link: exploiting the web of data to generate test inputs

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

Link: exploiting the web of data to generate test inputs

Details
Discussion Comments: 0
Verification: Authors have not verified information

SunCat: helping developers understand and predict performance problems in smartphone applications

Adrian Nistor, Lenin Ravindranath

SunCat: helping developers understand and predict performance problems in smartphone applications

Details
Discussion Comments: 0
Verification: Authors have not verified information

Verifying atomicity via data independence

Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev

Verifying atomicity via data independence

Details
Discussion Comments: 0
Verification: Authors have not verified information

Reducing GUI test suites via program slicing

Stephan Arlt, Andreas Podelski, Martin Wehrle

Reducing GUI test suites via program slicing

Details
Discussion Comments: 0
Verification: Authors have not verified information

Robust test automation using contextual clues

Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra

Robust test automation using contextual clues

Details
Discussion Comments: 0
Verification: Authors have not verified information

Performance regression testing of concurrent classes

Michael Pradel, Markus Huggler, Thomas R. Gross

Performance regression testing of concurrent classes

Details
Discussion Comments: 0
Verification: Authors have not verified information

Constructing coding duels in Pex4Fun and code hunt

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop

Constructing coding duels in Pex4Fun and code hunt

Details
Discussion Comments: 0
Verification: Authors have not verified information

Verification-aided regression testing

Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad

Verification-aided regression testing

Details
Discussion Comments: 0
Verification: Authors have not verified information

Efficient statistical debugging via hierarchical instrumentation

Zhiqiang Zuo

Efficient statistical debugging via hierarchical instrumentation

Details
Discussion Comments: 0
Verification: Author has not verified information

Using test case reduction and prioritization to improve symbolic execution

Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour

Using test case reduction and prioritization to improve symbolic execution

Details
Discussion Comments: 0
Verification: Authors have not verified information

A type system for format strings

Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst

A type system for format strings

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

Virtual DOM coverage for effective testing of dynamic web applications

Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, Zebao Gao

Virtual DOM coverage for effective testing of dynamic web applications

Details
Discussion Comments: 0
Verification: Authors have not verified information

A variability-based testing approach for synthesizing video sequences

José A. Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides

A variability-based testing approach for synthesizing video sequences

Details
Discussion Comments: 0
Verification: Authors have not verified information

Runtime prevention of concurrency related type-state violations in multithreaded applications

Lu Zhang, Chao Wang

Runtime prevention of concurrency related type-state violations in multithreaded applications

Details
Discussion Comments: 0
Verification: Authors have not verified information

MuCheck: an extensible tool for mutation testing of haskell programs

Duc Le, Mohammad Amin Alipour, Rahul Gopinath, Alex Groce

MuCheck: an extensible tool for mutation testing of haskell programs

Details
Discussion Comments: 0
Verification: Authors have not verified information

Tailored source code transformations to synthesize computationally diverse program variants

Benoit Baudry, Simon Allier, Martin Monperrus

Tailored source code transformations to synthesize computationally diverse program variants

Details
Discussion Comments: 0
Verification: Authors have not verified information

An empirical study of injected versus actual interface errors

Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, Neeraj Suri

An empirical study of injected versus actual interface errors

Details
Discussion Comments: 0
Verification: Authors have not verified information

Automated testing for SQL injection vulnerabilities: an input mutation approach

Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand, Nadia Alshahwan

Automated testing for SQL injection vulnerabilities: an input mutation approach

Details
Discussion Comments: 0
Verification: Authors have not verified information

DOM-based test adequacy criteria for web applications

Mehdi MirzaAghaei, Ali Mesbah

DOM-based test adequacy criteria for web applications

Details
Discussion Comments: 0
Verification: Authors have not verified information

Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability

Yiyan Lin, Sandeep S. Kulkarni

Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability

Details
Discussion Comments: 0
Verification: Authors have not verified information

ARC++: effective typestate and lifetime dependency analysis

Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri

ARC++: effective typestate and lifetime dependency analysis

Details
Discussion Comments: 0
Verification: Authors have not verified information

A format string checker for Java

Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst

A format string checker for Java

Details
Discussion Comments: 0
Verification: Authors have not verified information

Feedback-driven dynamic invariant discovery

Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid

Feedback-driven dynamic invariant discovery

Details
Discussion Comments: 0
Verification: Authors have not verified information

ProCrawl: mining test models from multi-user web applications

Matthias Schur, Andreas Roth, Andreas Zeller

ProCrawl: mining test models from multi-user web applications

Details
Discussion Comments: 0
Verification: Authors have not verified information

Identifying optimal trade-offs between CPU time usage and temporal constraints using search

Shiva Nejati, Lionel C. Briand

Identifying optimal trade-offs between CPU time usage and temporal constraints using search

Details
Discussion Comments: 0
Verification: Authors have not verified information

Empirically revisiting the test independence assumption

Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin

Empirically revisiting the test independence assumption

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

Effective test generation and adequacy assessment for JavaScript-based web applications

Shabnam Mirshokraie

Effective test generation and adequacy assessment for JavaScript-based web applications

Details
Discussion Comments: 0
Verification: Author has not verified information

Defects4J: a database of existing faults to enable controlled testing studies for Java programs

René Just, Darioush Jalali, Michael D. Ernst

Defects4J: a database of existing faults to enable controlled testing studies for Java programs

Details
Discussion Comments: 0
Verification: Authors have not verified information

The major mutation framework: efficient and scalable mutation analysis for Java

René Just

The major mutation framework: efficient and scalable mutation analysis for Java

Details
Discussion Comments: 0
Verification: Author has not verified information

Scalable detection of missed cross-function refactorings

Narcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo

Scalable detection of missed cross-function refactorings

Details
Discussion Comments: 0
Verification: Authors have not verified information

Dodona: automated oracle data set selection

Pablo Loyola, Matt Staats, In-Young Ko, Gregg Rothermel

Dodona: automated oracle data set selection

Details
Discussion Comments: 0
Verification: Authors have not verified information

Efficient predicated bug signature mining via hierarchical instrumentation

Zhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun

Efficient predicated bug signature mining via hierarchical instrumentation

Details
Discussion Comments: 0
Verification: Authors have not verified information

Hybrid security analysis of web JavaScript code via dynamic partial evaluation

Omer Tripp, Pietro Ferrara, Marco Pistoia

Hybrid security analysis of web JavaScript code via dynamic partial evaluation

Details
Discussion Comments: 0
Verification: Authors have not verified information

Coverage and fault detection of the output-uniqueness test selection criteria

Nadia Alshahwan, Mark Harman

Coverage and fault detection of the output-uniqueness test selection criteria

Details
Discussion Comments: 0
Verification: Authors have not verified information

X-PERT: a web application testing tool for cross-browser inconsistency detection

Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso

X-PERT: a web application testing tool for cross-browser inconsistency detection

Details
Discussion Comments: 0
Verification: Authors have not verified information

Lightweight automated detection of unsafe information leakage via exceptions

Benwen Zhang, James Clause

Lightweight automated detection of unsafe information leakage via exceptions

Details
Discussion Comments: 0
Verification: Authors have not verified information

Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform

Andrew Henderson, Aravind Prakash, Lok-Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, Heng Yin

Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform

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