Frontmatter

Main Research

Concurrency and Verification
Wed, Jul 23, 10:30 - 12:10, Almaden Ballroom (Chair: Sarfraz Khurshid)

Runtime Prevention of Concurrency Related Type-State Violations in Multithreaded Applications
Lu Zhang and Chao Wang
(Virginia Tech, USA)


@InProceedings{ISSTA14p1, author = {Lu Zhang and Chao Wang}, title = {Runtime Prevention of Concurrency Related Type-State Violations in Multithreaded Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, } Article: issta14main-mainid95-p doi:

Performance Regression Testing of Concurrent Classes
Michael Pradel, Markus Huggler, and Thomas R. Gross
(University of California at Berkeley, USA; ETH Zurich, Switzerland)


@InProceedings{ISSTA14p16, author = {Michael Pradel and Markus Huggler and Thomas R. Gross}, title = {Performance Regression Testing of Concurrent Classes}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {16-15}, doi = {}, year = {2014}, } Article: issta14main-mainid80-p doi:

Verifying Atomicity via Data Independence
Ohad Shacham, Eran Yahav, Guy Golan Gueta, Alex Aiken, Nathan Bronson, Mooly Sagiv, and Martin Vechev
(Yahoo Labs, Israel; Technion, Israel; Stanford University, USA; Tel Aviv University, Israel; ETH Zurich, Switzerland)


@InProceedings{ISSTA14p31, author = {Ohad Shacham and Eran Yahav and Guy Golan Gueta and Alex Aiken and Nathan Bronson and Mooly Sagiv and Martin Vechev}, title = {Verifying Atomicity via Data Independence}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, } Article: issta14main-mainid48-p doi:

Verification-Aided Regression Testing
Fabrizio Pastore, Leonardo Mariani, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, and Ali Muhammad
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland; ABB Research, Germany; VTT Technical Research, Finland)


@InProceedings{ISSTA14p46, author = {Fabrizio Pastore and Leonardo Mariani and Antti E. J. Hyvärinen and Grigory Fedyukovich and Natasha Sharygina and Stephan Sehestedt and Ali Muhammad}, title = {Verification-Aided Regression Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2014}, } Article: issta14main-mainid55-p doi:

Web Testing
Wed, Jul 23, 13:30 - 15:10, Almaden Ballroom (Chair: Gregg Rothermel)

Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation
Omer Tripp, Pietro Ferrara, and Marco Pistoia
(IBM Research, USA)


@InProceedings{ISSTA14p61, author = {Omer Tripp and Pietro Ferrara and Marco Pistoia}, title = {Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2014}, } Article: issta14main-mainid31-p doi:

Virtual DOM Coverage for Effective Testing of Dynamic Web Applications
Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, and Zebao Gao
(Nanjing University, China; Purdue University, USA; University of Maryland at College Park, USA)


