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

Classifying Bugs with Interpolants

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

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document