Monday 23rd May 2011

8:45 Welcome (Chair: Howard Foster)
9:00 Keynote (Chair: Antonia Bertolino)
Michael M. Gorlick. Testing the 21st Century (more info)
10:00 Break
Paper Session 1 Model-Based Testing (Chair: Maria Jose Escalona)
10:30 Junhua Ding, Tong Wu, Dianxiang Xu, Jun Q. Lu and Xin-Hua Hu.Metamorphic Testing of a Monte Carlo Modeling Program
11:00 Chimisliu Valentin Constantin and Wotawa Franz. Abstracting Timing Information in UML State Charts via Temporal Ordering and LOTOS
11:30 Zeinab Mousavian, Mojtaba Vahidi-Asl and Saeed Parsa. Scalable Graph Analyzing Approach for Software Fault-Localization
12:00 Lunch
13:00 Charette Session (Chair: Henry Muccini)
Poster Session 1 (Chair: Howell Yee)
14:30 Guy Collins Ndem, Abbas Tahir, Andreas Ulrich and Helmut Goetz. Test Data to reduce the Complexity of Unit Test Automation
14:45 Shaoying Liu and Shin Nakajima. A Framework for Automatic Functional Testing Based on Formal Specifications
15:00 Break
Paper Session 2 Testing for Web and Service-Based Systems (Chair: Howard Foster)
15:30 Xiaoying Bai, Bin Chen, Bo Ma and Yunzhan Gong. Design of Intelligent Agents for Collaborative Testing of Service-Based Systems
16:00 Hazlifah Mohd Rusli, Suhaimi Ibrahim, Mazidah Puteh and Sayed Gholam Hassan Tabatabaei. A Comparative Evaluation of State-of-the-Art Web Service Composition Testing Approaches
Poster Session 2 (Chair: Shaoying Liu)
16:30 Felipe Besson, Pedro Leal, Fabio Kon, Alfredo Goldman and Dejan Milojicic. Towards Automated Testing of Web Service Choreographies
16:45 Yingzhou Zhang, Wei Fu and Changhai Nie. Monad-Based Automated Testing of Web Services
17:00 Gabriel L. Zenarosa and Regis J. Leonard. Towards Automated Oracles for GUI Input Validation
Evening Workshop Dinner

Tuesday 24th May 2011

9:00 Keynote (Chair: Jenny Li)
Howell Yee : Overcoming Interoperability Challenges – Can you hear me now? (more info)
10:00 Break
Paper Session 3 Test Strategies I (Chair: Gregory M. Kapfhammer)
10:30 Winfried Dulz. A Comfortable TestPlayer for Analyzing Statistical Usage Testing Strategies
11:00 Laya Madani and Ioannis Parissis. Automatically Testing Interactive Multimodal Systems Using Task Trees and Fusion Models
11:30 Rene Just, Gregory M. Kapfhammer and Franz Schweiggert. Using Conditional Mutation to Increase the Efficiency of Mutation Analysis
12:00 Lunch
Paper Session 4 Test Strategies II (Chair: Hong Zhu)
13:00 Gary Kaminski, Paul Ammann and Jeff Offutt. Better Predicate Testing
13:30 Mario Gleirscher. Hazard-based Selection of Test Cases
Paper Session 5 Applications of Testing I (Chair: Henry Muccini)
14:00 Nate Kube, Kevin Yoo and Dan Hoffman. Automated Testing of Industrial Control Devices: the Delphi Database
14:30 Cuixiong Hu and Iulian Neamtiu. Automating GUI Testing for Android Applications
15:00 Break
Paper Session 6 Applications of Testing II (Chair: Shay Artzi)
15:30 Rajesh Palit, Renuka Arya, Kshirasagar Naik and Ajit Singh. Selection and Execution of User Level Test Cases for Energy Cost Evaluation of Smartphones
16:00 Michal H. Palka, Koen Claessen, Alejandro Russo and John Hughes. Testing an Optimising Compiler by Generating Random Lambda Terms
16:30 Giuseppe Di Guglielmo, Masahiro Fujita, Cristina Marconcini, Andreas Foltinek, Luigi Di Guglielmo, Franco Fummi and Graziano Pravadelli. Model-Driven Design and Validation of Embedded Software
17:00 Charette Summary (Chair: Henry Muccini)
17:45 Closure and Thanks
Keynotes more details about keynotes here