Testing: Academic and Industrial Conference - Practice and Research Techniques

1. Front Matter

   PDF

2. Keynote Addresses

   1. Automatic Testing and Fixing for Eiffel

      • Bertrand Meyer

      Pages 1-4

   2. Testing and Proving, Hand-in-Hand

      • Sir Tony Hoare

      Pages 5-6

   3. Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing

      • Wolfgang Grieskamp

      Pages 7-7

3. Full Papers

   1. Masking Boundary Value Coverage: Effectiveness and Efficiency

      • P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh

      Pages 8-22

   2. Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang

      • Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund

      Pages 23-38

   3. Bad Pairs in Software Testing

      • Daniel Hoffman, Chien Chang, Gary Bazdell, Brett Stevens, Kevin Yoo

      Pages 39-55

   4. Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs

      • Frank Eichinger, Victor Pankratius, Philipp W. L. Große, Klemens Böhm

      Pages 56-71

   5. Filtering Test Models to Support Incremental Testing

      • Antti Jääskeläinen

      Pages 72-87

   6. Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?

      • Mihai Nica, Simona Nica, Franz Wotawa

      Pages 88-103

   7. Linguistic Security Testing for Text Communication Protocols

      • Ben W. Y. Kam, Thomas R. Dean

      Pages 104-117

4. Tool Papers

   1. An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation

      • Christian Wiederseiner, Shahnewaz A. Jolly, Vahid Garousi, Matt M. Eskandar

      Pages 118-128

   2. TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization

      • Negar Koochakzadeh, Vahid Garousi

      Pages 129-136

   3. A Fault Injection Tool for Testing Web Services Composition

      • Fayçal Bessayah, Ana Cavalli, Willian Maja, Eliane Martins, Andre Willik Valenti

      Pages 137-146

   4. Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models

      • Marko Kääramees, Jüri Vain, Kullo Raiend

      Pages 147-154

   5. A Generic Approach to Run Mutation Analysis

      • Siamak Haschemi, Stephan Weißleder

      Pages 155-164

5. Challenge Paper

   1. The Practical Assessment of Test Sets with Inductive Inference Techniques

      • Neil Walkinshaw

      Pages 165-172

6. Experience Reports

   1. Mining API Popularity

      • Yana Momchilova Mileva, Valentin Dallmeier, Andreas Zeller

      Pages 173-180

   2. Automatic Discovery of Unspecified Behaviors in Automotive Control Software

      • Muzammil Shahbaz, Robert Eschbach

      Pages 181-188

7. Fast Abstracts

   1. An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information

      • Vahid Garousi, Negar Koochakzadeh

      Pages 189-193

A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its purpose is to bring together industrialists and academics in an environment that promotes fundamental collaborationon pr- lems in software testing. Among the wide range of topics in computer science andsoftwareengineering,softwaretesting is anidealcandidatefor academicand industrialcollaborationbecauseadvancesinresearchcanhavesuchwide-ranging and far-reaching implications for industry. Conversely, the advances in comp- ing and communications technology and the growth of the associated software engineering activity are producing new researchchallengesat an increasing rate. The problems that arise in software testing are related to the problems that ariseinmanyotherareasofcomputing.Assuch,testingresearchcombinesawide range of elements encompassing the theoretical work of program analysis and formal methods and the associated representations such as ?nite-state machines and dependence graphs. The inherent complexity of software testing has led to the involvement of heuristic methods. Software testing is also a human activity and has thus seen the involvement of psychology,sociologyand even philosophy. This astonishing breadth and depth have made the problems of software testing appealing to academics for several decades.

• Debugging
• Eiffel
• Erlang
• Factor
• Open-Source
• Refactoring
• automated debugging
• documentation
• dynamic software analysis
• model checking
• performance evaluation
• regression testing
• software analysis
• software reliability
• testing

• Department of Computer Science, University of Hull, Hull, UK

  Leonardo Bottaci

• Department of Computer Science, Saarland University, Saarbrücken, Germany

  Gordon Fraser

Policies and ethics