Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642389153, 9783642389160
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generating Test Suites with Augmented Dynamic Symbolic Execution

2013 ◽  
pp. 152-167 ◽  
Author(s):  
Konrad Jamrozik ◽  
Gordon Fraser ◽  
Nikolai Tillman ◽  
Jonathan de Halleux
Keyword(s):  
Symbolic Execution ◽  
Dynamic Symbolic Execution ◽  
Test Suites

scholarly journals Divergent Quiescent Transition Systems

2013 ◽  
pp. 214-231 ◽  
Author(s):  
Willem G. J. Stokkink ◽  
Mark Timmer ◽  
Mariëlle I. A. Stoelinga
Keyword(s):  
Transition Systems

Test Program Generation for a Microprocessor

2013 ◽  
pp. 76-95 ◽  
Author(s):  
Achim D. Brucker ◽  
Abderrahmane Feliachi ◽  
Yakoub Nemouchi ◽  
Burkhart Wolff
Keyword(s):  
Test Program ◽  
Program Generation

scholarly journals Initiating a Benchmark for UML and OCL Analysis Tools

2013 ◽  
pp. 115-132 ◽  
Author(s):  
Martin Gogolla ◽  
Fabian Büttner ◽  
Jordi Cabot
Keyword(s):  
Analysis Tools

scholarly journals Model-Based Testing for Verification Back-Ends

2013 ◽  
pp. 39-55 ◽  
Author(s):  
Cyrille Artho ◽  
Armin Biere ◽  
Martina Seidl
Keyword(s):  
Model Based ◽  
Model Based Testing

Evaluation of ASLan Mutation Operators

2013 ◽  
pp. 178-196
Author(s):  
Johan Oudinet ◽  
Alberto Calvi ◽  
Matthias Büchler
Keyword(s):  
Mutation Operators

A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper

2013 ◽  
pp. 168-177 ◽  
Author(s):  
Nikolai Kosmatov ◽  
Virgile Prevosto ◽  
Julien Signoles

scholarly journals A Declarative Debugger for Sequential Erlang Programs

2013 ◽  
pp. 96-114 ◽  
Author(s):  
Rafael Caballero ◽  
Enrique Martin-Martin ◽  
Adrián Riesco ◽  
Salvador Tamarit
Load More ...
Sign in / Sign up

Export Citation Format

Share Document