Leonardo Bottaci, Gordon Fraser (Eds.):
Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings.
Lecture Notes in Computer Science 6303 Springer 2010, ISBN 978-3-642-15584-0 
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
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 update Fri May 25 08:42:49 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
