2014 International Symposium on Software Testing and Analysis (ISSTA), July 21–25, 2014, San Jose, CA, USA

Phone Layout
No Pictures
Tuesday, July 22, 2014
Doctoral Symposium Keynote (Doctoral Symposium)
10:30 – 11:20, Pacific Room
Doctoral Symposium Keynote
Rastislav Bodik
(University of California, Berkeley)
Doctoral Symposium
11:20 – 14:50, Pacific Room
Reusing Constraint Proofs for Scalable Program Analysis
Meixian Chen
(University of Lugano, Switzerland)
Publisher's Version
Effective Test Generation and Adequacy Assessment for JavaScript-Based Web Applications
Shabnam Mirshokraie
(University of British Columbia, Canada)
Publisher's Version
Efficient Statistical Debugging via Hierarchical Instrumentation
Zhiqiang Zuo
(National University of Singapore, Singapore)
Publisher's Version Preprint
Wednesday, July 23, 2014
Message from the Chairs
08:30 – 08:40, Almaden Ballroom, Chairs: Corina Pasareanu and Darko Marinov
Message from the Chairs
(NASA Ames, USA; University of Illinois at Urbana-Champaign, USA)
Dynamic Analyses for Reliable Concurrency (Keynote)
08:40 – 10:00, Almaden Ballroom, Chair: Darko Marinov
Dynamic Analyses for Reliable Concurrency (Keynote)
Cormac Flanagan
(University of California, Santa Cruz, USA)
Break Morning
10:00 – 10:30, Almaden Ballroom Foyer
Concurrency and Verification (Main Research)
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)
Publisher's Version
Performance Regression Testing of Concurrent Classes
Michael Pradel, Markus Huggler, and Thomas R. Gross
(University of California at Berkeley, USA; ETH Zurich, Switzerland)
Publisher's Version Preprint Info
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)
Publisher's Version
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)
Publisher's Version Preprint
Lunch
12:10 – 13:30, Market Room
Web Testing (Main Research)
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)
Publisher's Version
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)
Publisher's Version Preprint
DOM-Based Test Adequacy Criteria for Web Applications
Mehdi Mirzaaghaei and Ali Mesbah
(University of British Columbia, Canada)
Publisher's Version Preprint
Cross-Platform Feature Matching for Web Applications
Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso
(Georgia Tech, USA; Fujitsu Labs, USA)
Publisher's Version Preprint Info aec-badge-issta
Break Afternoon
15:10 – 15:40, Almaden Ballroom Foyer
Artifact Studies (Main Research)
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)
Publisher's Version Preprint Info aec-badge-issta
CoREBench: Studying Complexity of Regression Errors
Marcel Böhme and Abhik Roychoudhury
(Saarland University, Germany; National University of Singapore, Singapore)
Publisher's Version Preprint Info aec-badge-issta
Lightning Talks 1: ISSTA Demo (Lightning Talk)
16:30 – 16:55, Almaden Ballroom, Chairs: Indradeep Ghosh and John Penix
Lightning Talks 2: SPIN short papers (Lightning Talk)
16:55 – 17:20, Almaden Ballroom, Chairs: Neha Rungta and Oksana Tkachuk
Automatic Handling of Native Methods in Java PathFinder. Nastaran Shafiei and Franck van Breugel

CTL+FO Verification as Constraint Solving. Tewodros A. Beyene, Marc Brockschmidt, and Andrey Rybalchenko

Quantifying Information Leaks using Reliability Analysis. Quoc-Sang Phan, Pasquale Malacaria, Corina S. Păsăreanu, and Marcelo d'Amorim

Toward Parameterized Verification of Synchronous Distributed Applications. Sagar Chaki and James Edmondson

Towards a Test Automation Framework for Alloy. Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, and Darko Marinov

SpinCause: A Tool for Causality Checking. Florian Leitner-Fischer and Stefan Leue

Verige: Verification with Invariant Generation Engine. Nicolas Latorre, Francesco Alberti, and Natasha Sharygina

SpinRCP: The Eclipse Rich Client Platform Integrated Development Environment for the Spin Model Checker. Zmago Brezočnik, Boštjan Vlaovič, and Aleksander Vreže

TravMC2: Higher-Order Model Checking for Alternating Parity Tree Automata. Robin P. Neatherway and C.-H. Luke Ong

