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 Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme

2015 ◽  
pp. 115-129 ◽  
Author(s):  
David Landsberg ◽  
Hana Chockler ◽  
Daniel Kroening ◽  
Matt Lewis

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

The Prophecy of Undo

2015 ◽  
pp. 347-361 ◽  
Author(s):  
Martín Abadi

scholarly journals Exploring Scenario Exploration

2015 ◽  
pp. 301-315 ◽  
Author(s):  
Nuno Macedo ◽  
Alcino Cunha ◽  
Tiago Guimarães

BPEL Integration Testing

2015 ◽  
pp. 69-83 ◽  
Author(s):  
Seema Jehan ◽  
Ingo Pill ◽  
Franz Wotawa
Keyword(s):  
Integration Testing

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

scholarly journals Composing Message Translators and Inferring Their Data Types Using Tree Automata

2015 ◽  
pp. 35-50 ◽  
Author(s):  
Emil Andriescu ◽  
Thierry Martinez ◽  
Valérie Issarny
Keyword(s):  
Tree Automata ◽  
Data Types
Load More ...
Sign in / Sign up

Export Citation Format

Share Document