Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662466742, 9783662466759
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lazy TSO Reachability

2015 ◽  
pp. 267-282 ◽  
Author(s):  
Ahmed Bouajjani ◽  
Georgel Calin ◽  
Egor Derevenetc ◽  
Roland Meyer

Symbolic Detection of Assertion Dependencies for Bounded Model Checking

2015 ◽  
pp. 186-201 ◽  
Author(s):  
Grigory Fedyukovich ◽  
Andrea Callia D’Iddio ◽  
Antti E. J. Hyvärinen ◽  
Natasha Sharygina
Keyword(s):  
Model Checking ◽  
Bounded Model Checking

scholarly journals Resource Specification for Prototyping Human-Intensive Systems

2015 ◽  
pp. 332-346 ◽  
Author(s):  
Seung Yeob Shin ◽  
Yuriy Brun ◽  
Leon J. Osterweil ◽  
Hari Balasubramanian ◽  
Philip L. Henneman

scholarly journals Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines

2015 ◽  
pp. 84-99 ◽  
Author(s):  
Johannes Bürdek ◽  
Malte Lochau ◽  
Stefan Bauregger ◽  
Andreas Holzer ◽  
Alexander von Rhein ◽  
...  
Keyword(s):  
Software Product Lines ◽  
Test Suite ◽  
Product Lines ◽  
Software Product ◽  
Test Suite Generation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document