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

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540779643, 9783540779667
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Locating Regression Bugs

2008 ◽  
pp. 218-234 ◽  
Author(s):  
Dor Nir ◽  
Shmuel Tyszberowicz ◽  
Amiram Yehudai

Reactivity in SystemC Transaction-Level Models

2008 ◽  
pp. 34-50
Author(s):  
Frederic Doucet ◽  
R. K. Shyamasundar ◽  
Ingolf H. Krüger ◽  
Saurabh Joshi ◽  
Rajesh K. Gupta
Keyword(s):  
Transaction Level

The Advantages of Post-Link Code Coverage

2008 ◽  
pp. 235-251
Author(s):  
Orna Raz ◽  
Moshe Klausner ◽  
Nitzan Peleg ◽  
Gad Haber ◽  
Eitan Farchi ◽  
...  
Keyword(s):  
Code Coverage

Test Case Generation for Ultimately Periodic Paths

2008 ◽  
pp. 120-135 ◽  
Author(s):  
Saddek Bensalem ◽  
Doron Peled ◽  
Hongyang Qu ◽  
Stavros Tripakis ◽  
Lenore Zuck
Keyword(s):  
Test Case Generation ◽  
Test Case
Load More ...
Sign in / Sign up

Export Citation Format

Share Document