Program

Andreas Kuehlmann, Coverity:
The Technology and Psychology of Testing Your Code as You Develop It

Malte Lochau, Ina Schaefer, Jochen Kamischke and Sascha Lity.
Incremental Model-based Testing of Delta-oriented Software Product Lines
Hernan Ponce De Leon, Stefan Haar and Delphine Longuet.
Conformance Relations for Labeled Event Structures
Joseph Kiniry, Daniel M. Zimmerman and Ralph Hyland.
Testing Library Specifications by Verifying Conformance Tests
Chedor Sebastien, Thierry Jéron and Morvan Christophe.
Test generation from recursive tiles systems

Nadia Creignou, Uwe Egly and Martina Seidl.
A Framework for the Specification of Random SAT and QSAT Formulas
Jens Brüning, Martin Gogolla, Lars Hamann and Mirco Kuhlmann.
Evaluating and Debugging OCL Expressions in UML Models
Petra Bosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, and Manuel Wimmer.
Towards Scenario-Based Testing of UML Diagrams

Nikolai Kosmatov, Nicky Williams.
Automated Structural Testing with PathCrawler

Mehdi Jazayeri, University of Lugano.
Software Composition: Why, what, and how

Corina Pasareanu. NASA.
Combining Model Checking and Symbolic Execution for Software Testing

Martin Sulzmann and Axel Zechner
Constructive Finite Trace Analysis with Linear Temporal Logic
Alessandro Armando, Roberto Carbone, Giancarlo Pellegrino, Alessio Merlo and Davide Balzarotti.
From Model-checking to Automated Testing of Security Protocols: Bridging the Gap

Valerio Senni and Fabio Fioravanti.
Generation of test data structures using Constraint Logic Programming
Valeria Bengolea, Nazareno Aguirre, Darko Marinov and Marcelo Frias.
Coverage Criteria on RepOK to Reduce Bounded Exhaustive Test Suites
Matthieu Carlier, Catherine Dubois and Arnaud Gotlieb.
A first step in the design of a formally verified constraint-based testing tool: FocalTest