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

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319030760, 9783319030777
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors

2013 ◽  
pp. 182-198 ◽  
Author(s):  
Andreas Abel ◽  
Allon Adir ◽  
Torsten Blochwitz ◽  
Lev Greenberg ◽  
Tamer Salman
Keyword(s):  
Hybrid Systems ◽  
Complex Hybrid

scholarly journals Domain Types: Abstract-Domain Selection Based on Variable Usage

2013 ◽  
pp. 262-278 ◽  
Author(s):  
Sven Apel ◽  
Dirk Beyer ◽  
Karlheinz Friedberger ◽  
Franco Raimondi ◽  
Alexander von Rhein
Keyword(s):  
Domain Selection

SLAM: SLice And Merge - Effective Test Generation for Large Systems

2013 ◽  
pp. 151-165
Author(s):  
Tali Rabetti ◽  
Ronny Morad ◽  
Alex Goryachev ◽  
Wisam Kadry ◽  
Richard D. Peterson
Keyword(s):  
Test Generation ◽  
Large Systems

scholarly journals Modbat: A Model-Based API Tester for Event-Driven Systems

2013 ◽  
pp. 112-128 ◽  
Author(s):  
Cyrille Valentin Artho ◽  
Armin Biere ◽  
Masami Hagiya ◽  
Eric Platon ◽  
Martina Seidl ◽  
...  
Keyword(s):  
Driven Systems ◽  
Model Based ◽  
Event Driven
Load More ...
Sign in / Sign up

Export Citation Format

Share Document