|
Program
|
9:00 - 9:15
|
Welcome (Johannes Mayer, General Chair; Neelam Gupta and Yves Ledru, PC Co-Chairs)
|
9:15 - 10:15
|
Keynote
|
(Chair: Johannes Mayer)
Directed Random Testing
Wolfram Schulte (Microsoft Research, Redmond, USA)
|
10:15 - 10:30
|
Short Paper
|
(Chair: Johannes Mayer)
Subsumption of Program Entities for Efficient Coverage and Monitoring
Raul Santelices, Saurabh Sinha, Mary Jean Harrold (Georgia Tech, USA)
|
10:30 - 11:00
|
Coffee Break
|
11:00 - 12:30
|
Regular Paper Session 1: Software Testing
|
(Chair: Mauro Pezzè)
- An Empirical Comparison between Direct and Indirect Test Result Checking Approaches
Peifeng Hu, Zhenyu Zhang (The University of Hong Kong, China), W. K. Chan (City University of Hong Kong, China), T. H. Tse (The University of Hong Kong, China)
- Test Automation for Hybrid Systems
Bahareh Badban, Martin Fränzle (Carl von Ossietzky Universität Oldenburg, Germany), Jan Peleska (University of Bremen, Germany), Tino Teige (Carl von Ossietzky Universität Oldenburg, Germany)
- Adaptive Random Testing through Iterative Partitioning Revisited
Johannes Mayer (Ulm University, Germany), Tsong Yueh Chen, De Hao Huang (Swinburne University of Technology, Australia)
|
12:30 - 14:00
|
Lunch Break
|
14:00 - 15:30
|
Regular Paper Session 2: Testing and Fault Detection
|
(Chair: Neelam Gupta)
- A Model-Based Approach for Testing the Performance of Web Applications
Mahnaz Shams, Diwakar Krishnamurthy, Behrouz Far (University of Calgary, Canada)
- Discriminative Pattern Mining in Software Fault Detection
Giuseppe Di Fatta, Stefan Leue, Evghenia Stegantova (University of Konstanz, Germany)
- On-line Anomaly Detection of Deployed Software: A Statistical Machine Learning Approach
George K. Baah, Alexander Gray, Mary Jean Harrold (Georgia Tech, USA)
|
15:30 - 16:00
|
Coffee Break
|
16:00 - 17:30
|
Regular Paper Session 3: Metrics for Quality Assurance
|
(Chair: Yves Ledru)
- A Quality Model for Design Documentation in Model-centric Projects
Lars Pareto (CHALMERS / IT University of Göteborg, Sweden), Urban Boquist (Ericsson Software Research)
- Integrating a Model of Analytical Quality Assurance into the V-Modell XT
Stefan Wagner, Michael Meisinger (TU München, Germany)
- Towards a Unified Coupling Framework for Measuring Aspect-Oriented Programs
Thiago Bartolomei (Kiel University of Applied Sciences, Germany), Alessandro Garcia, Claudio Sant'Anna, Eduardo Figueiredo (Lancaster University, UK)
|
17:30
|
Closing
|
|