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

9783540737698, 9783540737704

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73770-4_7 ◽

2007 ◽

pp. 114-130 ◽

Cited By ~ 6

Author(s):

Lisa (Ling) Liu ◽

Bertrand Meyer ◽

Bernd Schoeller

Keyword(s):

Test Generation ◽

Automatic Test Generation ◽

Automatic Test ◽

Boolean Queries

Download Full-text

Testing and Proving Distributed Algorithms in Constructive Type Theory

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73770-4_5 ◽

2007 ◽

pp. 79-94 ◽

Cited By ~ 1

Author(s):

Qiao Haiyan

Keyword(s):

Distributed Algorithms ◽

Type Theory ◽

Constructive Type Theory ◽

Constructive Type

Download Full-text

Testable Requirements and Specifications

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73770-4_2 ◽

2007 ◽

pp. 17-40

Author(s):

Jonathan S. Ostroff ◽

Faraz Ahmadi Torshizi

Download Full-text

White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73770-4_12 ◽

2007 ◽

pp. 207-216 ◽

Cited By ~ 7

Author(s):

Bernhard Beckert ◽

Christoph Gladisch

Keyword(s):

Black Box ◽

Black Box Testing ◽

White Box Testing

Download Full-text

Combining Static and Dynamic Reasoning for Bug Detection

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73770-4_1 ◽

2007 ◽

pp. 1-16 ◽

Cited By ~ 12

Author(s):

Yannis Smaragdakis ◽

Christoph Csallner

Keyword(s):

Bug Detection ◽

Dynamic Reasoning

Download Full-text

Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73770-4_3 ◽

2007 ◽

pp. 41-60 ◽

Cited By ~ 8

Author(s):

Philipp Rümmer ◽

Muhammad Ali Shah

Keyword(s):

Sequent Calculus ◽

Dynamic Logic

Download Full-text

Generating Unit Tests from Formal Proofs

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73770-4_10 ◽

2007 ◽

pp. 169-188 ◽

Cited By ~ 31

Author(s):

Christian Engel ◽

Reiner Hähnle

Keyword(s):

Formal Proofs ◽

Unit Tests

Download Full-text

Automatic Testing from Formal Specifications

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73770-4_6 ◽

2007 ◽

pp. 95-113 ◽

Cited By ~ 8

Author(s):

Manoranjan Satpathy ◽

Michael Butler ◽

Michael Leuschel ◽

S. Ramesh

Keyword(s):

Automatic Testing ◽

Formal Specifications

Download Full-text

Testing and Verifying Invariant Based Programs in the SOCOS Environment

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73770-4_4 ◽

2007 ◽

pp. 61-78 ◽

Cited By ~ 8

Author(s):

Ralph-Johan Back ◽

Johannes Eriksson ◽

Magnus Myreen

Download Full-text

Using Model Checking to Generate Fault Detecting Tests

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73770-4_11 ◽

2007 ◽

pp. 189-206 ◽

Cited By ~ 14

Author(s):

Angelo Gargantini

Keyword(s):

Model Checking

Download Full-text

Tests and Proofs - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation

Testing and Proving Distributed Algorithms in Constructive Type Theory

Testable Requirements and Specifications

White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing

Combining Static and Dynamic Reasoning for Bug Detection

Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic

Generating Unit Tests from Formal Proofs

Automatic Testing from Formal Specifications

Testing and Verifying Invariant Based Programs in the SOCOS Environment

Using Model Checking to Generate Fault Detecting Tests

Tests and Proofs - Lecture Notes in Computer Science
Latest Publications