Keynote Addresses

• 
  Bertrand Meyer: Automatic Testing and Fixing for Eiffel - (Extended Abstract). 1-4
• 
  Tony Hoare: Testing and Proving, Hand-in-Hand. 5-6
• 
  Wolfgang Grieskamp: Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing. 7

Full Papers

• 
  P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh: Masking Boundary Value Coverage: Effectiveness and Efficiency. 8-22
• 
  Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund: Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. 23-38
• 
  Daniel Hoffman, Chien Chang, Gary Bazdell, Brett Stevens, Kevin Yoo: Bad Pairs in Software Testing. 39-55
• 
  Frank Eichinger, Victor Pankratius, Philipp W. L. Große, Klemens Böhm: Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs. 56-71
• 
  Antti Jääskeläinen: Filtering Test Models to Support Incremental Testing. 72-87
• 
  Mihai Nica, Simona Nica, Franz Wotawa: Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? 88-103
• 
  Ben W. Y. Kam, Thomas R. Dean: Linguistic Security Testing for Text Communication Protocols. 104-117

Tool Papers

• 
  Christian Wiederseiner, Shahnewaz A. Jolly, Vahid Garousi, Matt M. Eskandar: An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation. 118-128
• 
  Negar Koochakzadeh, Vahid Garousi: TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization. 129-136
• 
  Fayçal Bessayah, Ana R. Cavalli, Willian Maja, Eliane Martins, Andre Willik Valenti: A Fault Injection Tool for Testing Web Services Composition. 137-146
• 
  Marko Kääramees, Jüri Vain, Kullo Raiend: Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. 147-154
• 
  Siamak Haschemi, Stephan Weißleder: A Generic Approach to Run Mutation Analysis. 155-164

Challenge Paper

• 
  Neil Walkinshaw: The Practical Assessment of Test Sets with Inductive Inference Techniques. 165-172

Experience Reports

• 
  Yana Momchilova Mileva, Valentin Dallmeier, Andreas Zeller: Mining API Popularity. 173-180
• 
  Muzammil Shahbaz, Robert Eschbach: Automatic Discovery of Unspecified Behaviors in Automotive Control Software. 181-188

Fast Abstracts

• 
  Vahid Garousi, Negar Koochakzadeh: An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information. 189-193
• 
  Mohammad Saeed Abou Trab, Bachar Alrouh, Steve Counsell, Robert M. Hierons, George Ghinea: A Multi-criteria Decision Making Framework for Real Time Model-Based Testing. 194-197
• 
  Huiqing Li, Simon J. Thompson: Improved Testing through Refactoring: Experience from the ProTest Project. 198-202
• 
  Konstantinos Bratanis, Dimitris Dranidis, Anthony J. H. Simons: Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements. 203-206
• 
  Lydie du Bousquet: A New Approach for Software Testability. 207-210
• 
  Phillip Heidegger, Annette Bieniusa, Peter Thiemann: DOM Transactions for Testing JavaScript. 211-214
• 
  André Riboira, Rui Abreu: The GZoltar Project: A Graphical Debugger Interface. 215-218

last updated on Sun May 26 04:24:35 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page