Program
|
Keynote by Gordon Fraser, University of SheffieldAutomated 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.BioGordon 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 day9:00 - 9:10 Opening and welcome – AMOST program chair - Tejeddine Mouelhi9: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 |
Maintained by Levi Lúcio. | Last Modified: 2014/10/27 00:33:29. |