Search for dissertations about: "Gerardo Schneider"
Found 2 swedish dissertations containing the words Gerardo Schneider.
-
1. Procedure-Modular Verification of Temporal Safety Properties
Abstract : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. READ MORE
-
2. Modeling and Model-Based Testing of Software Product Lines
Abstract : Software product line (SPL) engineering has become common practice for mass production and customization of variability intensive systems. A software product line comprises a family of software systems which share a managed core set of artifacts and also have a set of well-defined variabilities. READ MORE