PROGRAM

[PDF Version]

Day One - Friday, September 3, 2010

9:00 - Arrival and Coffee

9:50 - Welcome to TAIC PART 2010

10:00 - Keynote Address

• Bertrand Meyer, ETH Zuerich, Switzerland: Automatic Testing and Fixing for Eiffel

11:30 - Tea

12:00 - Paper Session One - Full papers:

• Bad Pairs in Software Testing (Daniel Hoffman, Mitch Chang, Gary Bazdell, Brett Stevens, Kevin Yoo) [Slides]
• Linguistic Security Testing for Text Communication Protocols (Ben Kam, Thomas Dean) [Slides]

13:00 - Lunch

14:15 - Walk

16:00 - Tea

16:30 - Paper Session Two - Full papers:

• Masking Boundary Value Coverage: Effectiveness and Efficiency (P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, Venkatesh R) [Slides]
• Model Checking Erlang - A Comparison between Etomcrl2 and McErlang (Qiang Guo, John Derrick, Clara Benac Earle, Lars-Ake Fredlund) [Slides]
• Filtering Test Models to Support Incremental Testing (Antti Jäskeläinen) [Slides]
• Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs (Frank Eichinger, Victor Pankratius, Philipp W. L. Grosse, Klemens Böhm) [Slides]

19:15 - Dinner

Day Two - Saturday, September 4, 2010

8:00 - Breakfast

9:00 - Keynote Address

• Wolfgang Grieskamp, Microsoft, USA: Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing

10:30 - Tea

11:00 - Paper Session Three - Full/Challenge Papers:

• Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging (Mihai Nica, Simona Nica, Franz Wotawa) [Slides]
• The Practical Assessment of Test Sets with Inductive Inference Techniques (Neil Walkinshaw) [Slides]
• Mining API Popularity (Yana Mileva, Valentin Dallmeier, Andreas Zeller) [Slides]
• Automatic Discovery of Unspecified Behaviors in Automotive Control Software (Muzammil Shahbaz, Robert Eschbach) [Slides]

13:00 - Lunch

14:30 - Tools Session:

• An Open-Source Tool for Automated Generation of Black-box xUnit Test Code and its Industrial Evaluation (Christian Wiederseiner, Shahnewaz Amin Jolly, Vahid Garousi, Matt M. Eskandar) [Slides]
• TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization (Negar Koochakzadeh, Vahid Garousi) [Slides]
• A Fault Injection Tool for Testing Web Services Composition (Faycal Bessayah, Ana Cavalli, Willian Maja, Eliane Martins, Andre W. Valenti) [Slides]

15:30 - Tea

16:00 - Tools Session:

• Synthesis of On-line Planning Tester for Non-deterministic EFSM Models (Marko Käaramees, Kullo Raiend, Juri Vain) [Slides]
• A Generic Approach to Run Mutation Analysis (Stephan Weissleder, Siamak Haschemi) [Slides]
• Reverse Engineering - Traces to State Machines (Kirill Bogdanov) [Slides]

17:30 - Tool Demo Session

19:15 - Conference Banquet

Day Three - Sunday, September 5, 2010

9:00 - Breakfast

10:00 - Keynote Address:

• Sir Tony Hoare, MS Research, UK: Testing and Proving, Hand-in-Hand

11:30 - Tea

12:00 - Fast Abstracts

• An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information (Vahid Garousi, Negar Koochakzadeh) [Slides]
• A Multi-Criteria Decision Making Framework for Real Time Model-Based Testing (Mohammad Saeed Abou Trab, Bachar Alrouh, Steve Counsell, Rob Hierons, George Ghinea) [Slides]
• Improved Testing Through Refactoring: Experience from the ProTest Project (Simon Thompson, Huiqing Li) [Slides]
• A New Approach for Software Testability (Lydie du Bousquet) [Slides]
• Towards Run-time Monitoring of Web Services Conformance to Business-Level Agreements (Konstantinos Bratanis, Dimitris Dranidis, Anthony Simons) [Slides]

13:00 - Lunch

14:00 - Fast Abstracts

• DOM Transactions for Testing JavaScript (Phillip Heidegger, Annette Bieniusa, Peter Thiemann) [Slides]
• The GZoltar Project: A Graphical Debugger Interface (Andre Riboira, Rui Abreu) [Slides]

14:30 - Panel Discussion

15:30 - Closing & Tea