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

9783642217678, 9783642217685

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

State Coverage Metrics for Specification-Based Testing with Büchi Automata

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21768-5_13 ◽

2011 ◽

pp. 171-186 ◽

Cited By ~ 6

Author(s):

Li Tan

Keyword(s):

Coverage Metrics ◽

Büchi Automata ◽

Buchi Automata

Download Full-text

Security Mutants for Property-Based Testing

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21768-5_6 ◽

2011 ◽

pp. 69-77 ◽

Cited By ~ 10

Author(s):

Matthias Büchler ◽

Johan Oudinet ◽

Alexander Pretschner

Download Full-text

Checking Models, Proving Programs, and Testing Systems

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21768-5_1 ◽

2011 ◽

pp. 1-13 ◽

Cited By ~ 1

Author(s):

Marie-Claude Gaudel

Download Full-text

Correct Code Containing Containers

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21768-5_9 ◽

2011 ◽

pp. 102-118 ◽

Cited By ~ 8

Author(s):

Claire Dross ◽

Jean-Christophe Filliâtre ◽

Yannick Moy

Keyword(s):

Correct Code

Download Full-text

Association of Under-Approximation Techniques for Generating Tests from Models

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21768-5_5 ◽

2011 ◽

pp. 51-68 ◽

Cited By ~ 1

Author(s):

Pierre-Christophe Bué ◽

Jacques Julliand ◽

Pierre-Alain Masson

Keyword(s):

Approximation Techniques

Download Full-text

A Random Testing Approach Using Pushdown Automata

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21768-5_10 ◽

2011 ◽

pp. 119-133 ◽

Cited By ~ 4

Author(s):

Pierre-Cyrille Héam ◽

Catherine Masson

Keyword(s):

Random Testing ◽

Testing Approach ◽

Pushdown Automata

Download Full-text

Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21768-5_8 ◽

2011 ◽

pp. 84-101

Author(s):

Renzo Degiovanni ◽

Pablo Ponzio ◽

Nazareno Aguirre ◽

Marcelo Frias

Keyword(s):

Test Generation ◽

Automated Test Generation ◽

Requirements Specifications ◽

Automated Test

Download Full-text

Tests from Proofs

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21768-5_2 ◽

2011 ◽

pp. 14-14

Author(s):

Patrice Godefroid

Download Full-text

Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21768-5_4 ◽

2011 ◽

pp. 33-50 ◽

Cited By ~ 10

Author(s):

Lina Bentakouk ◽

Pascal Poizat ◽

Fatiha Zaïdi

Keyword(s):

Web Services ◽

Smt Solver

Download Full-text

Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21768-5_12 ◽

2011 ◽

pp. 152-170 ◽

Cited By ~ 26

Author(s):

Mathias Soeken ◽

Robert Wille ◽

Rolf Drechsler

Keyword(s):

Data Types

Download Full-text

Tests and Proofs - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

State Coverage Metrics for Specification-Based Testing with Büchi Automata

Security Mutants for Property-Based Testing

Checking Models, Proving Programs, and Testing Systems

Correct Code Containing Containers

Association of Under-Approximation Techniques for Generating Tests from Models

A Random Testing Approach Using Pushdown Automata

Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications

Tests from Proofs

Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver

Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models

Tests and Proofs - Lecture Notes in Computer Science
Latest Publications