Debugging Maude programs via runtime assertion checking and trace slicing.
María AlpuenteDemis BallisFrancisco FrechinaJulia SapiñaPublished 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