Unit Testing for SPIN: runspin and parsepan. Theo C. Ruys
Tool Demonstrations
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)
Publisher's Version Preprint Video
ProCrawl: Mining Test Models from Multi-user Web Applications
Matthias Schur, Andreas Roth, and Andreas Zeller
(SAP, Germany; Saarland University, Germany)
Publisher's Version
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)
Publisher's Version Preprint Video Info
Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution
(Saarland University, Germany; University of Sheffield, UK; Simula Research Laboratory, Norway)
Publisher's Version
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)
Publisher's Version Video Info
MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs
(Oregon State University, USA)
Publisher's Version Preprint
The Major Mutation Framework: Efficient and Scalable Mutation Analysis for Java
René Just
(University of Washington, USA)
Publisher's Version Preprint
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)
Publisher's Version Preprint
A Format String Checker for Java
Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, and Michael D. Ernst
(University of Washington, USA)
Publisher's Version Preprint Info
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)
Publisher's Version
Reception Posters/Demos
18:00 – 22:00, Winchester Room
Thursday, July 24, 2014
Practical Aspects of Testing Your Code as You Develop It (Keynote)
08:30 – 10:00, Almaden Ballroom, Chair: Corina Pasareanu
Practical Aspects of Testing Your Code as You Develop It (Keynote)
Andreas Kuehlmann
(Coverity, USA)
Break Morning
10:00 – 10:30, Almaden Ballroom Foyer
Static Analyses and Transformations (Main Research)
10:30 – 12:10, Almaden Ballroom, Chairs: 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)
Publisher's Version Preprint
A Type System for Format Strings
Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, and Michael D. Ernst
(University of Washington, USA)
Publisher's Version Preprint Info aec-badge-issta
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)
Publisher's Version Preprint
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)
Publisher's Version
Lunch
12:10 – 13:30, Market Room
Test Selection and Reduction (Main Research)
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)
Publisher's Version Preprint
FLOWER: Optimal Test Suite Reduction as a Network Maximum Flow
Arnaud Gotlieb and Dusica Marijan
(Simula Research Laboratory, Norway)
Publisher's Version
Coverage and Fault Detection of the Output-Uniqueness Test Selection Criteria
Nadia Alshahwan and Mark Harman
(University College London, UK)
Publisher's Version Preprint
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)
Publisher's Version Preprint
Break Afternoon
15:10 – 15:40, Almaden Ballroom Foyer
Localization and Repair (Main Research)
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)
Publisher's Version Preprint
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)
Publisher's Version Preprint
Semantic Differential Repair for Input Validation and Sanitization
Muath Alkhalaf, Abdulbaki Aydin, and Tevfik Bultan
(University of California at Santa Barbara, USA)
Publisher's Version Preprint aec-badge-issta
Automatic Repair for Multi-threaded Programs with Deadlock/Livelock using Maximum Satisfiability
Yiyan Lin and Sandeep S. Kulkarni
(Michigan State University, USA)
Publisher's Version
Banquet
18:00 – 22:00, Tech Museum
201 S Market St, San Jose
Friday, July 25, 2014
DARPA's Cyber Grand Challenge (Keynote)
08:30 – 09:20, Almaden Ballroom, Chair: Alex Orso
DARPA's Cyber Grand Challenge (Keynote)
Mike Walker
(Defense Advanced Research Projects Agency, USA)
Security (Main Research)
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)
Publisher's Version Preprint aec-badge-issta
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)
Publisher's Version Preprint
Break Morning
10:10 – 10:30, Almaden Ballroom Foyer
UI Testing (Main Research)
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)
Publisher's Version Preprint
SunCat: Helping Developers Understand and Predict Performance Problems in Smartphone Applications
Adrian Nistor and Lenin Ravindranath
(Chapman University, USA; Massachusetts Institute of Technology, USA)
Publisher's Version Preprint
A Variability-Based Testing Approach for Synthesizing Video Sequences
José A. Galindo, Mauricio Alférez, Mathieu Acher, , and David Benavides
(INRIA, France; University of Rennes 1, France; University of Seville, Spain)
Publisher's Version Preprint
Robust Test Automation using Contextual Clues
Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, and Satish Chandra
(IBM Research, India; Microsoft, USA; Samsung Research, USA)
Publisher's Version Preprint
Lunch
12:10 – 13:30, Market Room
Efficiency and Optimizations (Main Research)
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)
Publisher's Version Preprint
Lightweight Automated Detection of Unsafe Information Leakage via Exceptions
Benwen Zhang and James Clause
(University of Delaware, USA)
Publisher's Version
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)
Publisher's Version Preprint
Identifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search
Shiva Nejati and Lionel C. Briand
(University of Luxembourg, Luxembourg)
Publisher's Version
Break Afternoon
15:10 – 15:40, Almaden Ballroom Foyer
Generation and Propagation (Main Research)
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)
Publisher's Version
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)
Publisher's Version Preprint
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)
Publisher's Version Preprint aec-badge-issta
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)
Publisher's Version Preprint
Closing
17:20 – 17:30, Almaden Ballroom, Chairs: Corina Pasareanu, Michal Young, and Tao Xie

Time stamp: 2019-09-22T02:05:07+02:00