| Description |
1 online resource |
| Series |
Lecture notes in computer science, 0302-9743 ; 7305 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7305.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
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 -- 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 |
|
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. -- 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 |
| Summary |
Annotation This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries |
| Analysis |
Computer science |
|
Software engineering |
|
Logic design |
|
Computer simulation |
|
Programming Techniques |
|
Logics and Meanings of Programs |
|
Mathematical Logic and Formal Languages |
|
Programming Languages, Compilers, Interpreters |
|
Simulation and Modeling |
| Bibliography |
Includes bibliographical references and index |
| Notes |
English |
| Subject |
Computer software -- Testing -- Congresses
|
|
Computer software -- Verification -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
Informatique.
|
|
Computer software -- Testing
|
|
Computer software -- Verification
|
|
Formal methods (Computer science)
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Brucker, Achim D.
|
|
Julliand, Jacques.
|
| ISBN |
9783642304736 |
|
3642304737 |
|
3642304729 |
|
9783642304729 |
|
