Monday 18 May

8:00 - 9:00 Registration

8:50 - 9:00 Welcome and opening

• Session chair: Paul Strooper

9:00 - 10:00 Keynote: Marlon Vieira - Experiences in Applying Testing Automation Research in an Industrial Context

• Session chair: Steve Masticola

10:00 - 10:25 Paper session 1: Model-Based Testing 1

• Session chair: Gordon Fraser
• 10:00 - 10:25 Arilo Dias Neto and Guilherme Travassos, “Porantim: An Approach to Support the Combination and Selection of Model-Based Testing Techniques”

10:25 - 10:45 Morning break

10:45 - 11:10 Paper session 1: Model-Based Testing 1 (continued)

• Session chair: Gordon Fraser
• 10:45 - 11:10 Beatriz Pérez Lamancha, Macario Polo and Mario Piattini, “Towards an automated testing framework to manage variability using the UML Testing Profile”

11:10 - 12:00 Paper session 2: Test case/suite evaluation

• Session chair: Hyunsook Do
• 11:10 - 11:35 Gordon Fraser and Angelo Gargantini, “Experiments on the Test Case Length in Specification Based Test Case Generation”
• 11:35 - 12:00 Suvarshi Bhadra, Alexander Conrad, Charles Hurkes, Brian Kirklin and Gregory Kapfhammer, “An Experimental Study of Methods for Executing Test Suites in Memory Constrained Environments”

12:00 - 12:30 Charette session 1: Identification of key challenges in software test automation

• Session chair: Steve Masticola

12:30 - 1:30 Lunch

1:30 - 3:10 Paper session 3: Model-Based Testing 2

• Session chair: David Connolly
• 1:30 - 1:55 Chen Zhao, Yunzhi Xue, Qiuming Tao, Liang Guo and Zhaohui Wang, “Automated Test Program Generation for an Industrial Optimizing Compiler”
• 1:55 - 2:20 Alberto Avritzer and Elaine Weyuker, “The Automated Generation of Test Cases using an Extended Domain Based Reliability Model”
• 2:20 - 2:45 Tony Clark, “Model Based Functional Testing using Pattern Directed Filmstrips”
• 2:45 - 3:10 Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri and Dianxiang Xu, “Security Test Generation using Threat Trees”

3:10 - 3:35 Paper session 4: Structural Testing

• Session chair: Tony Clark
• 3:10 - 3:35 Bernard Botella, Mickael Delahaye, Stephane Hong-Tua-Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger and Nicky Williams, “Automating Structural Testing of C Programs: Experience with PathCrawler”

3:35 - 4:00 Afternoon break

4:00 - 4:50 Paper session 4: Structural Testing (continued)

• Session chair: Tony Clark
• 4:00 - 4:25 Nicky Williams and Muriel Roger, “Test Generation Strategies to Measure Worst-Case Execution Time”
• 4:25 - 4:50 Meng-xiang LIN, Yin-li CHEN, Kai YU and Guo-shi WU, “Lazy Symbolic Evaluation and its Path Constraints Solving”

4:50 - 5:50 Charette session 2: Identification of R&D pathway for each challenge

• Session chair: Steve Masticola

6:00 - 7:45 Break

• ICSE conference soccer game 6:00 - 7:00

7:45 - 10:00 Workshop Dinner

Tuesday 19 May

9:00 - 10:00 Keynote: Howard Foster - Towards Automated and Interrelated Web Service Analysis

• Session chair: Hong Zhu

10:00 - 10:40 Paper session 5: Testing Web Services

• Session chair: Alberto Avritzer
• 10:00 - 10:20 Lingzi Jin, “Automated Functional Testing of a Search Engine”
• 10:20 - 10:40 Venkita Subramonian, Eric Cheung and Gerald Karam, “Automated Testing of a Converged Conferencing Application”

10:40 - 11:00 Morning break

11:00 - 11:50 Paper session 5: Testing Web Services (continued)

• Session chair: Alberto Avritzer
• 11:00 - 11:25 Zhong Jie Li, Jun Zhu, Liang-Jie Zhang and Naomi Mitsumori, “Towards a Practical and Effective Method for Web Services Test Case Generation”
• 11:25 - 11:50 Daniel Lübke, Leif Singer and Alex Salnikow, “Calculating BPEL Test Coverage through Instrumentation”

11:50 – 12:30 Charette session 3: Finalisation of presentations

• Session chair: Steve Masticola

12:30 – 1:30 Lunch

1:30 – 2:20 Paper session 6: System-Level Testing

• Session chair: S.C. Cheung
• 1:30 - 1:55 David Connolly, Frank Keenan and Fergal Mc Caffery, “Towards automated generation of acceptance tests from existing documentation using annotations”
• 1:55 - 2:20 Bernhard Peischl, Franz Wotawa and Birgit Hofer, “GUI Savvy End-to-End Testing with Smart Monkeys”

2:20 – 3:40 Paper session 7: Case Studies

• Session chair: Paul Strooper
• 2:20 - 2:40 Panuchart Bunyakiati and Anthony Finkelstein, “The Compliance Testing of Software Tools with respect to the UML standards specification - the ArgoUML case study”
• 2:40 - 3:00 Jenny Li and David M Weiss, “Using Testing Trace for Automatic User Categorization”
• 3:00 - 3:20 Madhuri Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux and Wolfram Schulte, “An Empirical Study of Testing File-System-Dependent Software With Mock Objects”
• 3:20 - 3:40 David Talby, “The Perceived Value of Authoring and Automating Acceptance Tests Using a Model Driven Development Toolset”

3:40 – 4:00 Afternoon break

4:00 – 5:00 Charette session 4: Presentations

• Session chair: Steve Masticola

5:00 - 5:10 Workshop close

• Session chair: Paul Strooper