Abstract is missing.
- Automatic Testing and Fixing for Eiffel - (Extended Abstract)Bertrand Meyer. 1-4 [doi]
- Testing and Proving, Hand-in-HandTony Hoare. 5-6 [doi]
- Microsoft s Protocol Documentation Program: A Success Story for Model-Based TestingWolfgang Grieskamp. 7 [doi]
- Masking Boundary Value Coverage: Effectiveness and EfficiencyP. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh. 8-22 [doi]
- Model-Checking Erlang - A Comparison between EtomCRL2 and McErlangQiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund. 23-38 [doi]
- Bad Pairs in Software TestingDaniel Hoffman, Chien Chang, Gary Bazdell, Brett Stevens, Kevin Yoo. 39-55 [doi]
- Localizing Defects in Multithreaded Programs by Mining Dynamic Call GraphsFrank Eichinger, Victor Pankratius, Philipp W. L. Große, Klemens Böhm. 56-71 [doi]
- Filtering Test Models to Support Incremental TestingAntti Jääskeläinen. 72-87 [doi]
- Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?Mihai Nica, Simona Nica, Franz Wotawa. 88-103 [doi]
- Linguistic Security Testing for Text Communication ProtocolsBen W. Y. Kam, Thomas R. Dean. 104-117 [doi]
- An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial EvaluationChristian Wiederseiner, Shahnewaz A. Jolly, Vahid Garousi, Matt M. Eskandar. 118-128 [doi]
- TeCReVis: A Tool for Test Coverage and Test Redundancy VisualizationNegar Koochakzadeh, Vahid Garousi. 129-136 [doi]
- A Fault Injection Tool for Testing Web Services CompositionFayçal Bessayah, Ana R. Cavalli, Willian Maja, Eliane Martins, Andre Willik Valenti. 137-146 [doi]
- Synthesis of On-Line Planning Tester for Non-deterministic EFSM ModelsMarko Kääramees, Jüri Vain, Kullo Raiend. 147-154 [doi]
- A Generic Approach to Run Mutation AnalysisSiamak Haschemi, Stephan Weißleder. 155-164 [doi]
- The Practical Assessment of Test Sets with Inductive Inference TechniquesNeil Walkinshaw. 165-172 [doi]
- Mining API PopularityYana Momchilova Mileva, Valentin Dallmeier, Andreas Zeller. 173-180 [doi]
- Automatic Discovery of Unspecified Behaviors in Automotive Control SoftwareMuzammil Shahbaz, Robert Eschbach. 181-188 [doi]
- An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage InformationVahid Garousi, Negar Koochakzadeh. 189-193 [doi]
- A Multi-criteria Decision Making Framework for Real Time Model-Based TestingMohammad Saeed Abou Trab, Bachar Alrouh, Steve Counsell, Robert M. Hierons, George Ghinea. 194-197 [doi]
- Improved Testing through Refactoring: Experience from the ProTest ProjectHuiqing Li, Simon J. Thompson. 198-202 [doi]
- Towards Run-Time Monitoring of Web Services Conformance to Business-Level AgreementsKonstantinos Bratanis, Dimitris Dranidis, Anthony J. H. Simons. 203-206 [doi]
- A New Approach for Software TestabilityLydie du Bousquet. 207-210 [doi]
- DOM Transactions for Testing JavaScriptPhillip Heidegger, Annette Bieniusa, Peter Thiemann. 211-214 [doi]
- The GZoltar Project: A Graphical Debugger InterfaceAndré Riboira, Rui Abreu. 215-218 [doi]