A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications.
Isabel NunesFilipe LuísPublished in: ICST Workshops (2013)
Keyphrases
- object oriented
- fault detection
- programming language
- source code
- post processing
- web services
- higher order
- database applications
- fault diagnosis
- multiple faults
- data sets
- delay insensitive
- development environment
- software components
- efficient implementation
- test cases
- multi agent systems
- high level
- knowledge base
- neural network