default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th TAP 2012: Prague, Czech Republic
- Achim D. Brucker
, Jacques Julliand:
Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings. Lecture Notes in Computer Science 7305, Springer 2012, ISBN 978-3-642-30472-9
Invited Talks
- Andreas Kuehlmann:
The Technology and Psychology of Testing Your Code as You Develop It. 1 - Corina S. Pasareanu:
Combining Model Checking and Symbolic Execution for Software Testing. 2
Research Papers
- Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti:
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap. 3-18 - Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias:
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. 19-34 - Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb:
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. 35-50 - Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland:
Testing Library Specifications by Verifying Conformance Tests. 51-66 - Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity:
Incremental Model-Based Testing of Delta-Oriented Software Product Lines. 67-82 - Hernán Ponce de León, Stefan Haar, Delphine Longuet:
Conformance Relations for Labeled Event Structures. 83-98 - Sébastien Chédor, Thierry Jéron, Christophe Morvan:
Test Generation from Recursive Tiles Systems. 99-114 - Valerio Senni, Fabio Fioravanti:
Generation of Test Data Structures Using Constraint Logic Programming. 115-131 - Martin Sulzmann, Axel Zechner:
Constructive Finite Trace Analysis with Linear Temporal Logic. 132-148
Short Papers
- Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer:
Towards Scenario-Based Testing of UML Diagrams. 149-155 - Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann:
Evaluating and Debugging OCL Expressions in UML Models. 156-162 - Nadia Creignou, Uwe Egly, Martina Seidl:
A Framework for the Specification of Random SAT and QSAT Formulas. 163-168 - Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro:
A Lesson on Structural Testing with PathCrawler-online.com. 169-175
Tutorials
- Nikolai Kosmatov, Nicky Williams:
Tutorial on Automated Structural Testing with PathCrawler - (Extended Abstract). 176
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-29 02:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
