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

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319490519, 9783319490526
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Iterative User-Driven Fault Localization

2016 ◽  
pp. 82-98 ◽  
Author(s):  
Xiangyu Li ◽  
Marcelo d’Amorim ◽  
Alessandro Orso
Keyword(s):  
Fault Localization

Gating Aware Error Injection

2016 ◽  
pp. 34-48 ◽  
Author(s):  
Eli Arbel ◽  
Erez Barak ◽  
Bodo Hoppe ◽  
Shlomit Koyfman ◽  
Udo Krautz ◽  
...  

Predator Shape Analysis Tool Suite

2016 ◽  
pp. 202-209 ◽  
Author(s):  
Lukáš Holík ◽  
Michal Kotoun ◽  
Petr Peringer ◽  
Veronika Šoková ◽  
Marek Trtík ◽  
...  
Keyword(s):  
Shape Analysis ◽  
Analysis Tool

scholarly journals Synthesis of Admissible Shields

2016 ◽  
pp. 134-151 ◽  
Author(s):  
Laura Humphrey ◽  
Bettina Könighofer ◽  
Robert Könighofer ◽  
Ufuk Topcu

scholarly journals Improving Priority Promotion for Parity Games

2016 ◽  
pp. 117-133 ◽  
Author(s):  
Massimo Benerecetti ◽  
Daniele Dell’Erba ◽  
Fabio Mogavero
Keyword(s):  
Parity Games

scholarly journals SAT-Based Combinational and Sequential Dependency Computation

2016 ◽  
pp. 1-17 ◽  
Author(s):  
Mathias Soeken ◽  
Pascal Raiola ◽  
Baruch Sterin ◽  
Bernd Becker ◽  
Giovanni De Micheli ◽  
...  
Keyword(s):  
Sequential Dependency
Load More ...
Sign in / Sign up

Export Citation Format

Share Document