Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

6th TAP@TOOLS 2012: Prague, Czech Republic

> Home > Conferences and Workshops > TAP
> Home > Conferences and Workshops > TOOLS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/tap/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/2012
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

- view
  authority control:
- export record
  dblp key:
  - conf/tap/Kuehlmann12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Kuehlmann12
Andreas Kuehlmann:
The Technology and Psychology of Testing Your Code as You Develop It. 1
- view
  authority control:
- export record
  dblp key:
  - conf/tap/Pasareanu12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Pasareanu12
Corina S. Pasareanu:
Combining Model Checking and Symbolic Execution for Software Testing. 2

Research Papers

- view
  authority control:
- export record
  dblp key:
  - conf/tap/ArmandoPCMB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/ArmandoPCMB12
Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti:
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BengoleaAMF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BengoleaAMF12
Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias:
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. 19-34
- view
  authority control:
- export record
  dblp key:
  - conf/tap/CarlierDG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/CarlierDG12
Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb:
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. 35-50
- view
  authority control:
- export record
  dblp key:
  - conf/tap/KiniryZH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/KiniryZH12
Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland:
Testing Library Specifications by Verifying Conformance Tests. 51-66
- view
  authority control:
- export record
  dblp key:
  - conf/tap/LochauSKL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/LochauSKL12
Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity:
Incremental Model-Based Testing of Delta-Oriented Software Product Lines. 67-82
- view
  authority control:
- export record
  dblp key:
  - conf/tap/LeonHL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/LeonHL12
Hernán Ponce de León, Stefan Haar, Delphine Longuet:
Conformance Relations for Labeled Event Structures. 83-98
- view
  authority control:
- export record
  dblp key:
  - conf/tap/ChedorJM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/ChedorJM12
Sébastien Chédor, Thierry Jéron, Christophe Morvan:
Test Generation from Recursive Tiles Systems. 99-114
- view
  authority control:
- export record
  dblp key:
  - conf/tap/SenniF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/SenniF12
Valerio Senni, Fabio Fioravanti:
Generation of Test Data Structures Using Constraint Logic Programming. 115-131
- view
  authority control:
- export record
  dblp key:
  - conf/tap/SulzmannZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/SulzmannZ12
Martin Sulzmann, Axel Zechner:
Constructive Finite Trace Analysis with Linear Temporal Logic. 132-148

Short Papers

- view
  authority control:
- export record
  dblp key:
  - conf/tap/BroschEGKSTWW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BroschEGKSTWW12
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
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BruningGHK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BruningGHK12
Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann:
Evaluating and Debugging OCL Expressions in UML Models. 156-162
- view
  authority control:
- export record
  dblp key:
  - conf/tap/CreignouES12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/CreignouES12
Nadia Creignou, Uwe Egly, Martina Seidl:
A Framework for the Specification of Random SAT and QSAT Formulas. 163-168
- view
  authority control:
- export record
  dblp key:
  - conf/tap/KosmatovWBRC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/KosmatovWBRC12
Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro:
A Lesson on Structural Testing with PathCrawler-online.com. 169-175

Tutorials

- view
  authority control:
- export record
  dblp key:
  - conf/tap/KosmatovW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/KosmatovW12
Nikolai Kosmatov, Nicky Williams:
Tutorial on Automated Structural Testing with PathCrawler - (Extended Abstract). 176

a service of

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.