Abstract is missing.
- The Technology and Psychology of Testing Your Code as You Develop ItAndreas Kuehlmann. 1 [doi]
- Combining Model Checking and Symbolic Execution for Software TestingCorina S. Pasareanu. 2 [doi]
- From Model-Checking to Automated Testing of Security Protocols: Bridging the GapAlessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti. 3-18 [doi]
- Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test SuitesValeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias. 19-34 [doi]
- A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTestMatthieu Carlier, Catherine Dubois, Arnaud Gotlieb. 35-50 [doi]
- Testing Library Specifications by Verifying Conformance TestsJoseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland. 51-66 [doi]
- Incremental Model-Based Testing of Delta-Oriented Software Product LinesMalte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity. 67-82 [doi]
- Conformance Relations for Labeled Event StructuresHernán Ponce de León, Stefan Haar, Delphine Longuet. 83-98 [doi]
- Test Generation from Recursive Tiles SystemsSébastien Chédor, Thierry Jéron, Christophe Morvan. 99-114 [doi]
- Generation of Test Data Structures Using Constraint Logic ProgrammingValerio Senni, Fabio Fioravanti. 115-131 [doi]
- Constructive Finite Trace Analysis with Linear Temporal LogicMartin Sulzmann, Axel Zechner. 132-148 [doi]
- Towards Scenario-Based Testing of UML DiagramsPetra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer. 149-155 [doi]
- Evaluating and Debugging OCL Expressions in UML ModelsJens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann. 156-162 [doi]
- A Framework for the Specification of Random SAT and QSAT FormulasNadia Creignou, Uwe Egly, Martina Seidl. 163-168 [doi]
- A Lesson on Structural Testing with PathCrawler-online.comNikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro. 169-175 [doi]
- Tutorial on Automated Structural Testing with PathCrawler - (Extended Abstract)Nikolai Kosmatov, Nicky Williams. 176 [doi]