Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319411347, 9783319411354
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Advances in Property-Based Testing for $$\alpha $$ Prolog

2016 ◽  
pp. 37-56 ◽  
Author(s):  
James Cheney ◽  
Alberto Momigliano ◽  
Matteo Pessina

scholarly journals Your Proof Fails? Testing Helps to Find the Reason

2016 ◽  
pp. 130-150 ◽  
Author(s):  
Guillaume Petiot ◽  
Nikolai Kosmatov ◽  
Bernard Botella ◽  
Alain Giorgetti ◽  
Jacques Julliand

scholarly journals Tests and Proofs for Enumerative Combinatorics

2016 ◽  
pp. 57-75 ◽  
Author(s):  
Catherine Dubois ◽  
Alain Giorgetti ◽  
Richard Genestier
Keyword(s):  
Enumerative Combinatorics

Using Formal Methods for Verification and Validation in Railway

2016 ◽  
pp. 3-13 ◽  
Author(s):  
Klaus Reichl ◽  
Tomas Fischer ◽  
Peter Tummeltshammer
Keyword(s):  
Formal Methods ◽  
Verification And Validation

Classifying Bugs with Interpolants

2016 ◽  
pp. 151-168 ◽  
Author(s):  
Andreas Podelski ◽  
Martin Schäf ◽  
Thomas Wies

Classifying Test Suite Effectiveness via Model Inference and ROBBDs

2016 ◽  
pp. 76-93 ◽  
Author(s):  
Hermann Felbinger ◽  
Ingo Pill ◽  
Franz Wotawa
Keyword(s):  
Test Suite ◽  
Model Inference

scholarly journals Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations

2016 ◽  
pp. 183-190 ◽  
Author(s):  
Amani Makhlouf ◽  
Hanh Nhi Tran ◽  
Christian Percebois ◽  
Martin Strecker
Keyword(s):  
Static Analysis ◽  
Graph Transformations

scholarly journals Automatic Predicate Testing in Formal Certification

2016 ◽  
pp. 191-198
Author(s):  
Franck Slama

scholarly journals Monadic Sequence Testing and Explicit Test-Refinements

2016 ◽  
pp. 17-36 ◽  
Author(s):  
Achim D. Brucker ◽  
Burkhart Wolff
Keyword(s):  
Explicit Test
Load More ...
Sign in / Sign up

Export Citation Format

Share Document