Coverart for item
The Resource Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings, Achim D. Brucker, Jacques Julliand, (electronic book)

Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings, Achim D. Brucker, Jacques Julliand, (electronic book)

Label
Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings
Title
Tests and proofs
Title remainder
6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings
Statement of responsibility
Achim D. Brucker, Jacques Julliand
Title variation
TAP 2012
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.1/4
Index
no index present
LC call number
QA76.76.T48
LC item number
T37 2012
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
TAP 2012
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Brucker, Achim D
  • Julliand, Jacques
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7305
http://library.link/vocab/subjectName
  • Computer software
  • Computer software
  • Formal methods (Computer science)
Label
Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings, Achim D. Brucker, Jacques Julliand, (electronic book)
Instantiates
Publication
Note
International conference proceedings
Antecedent source
unknown
Color
multicolored
Contents
  • A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
  • Matthieu Carlier, Catherine Dubois and Arnaud Gotlieb
  • Testing Library Specifications by Verifying Conformance Tests
  • Joseph R. Kiniry, Daniel M. Zimmerman and Ralph Hyland
  • Incremental Model-Based Testing of Delta-Oriented Software Product Lines
  • Malte Lochau, Ina Schaefer, Jochen Kamischke and Sascha Lity
  • Conformance Relations for Labeled Event Structures
  • Hernán Ponce de León, Stefan Haar and Delphine Longuet
  • The Technology and Psychology of Testing Your Code as You Develop It
  • Andreas Kuehlmann
  • Combining Model Checking and Symbolic Execution for Software Testing
  • Corina S. Păsăreanu
  • From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap
  • Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo and Davide Balzarotti
  • Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites
  • Valeria Bengolea, Nazareno Aguirre, Darko Marinov and Marcelo F. Frias
  • Evaluating and Debugging OCL Expressions in UML Models
  • Jens Brüning, Martin Gogolla, Lars Hamann and Mirco Kuhlmann
  • A Framework for the Specification of Random SAT and QSAT Formulas
  • Nadia Creignou, Uwe Egly and Martina Seidl
  • A Lesson on Structural Testing with PathCrawler-online.com
  • Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger and Omar Chebaro
  • Tutorial on Automated Structural Testing with PathCrawler
  • (Extended Abstract)
  • Nikolai Kosmatov and Nicky Williams
  • Test Generation from Recursive Tiles Systems
  • Sébastien Chédor, Thierry Jéron and Christophe Morvan
  • Generation of Test Data Structures Using Constraint Logic Programming
  • Valerio Senni and Fabio Fioravanti
  • Constructive Finite Trace Analysis with Linear Temporal Logic
  • Martin Sulzmann and Axel Zechner
  • Towards Scenario-Based Testing of UML Diagrams
  • Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel and Martina Seidl, et al.
Control code
SPR794734522
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642304729
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
Label
Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings, Achim D. Brucker, Jacques Julliand, (electronic book)
Publication
Note
International conference proceedings
Antecedent source
unknown
Color
multicolored
Contents
  • A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
  • Matthieu Carlier, Catherine Dubois and Arnaud Gotlieb
  • Testing Library Specifications by Verifying Conformance Tests
  • Joseph R. Kiniry, Daniel M. Zimmerman and Ralph Hyland
  • Incremental Model-Based Testing of Delta-Oriented Software Product Lines
  • Malte Lochau, Ina Schaefer, Jochen Kamischke and Sascha Lity
  • Conformance Relations for Labeled Event Structures
  • Hernán Ponce de León, Stefan Haar and Delphine Longuet
  • The Technology and Psychology of Testing Your Code as You Develop It
  • Andreas Kuehlmann
  • Combining Model Checking and Symbolic Execution for Software Testing
  • Corina S. Păsăreanu
  • From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap
  • Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo and Davide Balzarotti
  • Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites
  • Valeria Bengolea, Nazareno Aguirre, Darko Marinov and Marcelo F. Frias
  • Evaluating and Debugging OCL Expressions in UML Models
  • Jens Brüning, Martin Gogolla, Lars Hamann and Mirco Kuhlmann
  • A Framework for the Specification of Random SAT and QSAT Formulas
  • Nadia Creignou, Uwe Egly and Martina Seidl
  • A Lesson on Structural Testing with PathCrawler-online.com
  • Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger and Omar Chebaro
  • Tutorial on Automated Structural Testing with PathCrawler
  • (Extended Abstract)
  • Nikolai Kosmatov and Nicky Williams
  • Test Generation from Recursive Tiles Systems
  • Sébastien Chédor, Thierry Jéron and Christophe Morvan
  • Generation of Test Data Structures Using Constraint Logic Programming
  • Valerio Senni and Fabio Fioravanti
  • Constructive Finite Trace Analysis with Linear Temporal Logic
  • Martin Sulzmann and Axel Zechner
  • Towards Scenario-Based Testing of UML Diagrams
  • Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel and Martina Seidl, et al.
Control code
SPR794734522
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642304729
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...