Hardware and Software: Verification and Testing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642192364, 9783642192371

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bisimulation Minimisations for Boolean Equation Systems

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19237-1_12 ◽

2011 ◽

pp. 102-116 ◽

Cited By ~ 5

Author(s):

Jeroen J. A. Keiren ◽

Tim A. C. Willemse

Keyword(s):

Boolean Equation

Download Full-text

Evaluating Workloads Using Multi-comparative Functional Coverage

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19237-1_9 ◽

2011 ◽

pp. 57-70

Author(s):

Yoram Adler ◽

Shmuel Ur ◽

Dale Blue

Keyword(s):

Functional Coverage

Download Full-text

Reduction of Interrupt Handler Executions for Model Checking Embedded Software

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19237-1_5 ◽

2011 ◽

pp. 5-20 ◽

Cited By ~ 6

Author(s):

Bastian Schlich ◽

Thomas Noll ◽

Jörg Brauer ◽

Lucas Brutschy

Keyword(s):

Model Checking ◽

Embedded Software ◽

Interrupt Handler

Download Full-text

Stacking-Based Context-Sensitive Points-to Analysis for Java

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19237-1_14 ◽

2011 ◽

pp. 133-149 ◽

Cited By ~ 1

Author(s):

Xin Li ◽

Mizuhito Ogawa

Keyword(s):

Context Sensitive

Download Full-text

Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19237-1_13 ◽

2011 ◽

pp. 117-132 ◽

Cited By ~ 13

Author(s):

Gal Katz ◽

Doron Peled

Keyword(s):

Model Checking ◽

Genetic Programming ◽

Leader Election

Download Full-text

Diagnosability of Pushdown Systems

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19237-1_6 ◽

2011 ◽

pp. 21-33 ◽

Cited By ~ 3

Author(s):

Christophe Morvan ◽

Sophie Pinchinat

Download Full-text

DART: Directed Automated Random Testing

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19237-1_4 ◽

2011 ◽

pp. 4-4 ◽

Cited By ~ 3

Author(s):

Koushik Sen

Keyword(s):

Random Testing

Download Full-text

An Explanation-Based Constraint Debugger

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19237-1_8 ◽

2011 ◽

pp. 52-56 ◽

Cited By ~ 2

Author(s):

Aaron Rich ◽

Giora Alexandron ◽

Reuven Naveh

Download Full-text

An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19237-1_15 ◽

2011 ◽

pp. 150-168 ◽

Cited By ~ 4

Author(s):

Daniel Kroening ◽

Georg Weissenbacher

Keyword(s):

Decision Procedure

Download Full-text

Reasoning about Finite-State Switched Systems

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19237-1_10 ◽

2011 ◽

pp. 71-86 ◽

Cited By ~ 2

Author(s):

Dana Fisman ◽

Orna Kupferman

Keyword(s):

Switched Systems ◽

Finite State

Download Full-text

Hardware and Software: Verification and Testing - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Bisimulation Minimisations for Boolean Equation Systems

Evaluating Workloads Using Multi-comparative Functional Coverage

Reduction of Interrupt Handler Executions for Model Checking Embedded Software

Stacking-Based Context-Sensitive Points-to Analysis for Java

Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming

Diagnosability of Pushdown Systems

DART: Directed Automated Random Testing

An Explanation-Based Constraint Debugger

An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions

Reasoning about Finite-State Switched Systems

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science
Latest Publications