Login / Signup
Reducing Verification Effort in Component-Based Software Engineering through Built-In Testing.
Daniel Brenner
Colin Atkinson
Barbara Paech
Rainer Malaka
Matthias Merdes
Dima Suliman
Published in:
EDOC (2006)
Keyphrases
</>
test generation
formal verification
symbolic execution
model checking
testing process
significantly reduced
component based software engineering
software components
multi agent
machine learning
building blocks
database
face verification
formal analysis
source code
case study
asynchronous circuits
genetic algorithm