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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540326045, 9783540326052

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems

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

10.1007/11678779_13 ◽

2006 ◽

pp. 177-190 ◽

Cited By ~ 2

Author(s):

Roberto Jung Drebes ◽

Gabriela Jacques-Silva ◽

Joana Matos Fonseca da Trindade ◽

Taisy Silva Weber

Keyword(s):

Distributed Systems

Download Full-text

Verification of the Java Causality Requirements

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

10.1007/11678779_16 ◽

2006 ◽

pp. 224-246 ◽

Cited By ~ 2

Author(s):

Sergey Polyakov ◽

Assaf Schuster

Download Full-text

Simultaneous SAT-Based Model Checking of Safety Properties

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

10.1007/11678779_5 ◽

2006 ◽

pp. 56-75 ◽

Cited By ~ 9

Author(s):

Zurab Khasidashvili ◽

Alexander Nadel ◽

Amit Palti ◽

Ziyad Hanna

Keyword(s):

Model Checking ◽

Safety Properties

Download Full-text

Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring

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

10.1007/11678779_14 ◽

2006 ◽

pp. 191-207 ◽

Cited By ~ 25

Author(s):

Rahul Agarwal ◽

Liqiang Wang ◽

Scott D. Stoller

Keyword(s):

Static Analysis ◽

Run Time

Download Full-text

Assisting the Code Review Process Using Simple Pattern Recognition

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

10.1007/11678779_8 ◽

2006 ◽

pp. 103-115 ◽

Cited By ~ 2

Author(s):

Eitan Farchi ◽

Bradley R. Harrington

Keyword(s):

Pattern Recognition ◽

Review Process ◽

Simple Pattern ◽

Code Review

Download Full-text

Assertion-Based Verification for the SpaceCAKE Multiprocessor – A Case Study

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

10.1007/11678779_4 ◽

2006 ◽

pp. 43-55

Author(s):

Milind Kulkarni ◽

Benita Bommi J.

Download Full-text

Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains

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

10.1007/11678779_11 ◽

2006 ◽

pp. 149-157

Author(s):

Yosi Ben-Asher ◽

Igor Breger ◽

Eitan Farchi ◽

Ilia Gordon

Download Full-text

Production-Testing of Embedded Systems with Aspects

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

10.1007/11678779_7 ◽

2006 ◽

pp. 90-102 ◽

Cited By ~ 5

Author(s):

Jani Pesonen ◽

Mika Katara ◽

Tommi Mikkonen

Keyword(s):

Embedded Systems ◽

Production Testing

Download Full-text

Path-Based System Level Stimuli Generation

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

10.1007/11678779_1 ◽

2006 ◽

pp. 1-13 ◽

Cited By ~ 1

Author(s):

Shady Copty ◽

Itai Jaeger ◽

Yoav Katz

Keyword(s):

System Level

Download Full-text

Choosing Among Alternative Futures

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

10.1007/11678779_17 ◽

2006 ◽

pp. 247-264

Author(s):

Steve MacDonald ◽

Jun Chen ◽

Diego Novillo

Keyword(s):

Alternative Futures

Download Full-text

Lecture Notes in Computer Science - Hardware and Software, Verification and TestingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems

Verification of the Java Causality Requirements

Simultaneous SAT-Based Model Checking of Safety Properties

Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring

Assisting the Code Review Process Using Simple Pattern Recognition

Assertion-Based Verification for the SpaceCAKE Multiprocessor – A Case Study

Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains

Production-Testing of Embedded Systems with Aspects

Path-Based System Level Stimuli Generation

Choosing Among Alternative Futures

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