Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540791232, 9783540791249

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Vacuity in Testing

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-79124-9_2 ◽

2008 ◽

pp. 4-17 ◽

Cited By ~ 9

Author(s):

Thomas Ball ◽

Orna Kupferman

Download Full-text

Non-termination Checking for Imperative Programs

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-79124-9_11 ◽

2008 ◽

pp. 154-170 ◽

Cited By ~ 25

Author(s):

Helga Velroyen ◽

Philipp Rümmer

Download Full-text

A Logic-Based Approach to Combinatorial Testing with Constraints

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-79124-9_6 ◽

2008 ◽

pp. 66-83 ◽

Cited By ~ 32

Author(s):

Andrea Calvagna ◽

Angelo Gargantini

Keyword(s):

Combinatorial Testing

Download Full-text

Integrating Verification and Testing of Object-Oriented Software

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-79124-9_13 ◽

2008 ◽

pp. 182-191 ◽

Cited By ~ 5

Author(s):

Christian Engel ◽

Christoph Gladisch ◽

Vladimir Klebanov ◽

Philipp Rümmer

Keyword(s):

Object Oriented

Download Full-text

Functional Testing in the Focal Environment

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-79124-9_7 ◽

2008 ◽

pp. 84-98 ◽

Cited By ~ 7

Author(s):

Matthieu Carlier ◽

Catherine Dubois

Keyword(s):

Functional Testing

Download Full-text

Bounded Relational Analysis of Free Data Types

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-79124-9_8 ◽

2008 ◽

pp. 99-115 ◽

Cited By ~ 4

Author(s):

Andriy Dunets ◽

Gerhard Schellhorn ◽

Wolfgang Reif

Keyword(s):

Data Types ◽

Relational Analysis ◽

Free Data

Download Full-text

Equivalence Checking for a Finite Higher Order π-Calculus

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-79124-9_4 ◽

2008 ◽

pp. 30-47 ◽

Cited By ~ 3

Author(s):

Zining Cao

Keyword(s):

Higher Order ◽

Equivalence Checking ◽

Π Calculus

Download Full-text

The First Thirty Years: Experience with Software Verification

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-79124-9_1 ◽

2008 ◽

pp. 1-3

Author(s):

Michael Hennell

Keyword(s):

Software Verification

Download Full-text

Finding Counter Examples in Induction Proofs

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-79124-9_5 ◽

2008 ◽

pp. 48-65 ◽

Cited By ~ 8

Author(s):

Koen Claessen ◽

Hans Svensson

Keyword(s):

Induction Proofs

Download Full-text

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-79124-9_9 ◽

2008 ◽

pp. 116-133 ◽

Cited By ~ 8

Author(s):

Pietro Ferrara

Keyword(s):

Static Analysis ◽

Abstract Interpretation ◽

Memory Model

Download Full-text

Tests and Proofs - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Vacuity in Testing

Non-termination Checking for Imperative Programs

A Logic-Based Approach to Combinatorial Testing with Constraints

Integrating Verification and Testing of Object-Oriented Software

Functional Testing in the Focal Environment

Bounded Relational Analysis of Free Data Types

Equivalence Checking for a Finite Higher Order π-Calculus

The First Thirty Years: Experience with Software Verification

Finding Counter Examples in Induction Proofs

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

Tests and Proofs - Lecture Notes in Computer Science
Latest Publications