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

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319893624, 9783319893631
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Formal Framework for Incremental Model Slicing

2018 ◽  
pp. 3-20
Author(s):  
Gabriele Taentzer ◽  
Timo Kehrer ◽  
Christopher Pietsch ◽  
Udo Kelter
Keyword(s):  
Incremental Model ◽  
Formal Framework

scholarly journals Supporting Verification-Driven Incremental Distributed Design of Components

2018 ◽  
pp. 169-188 ◽  
Author(s):  
Claudio Menghi ◽  
Paola Spoletini ◽  
Marsha Chechik ◽  
Carlo Ghezzi
Keyword(s):  
Distributed Design

scholarly journals CRETE: A Versatile Binary-Level Concolic Testing Framework

2018 ◽  
pp. 281-298 ◽  
Author(s):  
Bo Chen ◽  
Christopher Havlicek ◽  
Zhenkun Yang ◽  
Kai Cong ◽  
Raghudeep Kannavara ◽  
...  
Keyword(s):  
Testing Framework ◽  
Concolic Testing

scholarly journals Fast Computation of Arbitrary Control Dependencies

2018 ◽  
pp. 207-224 ◽  
Author(s):  
Jean-Christophe Léchenet ◽  
Nikolai Kosmatov ◽  
Pascale Le Gall
Keyword(s):  
Fast Computation

scholarly journals FPH: Efficient Non-commutativity Analysis of Feature-Based Systems

2018 ◽  
pp. 319-336 ◽  
Author(s):  
Marsha Chechik ◽  
Ioanna Stavropoulou ◽  
Cynthia Disenfeld ◽  
Julia Rubin
Keyword(s):  
Feature Based
Load More ...
Sign in / Sign up

Export Citation Format

Share Document