Sciweavers

KBSE
2002
IEEE
13 years 9 months ago
Assumption Generation for Software Component Verification
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...
KBSE
2002
IEEE
13 years 9 months ago
SeDiTeC - Testing Based on Sequence Diagrams
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
Falk Fraikin, Thomas Leonhardt
KBSE
2002
IEEE
13 years 9 months ago
Generating Product-Lines of Product-Families
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
Don S. Batory, Roberto E. Lopez-Herrejon, Jean-Phi...
KBSE
2002
IEEE
13 years 9 months ago
A Framework for Automatic Debugging
This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. Th...
Mikhail Auguston, Clinton Jeffery, Scott Underwood
KBSE
2002
IEEE
13 years 9 months ago
Process Support for Tools Interoperability
Commercial tools are heavily used, relatively cheap, well maintained, and provide powerful functionalities. However, composing these tools in order to build larger applications ra...
Anh-Tuyet Le