Keynote by Gordon Fraser, University of Sheffield

Automated white-box test generation is tyically driven by code coverage: Tests are generated in order to cover additional parts of the source code. An important practical advantage of this approach over model-based testing is that there is no need for a tester to manually create a test model. However, white-box testing can greatly benefit from using various types of models. In this talk, I will explore how automated white-box test generation can be improved using models -- without requiring anyone to manually create models.

Bio

Gordon Fraser is a lecturer in Computer Science at the University of Sheffield, UK. He received a PhD in computer science from Graz University of Technology, Austria, in 2007. The central theme of his research is improving software quality, and his recent research concerns the prevention, detection, and removal of defects in software. More specifically, he develops techniques to generate test cases automatically using search-based and constraint-based approaches, and to guide the tester in validating the output of tests by producing test oracles and specifications, for example using mutation analysis.

Schedule for the day

9:00 - 9:10  Opening and welcome – AMOST program chair - Tejeddine Mouelhi 

9:10 - 10:30  Keynote – Gordon Fraser - University of Sheffield

10:30 - 11:00  Coffee Break

Session 1

11:00 - 11:20  SOA Testing Via Random Paths in BPEL Models
Seema Jehan, Graz University of Technology, Austria
Ingo Pill, Graz University of Technology, Austria
Franz Wotawa, Graz University of Technology, Austria

11:20 - 11:50  Model-Based Exploratory Testing: A Controlled Experiment
Christopher J Schaefer, IBM Rochester, Maine, USA
Hyunsook Do, North Dakota State University, USA

11:50 - 12:20  MC/DC-like Structural Coverage Criteria for Function Block Diagrams
Kohei Maruchi, Toshiba Corporation, Kawasaki, Japan
Hiromasa Shin, Toshiba Corporation, Kawasaki, Japan
Masahiro Sakai, Toshiba Corporation, Kawasaki, Japan

12:30 - 14:00  Lunch break

14:00 - 15:00  Panel Discussion
Lionel Briand, University of Luxembourg
Christof Budnik, Siemens Corporate Research

14:55 Best Paper Award Ceremony

Session 2

15:00 - 15:30  Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study
Arthur Marques, Federal University of Campina Grande, Brazil
Franklin Ramalho, Federal University of Campina Grande, Brazil
Wilkerson L. Andrade, Federal University of Campina Grande, Brazil

15:30 - 16:00  Coffee Break

Session 3

16:00 - 16:30  Exhaustive Exploration of Ajax Web Applications With Selective Jumping
Sylvain Hallé, Université du Québec à Chicoutimi, Canada
Gabriel Le Breton, Université du Québec à Chicoutimi, Canada
Fabien Maronnaud, Université du Québec à Chicoutimi, Canada
Alexandre Blondin Massé, Université du Québec à Chicoutimi, Canada
Sébastien Gaboury, Université du Québec à Chicoutimi, Canada

16:30 Closing Session