Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319929934, 9783319929941
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification Coverage for Combining Test and Proof

2018 ◽  
pp. 120-138 ◽  
Author(s):  
Viet Hoang Le ◽  
Loïc Correnson ◽  
Julien Signoles ◽  
Virginie Wiels

scholarly journals Ghosts for Lists: From Axiomatic to Executable Specifications

2018 ◽  
pp. 177-184
Author(s):  
Frédéric Loulergue ◽  
Allan Blanchard ◽  
Nikolai Kosmatov
Keyword(s):  
Executable Specifications

Under-Approximation Generation Driven by Relevance Predicates and Variants

2018 ◽  
pp. 63-82 ◽  
Author(s):  
J. Julliand ◽  
O. Kouchnarenko ◽  
P.-A. Masson ◽  
G. Voiron

scholarly journals Static and Dynamic Verification of Relational Properties on Self-composed C Code

2018 ◽  
pp. 44-62 ◽  
Author(s):  
Lionel Blatter ◽  
Nikolai Kosmatov ◽  
Pascale Le Gall ◽  
Virgile Prevosto ◽  
Guillaume Petiot
Keyword(s):  
Relational Properties ◽  
Dynamic Verification

scholarly journals Tests from Witnesses

2018 ◽  
pp. 3-23 ◽  
Author(s):  
Dirk Beyer ◽  
Matthias Dangl ◽  
Thomas Lemberger ◽  
Michael Tautschnig
Load More ...
Sign in / Sign up

Export Citation Format

Share Document