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

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642288715, 9783642288722
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals The SynchAADL2Maude Tool

2012 ◽  
pp. 59-62 ◽  
Author(s):  
Kyungmin Bae ◽  
Peter Csaba Ölveczky ◽  
José Meseguer ◽  
Abdullah Al-Nayeem

scholarly journals On the Danger of Coverage Directed Test Case Generation

2012 ◽  
pp. 409-424 ◽  
Author(s):  
Matt Staats ◽  
Gregory Gay ◽  
Michael Whalen ◽  
Mats Heimdahl
Keyword(s):  
Test Case Generation ◽  
Test Case

scholarly journals Model-Based Filtering of Combinatorial Test Suites

2012 ◽  
pp. 439-454
Author(s):  
Taha Triki ◽  
Yves Ledru ◽  
Lydie du Bousquet ◽  
Frédéric Dadeau ◽  
Julien Botella
Keyword(s):  
Model Based ◽  
Test Suites

scholarly journals Graph Transforming Java Data

2012 ◽  
pp. 209-223 ◽  
Author(s):  
Maarten de Mol ◽  
Arend Rensink ◽  
James J. Hunt

scholarly journals Model-Driven Techniques to Enhance Architectural Languages Interoperability

2012 ◽  
pp. 26-42 ◽  
Author(s):  
Davide Di Ruscio ◽  
Ivano Malavolta ◽  
Henry Muccini ◽  
Patrizio Pelliccione ◽  
Alfonso Pierantonio
Keyword(s):  
Model Driven

scholarly journals Reduction of Test Suites Using Mutation

2012 ◽  
pp. 425-438 ◽  
Author(s):  
Macario Polo Usaola ◽  
Pedro Reales Mateo ◽  
Beatriz Pérez Lamancha
Keyword(s):  
Test Suites
Load More ...
Sign in / Sign up

Export Citation Format

Share Document