Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540791232, 9783540791249
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Vacuity in Testing

2008 ◽  
pp. 4-17 ◽  
Author(s):  
Thomas Ball ◽  
Orna Kupferman

Non-termination Checking for Imperative Programs

2008 ◽  
pp. 154-170 ◽  
Author(s):  
Helga Velroyen ◽  
Philipp Rümmer

scholarly journals A Logic-Based Approach to Combinatorial Testing with Constraints

2008 ◽  
pp. 66-83 ◽  
Author(s):  
Andrea Calvagna ◽  
Angelo Gargantini
Keyword(s):  
Combinatorial Testing

Integrating Verification and Testing of Object-Oriented Software

2008 ◽  
pp. 182-191 ◽  
Author(s):  
Christian Engel ◽  
Christoph Gladisch ◽  
Vladimir Klebanov ◽  
Philipp Rümmer
Keyword(s):  
Object Oriented

scholarly journals Functional Testing in the Focal Environment

2008 ◽  
pp. 84-98 ◽  
Author(s):  
Matthieu Carlier ◽  
Catherine Dubois
Keyword(s):  
Functional Testing

Bounded Relational Analysis of Free Data Types

2008 ◽  
pp. 99-115 ◽  
Author(s):  
Andriy Dunets ◽  
Gerhard Schellhorn ◽  
Wolfgang Reif
Keyword(s):  
Data Types ◽  
Relational Analysis ◽  
Free Data

Finding Counter Examples in Induction Proofs

2008 ◽  
pp. 48-65 ◽  
Author(s):  
Koen Claessen ◽  
Hans Svensson
Keyword(s):  
Induction Proofs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document