Login / Signup
Generation of and Debugging with Logical Pre and Post-Conditions.
Ángel Herranz-Nieva
Juan José Moreno-Navarro
Published in:
AADEBUG (2000)
Keyphrases
</>
sufficient conditions
fault localization
generation process
database
databases
case study
object oriented
software engineering
environmental conditions
probabilistic logic
generation algorithm