Login / Signup
Debugging Maude programs via runtime assertion checking and trace slicing.
María Alpuente
Demis Ballis
Francisco Frechina
Julia Sapiña
Published in:
J. Log. Algebraic Methods Program. (2016)
Keyphrases
</>
program slicing
fault localization
source code
description languages
formal verification
execution traces
java programs
hardware designs
reverse engineering
formal specification
software testing
neural network
equational theories
data sets
novice programmers
model based diagnosis
model checking
open source
genetic algorithm
software metrics
automatic programming
programming environment
computer programs
software systems