Program

Download the PDF version.
 
DAY EVENTS LOCATION

 

Monday 15.07.2013

WORKSHOPS DOCTORAL SYMPOSIUM Red Building

 

Tuesday 16.07.2013

MAIN CONFERENCE Auditorium

 

Wednesday 17.07.2013

 

Thursday 18.07.2013

 

Friday 19.07.2013

ASE PC MEETING Red Building

 

Saturday 20.07.2013

 

Conference Program

  Tuesday July 16th  Wednesday July 17th Thursday July 18th  
9.00
 
 
Keynote
 
 
 
 
Keynote
 
 
Mutating and Mocking
(session chair: Lu Zhang)
Selective Mutation Testing for Concurrent Code
Milos Gligoric, Lingming Zhang, Cristiano Pereira and Gilles Pokam
9.00
9.30
Faster Mutation Testing Using Test Prioritization and Reduction
Lingming Zhang, Darko Marinov and Sarfraz Khurshid
9.30
10.00
Declarative Mocking
Hesam Samimi, Rebecca Hicks, Ari Fogel and Todd Millstein. 
10.00
10.30 Break 10.30
11.00
Contracts, Invariants and Stability
(session chair: Myra Cohen)
Expressing and Checking Intended Changes via Software Change Contracts
Jooyong Yi, Dawei Qi, Shin Hwei Tan and Abhik Roychoudhury.
 
 
Heap Analysis and Testing
(session chair: Antonio Carzaniga)
Dynamically Validating Static Memory Leak Warnings
Mengchen Li, Yuanjun Chen, Linzhang Wang and Guoqing Xu. 
 
 
Learning, Optimizing and Searching
(session chair: Phil McMinn)
Orthogonal Exploration of the Search Space in Evolutionary Test Case Generation
Fitsum Meshesha Kifetew, Annibale Panichella, Andrea De Lucia, Rocco Oliveto and Paolo Tonella.
11.00
11.30
Finding Rare Numerical Stability Errors in Concurrent Computations
Hana Chockler, Karine Even and Eran Yahav.
 
 
Collecting a Heap of Shapes
Earl Barr, Christian Bird and Mark Marron.
 
 
 
Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis
Falk Howar, Dimitra Giannakopoulou and Zvonimir Rakamaric.
11.30
12.00
Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds
Nicolas Rosner, Juan Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín and Marcelo Frias. 
Griffin: Grouping Suspicious Memory-access Patterns to Improve Understanding of Concurrency Bugs
Sangmin Park, Mary Jean Harrold and Richard Vuduc. 
 
 
Optimizing Monitoring of Finite State Properties through Monitor Compaction
Rahul Purandare, Matthew B. Dwyer and Sebastian Elbaum. 
 
 
12.00
12.30 Lunch 12.30

14.00

Fuzzing and GUI Testing
(session chair: Andreas Zeller)
Efficient and Flexible GUI Test Execution via Test Merging
Pranavadatta Devaki, Suresh Thummalapenta, Nimit Singhania and Saurabh Sinha. 
 
Races and Multithreaded Analysis and Testing
(session chair: Darko Marinov)
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs
Sandeep Bindal, Sorav Bansal and Akash Lal.
Whitebox Testing
(session chair: Paolo Tonella)
Does Automated White-Box Test Generation Really Help Software Testers?
Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri and Frank Padberg. 
 
14.00
14.30
Automatically Repairing Broken Workflows for Evolving GUI Applications
Sai Zhang, Hao Lu and Michael D. Ernst. 
 
 
EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs
Qingzhou Luo and Grigore Rosu. 
 
Comparing Non-Adequate Test Suites using Coverage Criteria
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Amin Alipour and Darko Marinov.
 
14.30

15.00

Semi-valid Input Coverage for Fuzz-testing
Mohammad Torabi Dashti, David Basin and Petar Tsankov. 
SimRacer: A Scalable and Automated Framework to Support Testing for Process-Level Races
Tingting Yu, Witawas Srisa-An and Gregg Rothermel.
Threats to the Validity and Value of Empirical Assessments of the Accuracy of Coverage-Based Fault Locators
Friedrich Steimann, Marcus Frenkel and Rui Abreu. 
15.00
15.30
Automated Testing with Targeted Event Sequence Generation
Casper S. Jensen, Mukul R. Prasad and Anders Møller. 
Practical Static Race Detection for Java Parallel Loops
Cosmin Radoi and Danny Dig. 
Break 15.30
16.00 Break
Web-Based Analysis and Testing
(session chair: Alex Orso)
An Empirical Study of PHP Feature Usage: A Static Analysis Perspective
Mark Hills, Paul Klint and Jurgen Vinju. 
16.00
16.30
Analysis and Testing of Non-functional Properties
(session chair: Abhik Roychoudhury)
Calculating Source Line Level Energy Information for Android Applications
Ding Li, Shuai Hao, William G.J. Halfond and Ramesh Govindan.
Localisation, Patching and Repair
(session chair: Shin Yoo)
Using Automated Program Repair for Evaluating the Effectiveness of Fault Localization Techniques
Yuhua Qi, Xiaoguang Mao, Yan Lei and Chengsong Wang.
Practical Blended Taint Analysis for JavaScript
Shiyi Wei and Barbara Ryder. 
 
 
 
16.30

17.00

Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks
Xusheng Xiao, Shi Han, Dongmei Zhang and Tao Xie.
 
Data Model Property Inference and Repair
Jaideep Nijjar and Tevfik Bultan.
 
 
Finding your Way in the Testing Jungle: A Learning Approach to Web Security Testing
Omer Tripp, Omri Weisman and Lotem Guy. 
 
17.00

17.30

Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution
Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jinsong Dong and Xinyu Wang.
F3: Fault localization for Field Failures
Wei Jin and Alessandro Orso. 
 
 
 
  17.30
18.00       18.00
19.00  

 

Conference Dinner

 

  19.00

The conference will be located in the USI Auditorium, the entrance is on the 3rd floor of the USI Main Building.

Workshops and Doctoral symposium will take place respectively in rooms of the 1st and 2nd floor of the Red Building.