TAP@TOOLS

Keyphrases

Publications

2012

Corina S. Pasareanu
Combining Model Checking and Symbolic Execution for Software Testing. TAP@TOOLS (2012)
Nikolai Kosmatov, Nicky Williams
Tutorial on Automated Structural Testing with PathCrawler - (Extended Abstract). TAP@TOOLS (2012)
Nadia Creignou, Uwe Egly, Martina Seidl
A Framework for the Specification of Random SAT and QSAT Formulas. TAP@TOOLS (2012)
Martin Sulzmann, Axel Zechner
Constructive Finite Trace Analysis with Linear Temporal Logic. TAP@TOOLS (2012)
Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro
A Lesson on Structural Testing with PathCrawler-online.com. TAP@TOOLS (2012)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Conformance Relations for Labeled Event Structures. TAP@TOOLS (2012)
Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. TAP@TOOLS (2012)
Sébastien Chédor, Thierry Jéron, Christophe Morvan
Test Generation from Recursive Tiles Systems. TAP@TOOLS (2012)
Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. TAP@TOOLS (2012)
Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap. TAP@TOOLS (2012)
Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity
Incremental Model-Based Testing of Delta-Oriented Software Product Lines. TAP@TOOLS (2012)
Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann
Evaluating and Debugging OCL Expressions in UML Models. TAP@TOOLS (2012)
Andreas Kuehlmann
The Technology and Psychology of Testing Your Code as You Develop It. TAP@TOOLS (2012)
Valerio Senni, Fabio Fioravanti
Generation of Test Data Structures Using Constraint Logic Programming. TAP@TOOLS (2012)
Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland
Testing Library Specifications by Verifying Conformance Tests. TAP@TOOLS (2012)
Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer
Towards Scenario-Based Testing of UML Diagrams. TAP@TOOLS (2012)

volume 7305, 2012

Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings TAP@TOOLS 7305 (2012)

2011

volume 6706, 2011

Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings TAP@TOOLS 6706 (2011)

2010

volume 6143, 2010

Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, Málaga, Spain, July 1-2, 2010. Proceedings TAP@TOOLS 6143 (2010)

2009

volume 5668, 2009

Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings TAP@TOOLS 5668 (2009)