Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642029486, 9783642029493

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification, Testing and Statistics

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02949-3_2 ◽

2009 ◽

pp. 6-9

Author(s):

Aditya Nori ◽

Sriram K. Rajamani

Download Full-text

Development of a Generic Voter under FoCal

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02949-3_3 ◽

2009 ◽

pp. 10-26 ◽

Author(s):

Philippe Ayrault ◽

Thérèse Hardin ◽

François Pessaux

Download Full-text

Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02949-3_12 ◽

2009 ◽

pp. 153-168 ◽

Author(s):

Stefan Ratschan ◽

Jan-Georg Smaus

Keyword(s):

Download Full-text

Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02949-3_11 ◽

2009 ◽

pp. 137-152 ◽

Author(s):

Nicolas Rapin

Keyword(s):

Model Checking ◽

Open Systems ◽

Symbolic Execution

Download Full-text

Complementary Criteria for Testing Temporal Logic Properties

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02949-3_6 ◽

2009 ◽

pp. 58-73 ◽

Author(s):

Gordon Fraser ◽

Franz Wotawa

Keyword(s):

Download Full-text

Security Testing and Formal Methods for High Levels Certification of Smart Cards

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02949-3_1 ◽

2009 ◽

pp. 1-5 ◽

Author(s):

Boutheina Chetali

Keyword(s):

Formal Methods ◽

Smart Cards ◽

Security Testing

Download Full-text

Could We Have Chosen a Better Loop Invariant or Method Contract?

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02949-3_7 ◽

2009 ◽

pp. 74-89 ◽

Author(s):

Christoph Gladisch

Keyword(s):

Download Full-text

Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02949-3_10 ◽

2009 ◽

pp. 121-136 ◽

Author(s):

Paula Herber ◽

Florian Friedemann ◽

Sabine Glesner

Keyword(s):

Model Checking ◽

Verification Process

Download Full-text

Dynamic Symbolic Execution for Testing Distributed Objects

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02949-3_9 ◽

2009 ◽

pp. 105-120 ◽

Author(s):

Andreas Griesmayer ◽

Bernhard Aichernig ◽

Einar Broch Johnsen ◽

Rudolf Schlatte

Keyword(s):

Symbolic Execution ◽

Distributed Objects ◽

Dynamic Symbolic Execution

Download Full-text

Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02949-3_4 ◽

2009 ◽

pp. 27-42 ◽

Author(s):

Andrea Calvagna ◽

Angelo Gargantini

Keyword(s):

Interaction Testing ◽

Satisfiability Solving ◽

Combinatorial Interaction Testing

Download Full-text