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

9783540708889, 9783540708896

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification of Data Paths Using Unbounded Integers: Automata Strike Back

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

10.1007/978-3-540-70889-6_5 ◽

2007 ◽

pp. 65-80 ◽

Cited By ~ 2

Author(s):

Tobias Schuele ◽

Klaus Schneider

Download Full-text

Model-Driven Development with the jABC

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

10.1007/978-3-540-70889-6_7 ◽

2007 ◽

pp. 92-108 ◽

Cited By ~ 90

Author(s):

Bernhard Steffen ◽

Tiziana Margaria ◽

Ralf Nagel ◽

Sven Jörges ◽

Christian Kubczak

Keyword(s):

Model Driven Development ◽

Model Driven

Download Full-text

A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs

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

10.1007/978-3-540-70889-6_13 ◽

2007 ◽

pp. 166-182 ◽

Cited By ~ 21

Author(s):

Koushik Sen ◽

Gul Agha

Keyword(s):

Automated Testing ◽

Race Detection

Download Full-text

Evolutionary Testing: A Case Study

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

10.1007/978-3-540-70889-6_12 ◽

2007 ◽

pp. 155-165 ◽

Cited By ~ 7

Author(s):

Stella Levin ◽

Amiram Yehudai

Keyword(s):

Evolutionary Testing

Download Full-text

A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques

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

10.1007/978-3-540-70889-6_9 ◽

2007 ◽

pp. 122-123

Author(s):

Shmuel Ur

Keyword(s):

Software Testing ◽

Hardware Verification ◽

Unpaved Road ◽

Testing Techniques

Download Full-text

Automatic Fault Localization for Property Checking

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

10.1007/978-3-540-70889-6_4 ◽

2007 ◽

pp. 50-64 ◽

Cited By ~ 5

Author(s):

Stefan Staber ◽

Görschwin Fey ◽

Roderick Bloem ◽

Rolf Drechsler

Keyword(s):

Fault Localization

Download Full-text

Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation

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

10.1007/978-3-540-70889-6_2 ◽

2007 ◽

pp. 16-33 ◽

Cited By ~ 1

Author(s):

Amir Nahir ◽

Yossi Shiloach ◽

Avi Ziv

Keyword(s):

Linear Programming ◽

Test Case Generation ◽

Test Case ◽

Random Test ◽

Programming Techniques

Download Full-text

An Open Source Simulation Model of Software Development and Testing

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

10.1007/978-3-540-70889-6_10 ◽

2007 ◽

pp. 124-137 ◽

Cited By ~ 1

Author(s):

Shmuel Ur ◽

Elad Yom-Tov ◽

Paul Wernick

Keyword(s):

Software Development ◽

Simulation Model ◽

Open Source

Download Full-text

Smart-Lint: Improving the Verification Flow

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

10.1007/978-3-540-70889-6_6 ◽

2007 ◽

pp. 81-91

Author(s):

Itai Yarom ◽

Viji Patil

Download Full-text

Extracting a Simplified View of Design Functionality Based on Vector Simulation

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

10.1007/978-3-540-70889-6_3 ◽

2007 ◽

pp. 34-49 ◽

Cited By ~ 2

Author(s):

Onur Guzey ◽

Charles Wen ◽

Li-C. Wang ◽

Tao Feng ◽

Hillel Miller ◽

...

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Verification of Data Paths Using Unbounded Integers: Automata Strike Back

Model-Driven Development with the jABC

A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs

Evolutionary Testing: A Case Study

A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques

Automatic Fault Localization for Property Checking

Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation

An Open Source Simulation Model of Software Development and Testing

Smart-Lint: Improving the Verification Flow

Extracting a Simplified View of Design Functionality Based on Vector Simulation

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