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

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642396106, 9783642396113
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Automated Reencoding of Boolean Formulas

2013 ◽  
pp. 102-117 ◽  
Author(s):  
Norbert Manthey ◽  
Marijn J. H. Heule ◽  
Armin Biere
Keyword(s):  
Boolean Formulas

Leveraging Accelerated Simulation for Floating-Point Regression

2013 ◽  
pp. 118-131
Author(s):  
John Paul ◽  
Elena Guralnik ◽  
Anatoly Koyfman ◽  
Amir Nahir ◽  
Subrat K. Panda
Keyword(s):  
Floating Point ◽  
Accelerated Simulation

Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation

2013 ◽  
pp. 132-147 ◽  
Author(s):  
Charlie Shucheng Zhu ◽  
Georg Weissenbacher ◽  
Sharad Malik
Keyword(s):  
Signal Selection ◽  
Selection For

scholarly journals Precise Detection of Atomicity Violations

2013 ◽  
pp. 8-23 ◽  
Author(s):  
Ricardo J. Dias ◽  
Vasco Pessanha ◽  
João M. Lourenço
Keyword(s):  
Atomicity Violations

A New Test-Generation Methodology for System-Level Verification of Production Processes

2013 ◽  
pp. 178-192 ◽  
Author(s):  
Allon Adir ◽  
Alex Goryachev ◽  
Lev Greenberg ◽  
Tamer Salman ◽  
Gil Shurek
Keyword(s):  
Test Generation ◽  
System Level ◽  
Production Processes

Repair with On-The-Fly Program Analysis

2013 ◽  
pp. 56-71 ◽  
Author(s):  
Robert Könighofer ◽  
Roderick Bloem
Keyword(s):  
Program Analysis

scholarly journals FoREnSiC– An Automatic Debugging Environment for C Programs

2013 ◽  
pp. 260-265 ◽  
Author(s):  
Roderick Bloem ◽  
Rolf Drechsler ◽  
Görschwin Fey ◽  
Alexander Finder ◽  
Georg Hofferek ◽  
...  
Keyword(s):  
C Programs

scholarly journals MaxSAT-Based MCS Enumeration

2013 ◽  
pp. 86-101 ◽  
Author(s):  
Antonio Morgado ◽  
Mark Liffiton ◽  
Joao Marques-Silva
Load More ...
Sign in / Sign up

Export Citation Format

Share Document