Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319090986, 9783319090993
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals An All-in-One Toolkit for Automated White-Box Testing

2014 ◽  
pp. 53-60 ◽  
Author(s):  
Sébastien Bardin ◽  
Omar Chebaro ◽  
Mickaël Delahaye ◽  
Nikolai Kosmatov
Keyword(s):  
White Box Testing

Generating Classified Parallel Unit Tests

2014 ◽  
pp. 117-133 ◽  
Author(s):  
Ali Jannesari ◽  
Nico Koprowski ◽  
Jochen Schimmel ◽  
Felix Wolf
Keyword(s):  
Unit Tests

Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification

2014 ◽  
pp. 142-157 ◽  
Author(s):  
Johannes Kanig ◽  
Rod Chapman ◽  
Cyrille Comar ◽  
Jerôme Guitton ◽  
Yannick Moy ◽  
...  
Keyword(s):  
Program Verification ◽  
Dynamic Program

scholarly journals How Test Generation Helps Software Specification and Deductive Verification in Frama-C

2014 ◽  
pp. 204-211 ◽  
Author(s):  
Guillaume Petiot ◽  
Nikolai Kosmatov ◽  
Alain Giorgetti ◽  
Jacques Julliand
Keyword(s):  
Test Generation ◽  
Deductive Verification ◽  
Software Specification

Behaviour Driven Development for Tests and Verification

2014 ◽  
pp. 61-77
Author(s):  
Melanie Diepenbeck ◽  
Ulrich Kühne ◽  
Mathias Soeken ◽  
Rolf Drechsler

scholarly journals Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models

2014 ◽  
pp. 99-116 ◽  
Author(s):  
Frank Hilken ◽  
Philipp Niemann ◽  
Martin Gogolla ◽  
Robert Wille
Keyword(s):  
Behavioral Models

scholarly journals Computing with an SMT Solver

2014 ◽  
pp. 20-35 ◽  
Author(s):  
Nada Amin ◽  
K. Rustan M. Leino ◽  
Tiark Rompf
Keyword(s):  
Smt Solver

Visualizing Unbounded Symbolic Execution

2014 ◽  
pp. 82-98 ◽  
Author(s):  
Martin Hentschel ◽  
Reiner Hähnle ◽  
Richard Bubel
Keyword(s):  
Symbolic Execution
Load More ...
Sign in / Sign up

Export Citation Format

Share Document