Downloads: Whova ISSTA 2014 app (password in email/registration), Confero ISSTA 2014 app, Google calendar, iCal format

The Conference Publishing ISSTA 2014 web page has more info about papers, including abstracts and links to publicly accessible preprints.

TIME Monday
July 21
July 22
July 23
July 24
July 25
8:00 Light Breakfast Light Breakfast Light Breakfast Light Breakfast Light Breakfast
8:30 SPIN 2014

SPIN 2014


Doctoral Symposium
Opening Keynote 2 Keynote 3 +
Session 7:
10:00 Break Break
10:10 Break
10:30 Session 1:
Concurrency and Verification
Session 4:
Static Analyses and Transformations
Session 8:
UI Testing
12:10 Lunch Lunch Lunch
13:30 Session 2:
Web Testing
Session 5:
Test Selection and Reduction
Session 9:
Efficiency and Optimizations
15:10 Break Break Break
15:40 Session 3:
Artifact Studies
Session 6:
Localization and Repair
Session 10:
Generation and Propagation
16:30 Lightning Talks 1:
16:55 Lightning Talks 2:
SPIN short papers
17:20 Closing
18:00 Reception
(The Tech Museum)

Wednesday, July 23

08:00– Light Breakfast

08:30–08:40 Opening (Chairs: Corina Pasareanu and Darko Marinov)

08:40–10:00 Keynote 1 (Chair: Darko Marinov)

Dynamic Analyses for Reliable Concurrency
Cormac Flanagan
(University of California, Santa Cruz, USA)

10:00–10:30 Break

10:30–12:10 Session 1: Concurrency and Verification (Chair: Sarfraz Khurshid)

Runtime Prevention of Concurrency Related Type-State Violations in Multithreaded Applications
Lu Zhang and Chao Wang
(Virginia Tech, USA)
Performance Regression Testing of Concurrent Classes
Michael Pradel, Markus Huggler, and Thomas Gross
(University of California at Berkeley, USA; ETH Zurich, Switzerland)
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)
Verification-Aided Regression Testing
Fabrizio Pastore, Leonardo Mariani, Antti Hyvarinen, 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)

12:10–13:30 Lunch

13:30–15:10 Session 2: Web Testing (Chair: Gregg Rothermel)

Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation
Omer Tripp, Pietro Ferrara, and Marco Pistoia
(IBM Research, USA)
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)
DOM-Based Test Adequacy Criteria for Web Applications
Mehdi Mirzaaghaei and Ali Mesbah
(University of British Columbia, Canada)
Cross-Platform Feature Matching for Web Applications
Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso
(Georgia Tech, USA; Fujitsu Labs, USA)

15:10–15:40 Break

15:40–16:30 Session 3: Artifact Studies (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)
CoREBench: Studying Complexity of Regression Errors
Marcel Böhme and Abhik Roychoudhury
(Saarland University, Germany; National University of Singapore, Singapore)

16:30-16:55 Lightning Talks 1: ISSTA Demo papers (Chairs: Indradeep Ghosh and John Penix)

Legend: An Agile DSL Toolset for Web Acceptance Testing
Tariq King, Gabriel Nunez, Dionny Santiago, Adam Cando, and Cody Mack
(Ultimate Software, USA)
ProCrawl: Mining Test Models from Multi-User Web Applications
Matthias Schur, Andreas Roth, and Andreas Zeller
(SAP, Germany; Saarland University, Germany)
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)
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)
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)
MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs
Duc Le, Mohammad Amin Alipour, Rahul Gopinath, and Alex Groce
(Oregon State University, USA)
The Major mutation framework: Efficient and Scalable Mutation Analysis for Java
René Just
(University of Washington, USA)
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)
A Format String Checker for Java
Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, and Michael D. Ernst
(University of Washington, USA)
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)

16:55-17:20 Lightning Talks 2: SPIN 2014 short papers (Chairs: Neha Rungta and Oksana Tkachuk)

10 papers listed on the SPIN 2014 program

18:00– Reception with Posters and Demos

Thursday, July 24

08:00– Light Breakfast

08:30 – 10:00 Keynote 2 (Chair: Corina Pasareanu)

Practical Aspects of Testing Your Code as You Develop It
Andreas Kuehlmann
(Coverity, USA)

10:00–10:30 Break

10:30–12:10 Session 4: Static Analyses and Transformations (Chair: Satish Chandra)

ARC++: Effective Typestate and Lifetime Dependency Analysis
Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, and Deepak Chhetri
(NEC Labs, USA; North Carolina State University, USA; Google, USA; NEC, Japan; NEC, India)
A Type System for Format Strings
Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, and Michael D. Ernst
(University of Washington, USA)
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)
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)

12:10–13:30 Lunch

13:30–15:10 Session 5: Test Selection and Reduction (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)
FLOWER: Optimal Test Suite Reduction as a Network Maximum Flow
Arnaud Gotlieb and Dusica Marijan
(Simula Research Laboratory, Norway)
Coverage and Fault Detection of the Output-Uniqueness Test Selection Criteria
Nadia Alshahwan and Mark Harman
(University College London, UK)
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)

15:10–15:40 Break

15:40–17:20 Session 6: Localization and Repair (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, Hong Kong; Microsoft Research, China)
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)
Semantic Differential Repair for Input Validation and Sanitization
Muath Alkhalaf, Abdulbaki Aydin, and Tevfik Bultan
(University of California at Santa Barbara, USA)
Automatic Repair for Multi-threaded Program with Deadlock/Livelock using Maximum Satisfiability
Yiyan Lin and Sandeep S. Kulkarni
(Michigan State University, USA)

18:00– Banquet (The Tech Museum, 201 S. Market St.)

Friday, July 25

08:00– Light Breakfast

08:30–10:10 Keynote 3 + Session 7: Security (Chair: Alex Orso)

DARPA's Cyber Grand Challenge
Mike Walker
(Defense Advanced Research Projects Agency, USA)
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)
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)

10:10–10:30 Break

10:30–12:10 Session 8: UI Testing (Chair: Andreas Zeller)

Reducing GUI Test Suites via Program Slicing
Stephan Arlt, Andreas Podelski, and Martin Wehrle
(Université du Luxembourg, Luxembourg; University of Freiburg, Germany; University of Basel, Switzerland)
SunCat: Helping Developers Understand and Predict Performance Problems in Smartphone Applications
Adrian Nistor and Lenin Ravindranath
(Chapman University, USA; Massachusetts Institute of Technology, USA)
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)
Robust Test Automation using Contextual Clues
Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, and Satish Chandra
(IBM Research, India; Microsoft, USA; Samsung Research, USA)

12:10–13:30 Lunch

13:30–15:10 Session 9: Efficiency and Optimizations (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)
Lightweight Automated Detection of Unsafe Information Leakage via Exceptions
Benwen Zhang and James Clause
(University of Delaware, USA)
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)
Identifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search
Shiva Nejati and Lionel C. Briand
(University of Luxembourg, Luxembourg)

15:10–15:40 Break

15:40–17:20 Session 10: Generation and Propagation (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)
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)
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)
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)

17:20–17:30 Closing (Chairs: Corina Pasareanu. Michal Young, and Tao Xie)