@InProceedings{ISSTA14p76, author = {Yunxiao Zou and Zhenyu Chen and Yunhui Zheng and Xiangyu Zhang and Zebao Gao}, title = {Virtual DOM Coverage for Effective Testing of Dynamic Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {76-75}, doi = {}, year = {2014}, } Article: issta14main-mainid109-p doi:

DOM-Based Test Adequacy Criteria for Web Applications
Mehdi Mirzaaghaei and Ali Mesbah
(University of British Columbia, Canada)


@InProceedings{ISSTA14p91, author = {Mehdi Mirzaaghaei and Ali Mesbah}, title = {DOM-Based Test Adequacy Criteria for Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {91-90}, doi = {}, year = {2014}, } Article: issta14main-mainid96-p doi:

Cross-Platform Feature Matching for Web Applications
Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso
(Georgia Tech, USA; Fujitsu Labs, USA)


@InProceedings{ISSTA14p106, author = {Shauvik Roy Choudhary and Mukul R. Prasad and Alessandro Orso}, title = {Cross-Platform Feature Matching for Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {106-105}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid129-p doi:

Artifact Studies
Wed, Jul 23, 15:40 - 16:30, Almaden Ballroom (Chair: Milos Gligoric)

Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software
Paul Marinescu, Petr Hosek, and Cristian Cadar
(Imperial College London, UK)


@InProceedings{ISSTA14p121, author = {Paul Marinescu and Petr Hosek and Cristian Cadar}, title = {Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid79-p doi:

CoREBench: Studying Complexity of Regression Errors
Marcel Böhme and Abhik Roychoudhury
(Saarland University, Germany; National University of Singapore, Singapore)


@InProceedings{ISSTA14p136, author = {Marcel Böhme and Abhik Roychoudhury}, title = {CoREBench: Studying Complexity of Regression Errors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {136-135}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid38-p doi:

Static Analyses and Transformations
Thu, Jul 24, 10:30 - 12:10, Almaden Ballroom (Chair: Satish Chandra)

ARC++: Effective Typestate and Lifetime Dependency Analysis
Xusheng Xiao, Gogul Balakrishnan, Franjo Ivančić, Naoto Maeda, Aarti Gupta, and Deepak Chhetri
(NEC Labs, USA; North Carolina State University, USA; Google, USA; NEC, Japan; NEC, India)


@InProceedings{ISSTA14p151, author = {Xusheng Xiao and Gogul Balakrishnan and Franjo Ivančić and Naoto Maeda and Aarti Gupta and Deepak Chhetri}, title = {ARC++: Effective Typestate and Lifetime Dependency Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {151-150}, doi = {}, year = {2014}, } Article: issta14main-mainid10-p doi:

A Type System for Format Strings
Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, and Michael D. Ernst
(University of Washington, USA)


@InProceedings{ISSTA14p166, author = {Konstantin Weitz and Gene Kim and Siwakorn Srisakaokul and Michael D. Ernst}, title = {A Type System for Format Strings}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {166-165}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid108-p doi:

Scalable Detection of Missed Cross-Function Refactorings
Narcisa Andreea Milea, Lingxiao Jiang, and Siau-Cheng Khoo
(National University of Singapore, Singapore; Singapore Management University, Singapore)


@InProceedings{ISSTA14p181, author = {Narcisa Andreea Milea and Lingxiao Jiang and Siau-Cheng Khoo}, title = {Scalable Detection of Missed Cross-Function Refactorings}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2014}, } Article: issta14main-mainid123-p doi:

Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants
Benoit Baudry, Simon Allier, and Martin Monperrus
(INRIA, France; IRISA, France; University of Lille, France)


@InProceedings{ISSTA14p196, author = {Benoit Baudry and Simon Allier and Martin Monperrus}, title = {Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {196-195}, doi = {}, year = {2014}, } Article: issta14main-mainid46-p doi:

Test Selection and Reduction
Thu, Jul 24, 13:30 - 15:10, Almaden Ballroom (Chair: Neha Rungta)

Using Test Case Reduction and Prioritization to Improve Symbolic Execution
Chaoqiang Zhang, Alex Groce, and Mohammad Amin Alipour
(Oregon State University, USA)


@InProceedings{ISSTA14p211, author = {Chaoqiang Zhang and Alex Groce and Mohammad Amin Alipour}, title = {Using Test Case Reduction and Prioritization to Improve Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {211-210}, doi = {}, year = {2014}, } Article: issta14main-mainid76-p doi:

FLOWER: Optimal Test Suite Reduction as a Network Maximum Flow
Arnaud Gotlieb and Dusica Marijan
(Simula Research Laboratory, Norway)


@InProceedings{ISSTA14p226, author = {Arnaud Gotlieb and Dusica Marijan}, title = {FLOWER: Optimal Test Suite Reduction as a Network Maximum Flow}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {226-225}, doi = {}, year = {2014}, } Article: issta14main-mainid60-p doi:

Coverage and Fault Detection of the Output-Uniqueness Test Selection Criteria
Nadia Alshahwan and Mark Harman
(University College London, UK)


@InProceedings{ISSTA14p241, author = {Nadia Alshahwan and Mark Harman}, title = {Coverage and Fault Detection of the Output-Uniqueness Test Selection Criteria}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2014}, } Article: issta14main-mainid90-p doi:

Dodona: Automated Oracle Data Set Selection
Pablo Loyola, Matt Staats, In-Young Ko, and Gregg Rothermel
(University of Chile, Chile; University of Luxembourg, Luxembourg; KAIST, South Korea; University of Nebraska-Lincoln, USA)


@InProceedings{ISSTA14p256, author = {Pablo Loyola and Matt Staats and In-Young Ko and Gregg Rothermel}, title = {Dodona: Automated Oracle Data Set Selection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {256-255}, doi = {}, year = {2014}, } Article: issta14main-mainid128-p doi:

Localization and Repair
Thu, Jul 24, 15:40 - 17:20, Almaden Ballroom (Chair: Indradeep Ghosh)

CrashLocator: Locating Crashing Faults Based on Crash Stacks
Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, and Sunghun Kim
(Hong Kong University of Science and Technology, China; Microsoft Research, China)


@InProceedings{ISSTA14p271, author = {Rongxin Wu and Hongyu Zhang and Shing-Chi Cheung and Sunghun Kim}, title = {CrashLocator: Locating Crashing Faults Based on Crash Stacks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {271-270}, doi = {}, year = {2014}, } Article: issta14main-mainid43-p doi:

Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation
Zhiqiang Zuo, Siau-Cheng Khoo, and Chengnian Sun
(National University of Singapore, Singapore; University of California at Davis, USA)


@InProceedings{ISSTA14p286, author = {Zhiqiang Zuo and Siau-Cheng Khoo and Chengnian Sun}, title = {Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {286-285}, doi = {}, year = {2014}, } Article: issta14main-mainid110-p doi:

Semantic Differential Repair for Input Validation and Sanitization
Muath Alkhalaf, Abdulbaki Aydin, and Tevfik Bultan
(University of California at Santa Barbara, USA)


@InProceedings{ISSTA14p301, author = {Muath Alkhalaf and Abdulbaki Aydin and Tevfik Bultan}, title = {Semantic Differential Repair for Input Validation and Sanitization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid114-p doi:

Automatic Repair for Multi-threaded Programs with Deadlock/Livelock using Maximum Satisfiability
Yiyan Lin and Sandeep S. Kulkarni
(Michigan State University, USA)


@InProceedings{ISSTA14p316, author = {Yiyan Lin and Sandeep S. Kulkarni}, title = {Automatic Repair for Multi-threaded Programs with Deadlock/Livelock using Maximum Satisfiability}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {316-315}, doi = {}, year = {2014}, } Article: issta14main-mainid89-p doi:

Security
Fri, Jul 25, 09:20 - 10:10, Almaden Ballroom (Chair: Alex Orso)

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, and Heng Yin
(Syracuse University, USA; Rome Laboratory, USA)


@InProceedings{ISSTA14p331, author = {Andrew Henderson and Aravind Prakash and Lok Kwong Yan and Xunchao Hu and Xujiewen Wang and Rundong Zhou and Heng Yin}, title = {Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid101-p doi:

Automated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach
Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand, and Nadia Alshahwan
(University of Luxembourg, Luxembourg; University College London, UK)


@InProceedings{ISSTA14p346, author = {Dennis Appelt and Cu Duy Nguyen and Lionel C. Briand and Nadia Alshahwan}, title = {Automated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {346-345}, doi = {}, year = {2014}, } Article: issta14main-mainid69-p doi:

UI Testing
Fri, Jul 25, 10:30 - 12:10, Almaden Ballroom (Chair: Andreas Zeller)

Reducing GUI Test Suites via Program Slicing
Stephan Arlt, Andreas Podelski, and Martin Wehrle
(University of Luxembourg, Luxembourg; University of Freiburg, Germany; University of Basel, Switzerland)


@InProceedings{ISSTA14p361, author = {Stephan Arlt and Andreas Podelski and Martin Wehrle}, title = {Reducing GUI Test Suites via Program Slicing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2014}, } Article: issta14main-mainid52-p doi:

SunCat: Helping Developers Understand and Predict Performance Problems in Smartphone Applications
Adrian Nistor and Lenin Ravindranath
(Chapman University, USA; Massachusetts Institute of Technology, USA)


@InProceedings{ISSTA14p376, author = {Adrian Nistor and Lenin Ravindranath}, title = {SunCat: Helping Developers Understand and Predict Performance Problems in Smartphone Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {376-375}, doi = {}, year = {2014}, } Article: issta14main-mainid5-p doi:

A Variability-Based Testing Approach for Synthesizing Video Sequences
José A. Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, and David Benavides
(INRIA, France; University of Rennes 1, France; University of Seville, Spain)


@InProceedings{ISSTA14p391, author = {José A. Galindo and Mauricio Alférez and Mathieu Acher and Benoit Baudry and David Benavides}, title = {A Variability-Based Testing Approach for Synthesizing Video Sequences}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {391-390}, doi = {}, year = {2014}, } Article: issta14main-mainid71-p doi:

Robust Test Automation using Contextual Clues
Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, and Satish Chandra
(IBM Research, India; Microsoft, USA; Samsung Research, USA)


@InProceedings{ISSTA14p406, author = {Rahulkrishna Yandrapally and Suresh Thummalapenta and Saurabh Sinha and Satish Chandra}, title = {Robust Test Automation using Contextual Clues}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {406-405}, doi = {}, year = {2014}, } Article: issta14main-mainid107-p doi:

Efficiency and Optimizations
Fri, Jul 25, 13:30 - 15:10, Almaden Ballroom (Chair: Zhendong Su)

Efficient Mutation Analysis by Propagating and Partitioning Infected Execution States
René Just, Michael D. Ernst, and Gordon Fraser
(University of Washington, USA; University of Sheffield, UK)


@InProceedings{ISSTA14p421, author = {René Just and Michael D. Ernst and Gordon Fraser}, title = {Efficient Mutation Analysis by Propagating and Partitioning Infected Execution States}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {421-420}, doi = {}, year = {2014}, } Article: issta14main-mainid103-p doi:

Lightweight Automated Detection of Unsafe Information Leakage via Exceptions
Benwen Zhang and James Clause
(University of Delaware, USA)


@InProceedings{ISSTA14p436, author = {Benwen Zhang and James Clause}, title = {Lightweight Automated Detection of Unsafe Information Leakage via Exceptions}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {436-435}, doi = {}, year = {2014}, } Article: issta14main-mainid83-p doi:

Integrated Energy-Directed Test Suite Optimization
Ding Li, Yuchen Jin, Cagri Sahin, James Clause, and William G. J. Halfond
(University of Southern California, USA; University of Delaware, USA)


@InProceedings{ISSTA14p451, author = {Ding Li and Yuchen Jin and Cagri Sahin and James Clause and William G. J. Halfond}, title = {Integrated Energy-Directed Test Suite Optimization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {451-450}, doi = {}, year = {2014}, } Article: issta14main-mainid97-p doi:

Identifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search
Shiva Nejati and Lionel C. Briand
(University of Luxembourg, Luxembourg)


@InProceedings{ISSTA14p466, author = {Shiva Nejati and Lionel C. Briand}, title = {Identifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {466-465}, doi = {}, year = {2014}, } Article: issta14main-mainid29-p doi:

Generation and Propagation
Fri, Jul 25, 15:40 - 17:20, Almaden Ballroom (Chair: Oksana Tkachuk)

Feedback-Driven Dynamic Invariant Discovery
Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, and Sarfraz Khurshid
(University of Texas at Austin, USA; Texas State University, USA; NASA Ames Research Center, USA; NASA Langley Research Center, USA)


@InProceedings{ISSTA14p481, author = {Lingming Zhang and Guowei Yang and Neha Rungta and Suzette Person and Sarfraz Khurshid}, title = {Feedback-Driven Dynamic Invariant Discovery}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2014}, } Article: issta14main-mainid106-p doi:

Link: Exploiting the Web of Data to Generate Test Inputs
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, and Mauro Santoro
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland)


@InProceedings{ISSTA14p496, author = {Leonardo Mariani and Mauro Pezzè and Oliviero Riganelli and Mauro Santoro}, title = {Link: Exploiting the Web of Data to Generate Test Inputs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {496-495}, doi = {}, year = {2014}, } Article: issta14main-mainid63-p doi:

Empirically Revisiting the Test Independence Assumption
Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, and David Notkin
(University of Washington, USA)


@InProceedings{ISSTA14p511, author = {Sai Zhang and Darioush Jalali and Jochen Wuttke and Kıvanç Muşlu and Wing Lam and Michael D. Ernst and David Notkin}, title = {Empirically Revisiting the Test Independence Assumption}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {511-510}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid91-p doi:

An Empirical Study of Injected versus Actual Interface Errors
Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, and Neeraj Suri
(Federico II University of Naples, Italy; TU Darmstadt, Germany)


@InProceedings{ISSTA14p526, author = {Anna Lanzaro and Roberto Natella and Stefan Winter and Domenico Cotroneo and Neeraj Suri}, title = {An Empirical Study of Injected versus Actual Interface Errors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {526-525}, doi = {}, year = {2014}, } Article: issta14main-mainid50-p doi:

Tool Demonstrations
Wed, Jul 23, 18:00 - 22:00, Winchester Room

Legend: An Agile DSL Toolset for Web Acceptance Testing
Tariq M. King, Gabriel Nunez, Dionny Santiago, Adam Cando, and Cody Mack
(Ultimate Software, USA)


@InProceedings{ISSTA14p541, author = {Tariq M. King and Gabriel Nunez and Dionny Santiago and Adam Cando and Cody Mack}, title = {Legend: An Agile DSL Toolset for Web Acceptance Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {541-540}, doi = {}, year = {2014}, } Article: issta14demo-demoid1-p doi:

ProCrawl: Mining Test Models from Multi-user Web Applications
Matthias Schur, Andreas Roth, and Andreas Zeller
(SAP, Germany; Saarland University, Germany)


@InProceedings{ISSTA14p545, author = {Matthias Schur and Andreas Roth and Andreas Zeller}, title = {ProCrawl: Mining Test Models from Multi-user Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {545-544}, doi = {}, year = {2014}, } Article: issta14demo-demoid6-p doi:

X-PERT: A Web Application Testing Tool for Cross-Browser Inconsistency Detection
Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso
(Georgia Tech, USA; Fujitsu Labs, USA)


@InProceedings{ISSTA14p549, author = {Shauvik Roy Choudhary and Mukul R. Prasad and Alessandro Orso}, title = {X-PERT: A Web Application Testing Tool for Cross-Browser Inconsistency Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {549-548}, doi = {}, year = {2014}, } Article: issta14demo-demoid16-p doi:

Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution
Juan Pablo Galeotti, Gordon Fraser, and Andrea Arcuri
(Saarland University, Germany; University of Sheffield, UK; Simula Research Laboratory, Norway)


@InProceedings{ISSTA14p553, author = {Juan Pablo Galeotti and Gordon Fraser and Andrea Arcuri}, title = {Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {553-552}, doi = {}, year = {2014}, } Article: issta14demo-demoid3-p doi:

Canalyze: A Static Bug-Finding Tool for C Programs
Zhenbo Xu, Jian Zhang, Zhongxing Xu, and Jiteng Wang
(University of Science and Technology of China, China; Institute of Software at Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China)


@InProceedings{ISSTA14p557, author = {Zhenbo Xu and Jian Zhang and Zhongxing Xu and Jiteng Wang}, title = {Canalyze: A Static Bug-Finding Tool for C Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {557-556}, doi = {}, year = {2014}, } Article: issta14demo-demoid4-p doi:

MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs
Duc Le, Mohammad Amin Alipour, Rahul Gopinath, and Alex Groce
(Oregon State University, USA)


@InProceedings{ISSTA14p561, author = {Duc Le and Mohammad Amin Alipour and Rahul Gopinath and Alex Groce}, title = {MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {561-560}, doi = {}, year = {2014}, } Article: issta14demo-demoid7-p doi:

The Major Mutation Framework: Efficient and Scalable Mutation Analysis for Java
René Just
(University of Washington, USA)


@InProceedings{ISSTA14p565, author = {René Just}, title = {The Major Mutation Framework: Efficient and Scalable Mutation Analysis for Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {565-564}, doi = {}, year = {2014}, } Article: issta14demo-demoid9-p doi:

Defects4J: A Database of Existing Faults to Enable Controlled Testing Studies for Java Programs
René Just, Darioush Jalali, and Michael D. Ernst
(University of Washington, USA)


@InProceedings{ISSTA14p569, author = {René Just and Darioush Jalali and Michael D. Ernst}, title = {Defects4J: A Database of Existing Faults to Enable Controlled Testing Studies for Java Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {569-568}, doi = {}, year = {2014}, } Article: issta14demo-demoid11-p doi:

A Format String Checker for Java
Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, and Michael D. Ernst
(University of Washington, USA)


@InProceedings{ISSTA14p573, author = {Konstantin Weitz and Siwakorn Srisakaokul and Gene Kim and Michael D. Ernst}, title = {A Format String Checker for Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {573-572}, doi = {}, year = {2014}, } Article: issta14demo-demoid12-p doi:

Constructing Coding Duels in Pex4Fun and Code Hunt
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop
(Microsoft Research, USA; University of Illinois at Urbana-Champaign, USA)


@InProceedings{ISSTA14p577, author = {Nikolai Tillmann and Jonathan de Halleux and Tao Xie and Judith Bishop}, title = {Constructing Coding Duels in Pex4Fun and Code Hunt}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {577-576}, doi = {}, year = {2014}, } Article: issta14demo-demoid10-p doi:

Doctoral Symposium
Tue, Jul 22, 11:20 - 14:50, Pacific Room

Reusing Constraint Proofs for Scalable Program Analysis
Meixian Chen
(University of Lugano, Switzerland)


@InProceedings{ISSTA14p581, author = {Meixian Chen}, title = {Reusing Constraint Proofs for Scalable Program Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {581-580}, doi = {}, year = {2014}, } Article: issta14doc-docid1-p doi:

Effective Test Generation and Adequacy Assessment for JavaScript-Based Web Applications
Shabnam Mirshokraie
(University of British Columbia, Canada)


@InProceedings{ISSTA14p585, author = {Shabnam Mirshokraie}, title = {Effective Test Generation and Adequacy Assessment for JavaScript-Based Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {585-584}, doi = {}, year = {2014}, } Article: issta14doc-docid2-p doi:

Efficient Statistical Debugging via Hierarchical Instrumentation
Zhiqiang Zuo
(National University of Singapore, Singapore)


@InProceedings{ISSTA14p589, author = {Zhiqiang Zuo}, title = {Efficient Statistical Debugging via Hierarchical Instrumentation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {589-588}, doi = {}, year = {2014}, } Article: issta14doc-docid3-p doi:

proc time: 0.79