2013 International Symposium on Software Testing and Analysis (ISSTA), July 15–20, 2013, Lugano, Switzerland

Phone Layout
No Pictures
Monday, July 15, 2013
09:00 – 18:00, Red Building
DS Keynote: PhD-Program Preparation for Successful Post-PhD Career (Tao Xie) (Doctoral Symposium)
09:00 – 10:30
DS Keynote: PhD-Program Preparation for Successful Post-PhD Career (Tao Xie)
Tao Xie
(University of Illinois at Urbana-Champaign, USA)
Temporal Properties and Concurrency (Doctoral Symposium)
11:00 – 12:30
Debugging Non-deadlock Concurrency Bugs
Sangmin Park
(Georgia Tech, USA)
Publisher's Version
Generation of Java Programs Properties from Test Purposes
Simone Hanazumi and Ana C. V. de Melo
(USP, Brazil)
Publisher's Version
Performance and Databases (Doctoral Symposium)
14:00 – 15:30
Generation of Test Databases using Sampling Methods
Teodora Sandra Buda
(University College Dublin, Ireland)
Publisher's Version
Analysis of Performance Regression Testing Data by Transaction Profiles
Shadi Ghaith
(University College Dublin, Ireland)
Publisher's Version
Formal Verification (Doctoral Symposium)
16:00 – 17:30
Product-Line Verification with Feature-Oriented Contracts
Thomas Thüm
(University of Magdeburg, Germany)
Publisher's Version Info
Formal Safety Proof: A Real Case Study in a Railway Interlocking System
Andrea Bonacchi
(University of Florence, Italy)
Publisher's Version
Welcome Cocktail
18:00 – 19:00, Red Building
Tuesday, July 16, 2013
Keynote 1: Static Analysis of Systems (Wolfgang Emmerich)
09:00 – 10:30, Auditorium
Keynote 1: Static Analysis of Systems (Wolfgang Emmerich)
Wolfgang Emmerich
(Zuhlke Engineering Limited, UK)
Contracts, Invariants, and Stability (Technical Research)
11:00 – 12:30, Auditorium, Chair: Myra Cohen
Expressing and Checking Intended Changes via Software Change Contracts
Jooyong Yi, Dawei Qi, Shin Hwei Tan, and Abhik Roychoudhury
(National University of Singapore, Singapore)
Publisher's Version
Finding Rare Numerical Stability Errors in Concurrent Computations
Hana Chockler, Karine Even, and Eran Yahav
(IBM Research, Israel; Technion, Israel)
Publisher's Version
Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds
Nicolás Rosner, Juan Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, and Marcelo F. Frias
(UBA, Argentina; Saarland University, Germany; ITBA, Argentina)
Publisher's Version
Fuzzing and GUI Testing (Technical Research)
14:00 – 16:00, Auditorium, Chair: Andreas Zeller
Efficient and Flexible GUI Test Execution via Test Merging
Pranavadatta Devaki, Suresh Thummalapenta, Nimit Singhania, and Saurabh Sinha
(IBM Research, India)
Publisher's Version
Automatically Repairing Broken Workflows for Evolving GUI Applications
Sai Zhang, Hao Lü, and Michael D. Ernst
(University of Washington, USA)
Publisher's Version Preprint
Semi-valid Input Coverage for Fuzz Testing
Petar Tsankov, Mohammad Torabi Dashti, and David Basin
(ETH Zurich, Switzerland)
Publisher's Version
Automated Testing with Targeted Event Sequence Generation
Casper S. Jensen, Mukul R. Prasad, and Anders Møller
(Aarhus University, Denmark; Fujitsu Labs, USA)
Publisher's Version
Analysis and Testing of Non-functional Properties (Technical Research)
16:30 – 18:00, Auditorium, Chair: Abhik Roychoudhury
Calculating Source Line Level Energy Information for Android Applications
Ding Li, Shuai Hao, William G. J. Halfond, and Ramesh Govindan
(University of Southern California, USA)
Publisher's Version
Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks
Xusheng Xiao, Shi Han, Dongmei Zhang, and Tao Xie
(North Carolina State University, USA; Microsoft Research, China)
Publisher's Version Info
Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution
Lin Gui, Jun Sun, Yang Liu, Yuan Jie Si, Jin Song Dong, and Xin Yu Wang
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; Zhejiang University, China)
Publisher's Version Info
Wednesday, July 17, 2013
Keynote 2: Towards Agile Verification And Verification At Run Time (Carlo Ghezzi)
09:00 – 10:30, Auditorium
Keynote 2: Towards Agile Verification And Verification At Run Time (Carlo Ghezzi)
Carlo Ghezzi
(Politecnico di Milano, Italy)
Heap Analysis and Testing (Technical Research)
11:00 – 12:30, Auditorium, Chair: Antonio Carzaniga
Dynamically Validating Static Memory Leak Warnings
Mengchen Li, Yuanjun Chen, Linzhang Wang, and Guoqing Xu
(Nanjing University, China; UC Irvine, USA)
Publisher's Version
Collecting a Heap of Shapes
Earl T. Barr, Christian Bird, and Mark Marron
(University College London, UK; UC Davis, USA; Microsoft Research, USA; IMDEA Software Institute, Spain)
Publisher's Version
Griffin: Grouping Suspicious Memory-Access Patterns to Improve Understanding of Concurrency Bugs
Sangmin Park, Mary Jean Harrold, and Richard Vuduc
(Georgia Tech, USA)
Publisher's Version
Races and Multi-threaded Analysis and Testing (Technical Research)
14:00 – 16:00, Auditorium, Chair: Darko Marinov
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs
Sandeep Bindal, Sorav Bansal, and Akash Lal
(IIT Delhi, India; Microsoft Research, India)
Publisher's Version
EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs
Qingzhou Luo and Grigore Roşu
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
SimRacer: An Automated Framework to Support Testing for Process-Level Races
Tingting Yu, Witawas Srisa-an, and Gregg Rothermel
(University of Nebraska-Lincoln, USA)
Publisher's Version
Practical Static Race Detection for Java Parallel Loops
Cosmin Radoi and Danny Dig
(University of Illinois, USA; Oregon State University, USA)
Publisher's Version
Localisation, Patching, and Repair (Technical Research)
16:30 – 18:00, Auditorium, Chair: Shin Yoo
Using Automated Program Repair for Evaluating the Effectiveness of Fault Localization Techniques
Yuhua Qi, Xiaoguang Mao, Yan Lei, and Chengsong Wang
(National University of Defense Technology, China)
Publisher's Version Info
Data Model Property Inference and Repair
Jaideep Nijjar and Tevfik Bultan
(UC Santa Barbara, USA)
Publisher's Version
F3: Fault Localization for Field Failures
Wei Jin and Alessandro Orso
(Georgia Tech, USA)
Publisher's Version Preprint Info
Conference Dinner
19:00 – 22:00, Ristorante Vetta
Thursday, July 18, 2013
Mutating and Mocking (Technical Research)
09:00 – 10:30, Auditorium, Chair: Lu Zhang
Selective Mutation Testing for Concurrent Code
Milos Gligoric, Lingming Zhang, Cristiano Pereira, and Gilles Pokam
(University of Illinois at Urbana-Champaign, USA; University of Texas at Austin, USA; Intel, USA)
Publisher's Version
Faster Mutation Testing Inspired by Test Prioritization and Reduction
Lingming Zhang, Darko Marinov, and Sarfraz Khurshid
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version Preprint Info
Declarative Mocking
Hesam Samimi, Rebecca Hicks, Ari Fogel, and Todd Millstein
(UC Los Angeles, USA)
Publisher's Version Info
Learning, Optimizing, and Searching (Technical Research)
11:00 – 12:30, Auditorium, Chair: Phil McMinn
Orthogonal Exploration of the Search Space in Evolutionary Test Case Generation
Fitsum M. Kifetew, Annibale Panichella, Andrea De Lucia, Rocco Oliveto, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; University of Salerno, Italy; University of Molise, Italy)
Publisher's Version
Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis
Falk Howar, Dimitra Giannakopoulou, and Zvonimir Rakamarić
(CMU, USA; NASA Ames Research Center, USA; University of Utah, USA)
Publisher's Version Info
Optimizing Monitoring of Finite State Properties through Monitor Compaction
Rahul Purandare, Matthew B. Dwyer, and Sebastian Elbaum
(University of Nebraska-Lincoln, USA)
Publisher's Version
Whitebox Testing (Technical Research)
14:00 – 15:30, Auditorium, Chair: Paolo Tonella
Does Automated White-Box Test Generation Really Help Software Testers?
Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, and Frank Padberg
(University of Sheffield, UK; KAIST, South Korea; Simula Research Laboratory, Norway; KIT, Germany)
Publisher's Version Preprint Info
Comparing Non-adequate Test Suites using Coverage Criteria
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA; Oregon State University, USA)
Publisher's Version
Threats to the Validity and Value of Empirical Assessments of the Accuracy of Coverage-Based Fault Locators
Friedrich Steimann, Marcus Frenkel, and Rui Abreu
(Fernuniversität in Hagen, Germany; University of Porto, Portugal)
Publisher's Version Info
Web-Based Analysis and Testing  (Technical Research)
16:00 – 17:30, Auditorium, Chair: Alex Orso
An Empirical Study of PHP Feature Usage: A Static Analysis Perspective
Mark Hills, Paul Klint, and Jurgen Vinju
(CWI, Netherlands; INRIA, France)
Publisher's Version Preprint Info
Practical Blended Taint Analysis for JavaScript
Shiyi Wei and Barbara G. Ryder
(Virginia Tech, USA)
Publisher's Version
Finding Your Way in the Testing Jungle: A Learning Approach to Web Security Testing
Omer Tripp, Omri Weisman, and Lotem Guy
(IBM, Israel; Tel Aviv University, Israel; Cybereason, Israel)
Publisher's Version
Friday, July 19, 2013
ASE PC Meeting 1
09:00 – 18:00, Red Building
Saturday, July 20, 2013
ASE PC Meeting 2
09:00 – 18:00, Red Building

Time stamp: 2019-07-23T15:09:44+02:00