Powered by
Conference Publishing Consulting

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

ISSTA 2013 – Proceedings

Contents - Abstracts - Authors

Preface

Title Page
Message from the Chairs
Committees
Sponsors

Technical Research

Contracts, Invariants, and Stability

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 Article Search
Finding Rare Numerical Stability Errors in Concurrent Computations
Hana Chockler, Karine Even, and Eran Yahav
(IBM Research, Israel; Technion, Israel)
Publisher's Version Article Search
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 Article Search

Fuzzing and GUI Testing

Efficient and Flexible GUI Test Execution via Test Merging
Pranavadatta Devaki, Suresh Thummalapenta, Nimit Singhania, and Saurabh Sinha
(IBM Research, India)
Publisher's Version Article Search
Automatically Repairing Broken Workflows for Evolving GUI Applications
Sai Zhang, Hao Lü, and Michael D. Ernst
(University of Washington, USA)
Publisher's Version Article Search
Semi-valid Input Coverage for Fuzz Testing
Petar Tsankov, Mohammad Torabi Dashti, and David Basin
(ETH Zurich, Switzerland)
Publisher's Version Article Search
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 Article Search

Analysis and Testing of Non-functional Properties

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 Article Search
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 Article Search 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 Article Search Info

Heap Analysis and Testing

Dynamically Validating Static Memory Leak Warnings
Mengchen Li, Yuanjun Chen, Linzhang Wang, and Guoqing Xu
(Nanjing University, China; UC Irvine, USA)
Publisher's Version Article Search
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 Article Search
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 Article Search

Races and Multi-threaded Analysis and Testing

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 Article Search
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 Article Search
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 Article Search
Practical Static Race Detection for Java Parallel Loops
Cosmin Radoi and Danny Dig
(University of Illinois, USA; Oregon State University, USA)
Publisher's Version Article Search

Localisation, Patching, and Repair

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 Article Search Info
Data Model Property Inference and Repair
Jaideep Nijjar and Tevfik Bultan
(UC Santa Barbara, USA)
Publisher's Version Article Search
F3: Fault Localization for Field Failures
Wei Jin and Alessandro Orso
(Georgia Tech, USA)
Publisher's Version Article Search Info

Mutating and Mocking

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 Article Search
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 Article Search Info
Declarative Mocking
Hesam Samimi, Rebecca Hicks, Ari Fogel, and Todd Millstein
(UC Los Angeles, USA)
Publisher's Version Article Search Info

Learning, Optimizing, and Searching

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 Article Search
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 Article Search 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 Article Search

Whitebox Testing

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 Article Search 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 Article Search
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 Article Search Info

Web-Based Analysis and Testing 

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 Article Search Info
Practical Blended Taint Analysis for JavaScript
Shiyi Wei and Barbara G. Ryder
(Virginia Tech, USA)
Publisher's Version Article Search
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 Article Search

Doctoral Symposium

Temporal Properties and Concurrency

Debugging Non-deadlock Concurrency Bugs
Sangmin Park
(Georgia Tech, USA)
Publisher's Version Article Search
Generation of Java Programs Properties from Test Purposes
Simone Hanazumi and Ana C. V. de Melo
(USP, Brazil)
Publisher's Version Article Search

Performance and Databases

Generation of Test Databases using Sampling Methods
Teodora Sandra Buda
(University College Dublin, Ireland)
Publisher's Version Article Search
Analysis of Performance Regression Testing Data by Transaction Profiles
Shadi Ghaith
(University College Dublin, Ireland)
Publisher's Version Article Search

Formal Verification

Product-Line Verification with Feature-Oriented Contracts
Thomas Thüm
(University of Magdeburg, Germany)
Publisher's Version Article Search Info
Formal Safety Proof: A Real Case Study in a Railway Interlocking System
Andrea Bonacchi
(University of Florence, Italy)
Publisher's Version Article Search

proc time: 0.15