Slicing from formal semantics: Chisel - a tool for generic program slicing.
Irina Mariuca AsavoaeMihail AsavoaeAdrián RiescoPublished in: Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
- formal semantics
- program slicing
- description languages
- fault localization
- source code
- formal verification
- reverse engineering
- logical language
- modelling language
- first order logic
- description language
- modeling language
- owl dl ontology
- software maintenance
- open source
- artificial intelligence
- theorem prover
- software systems
- domain specific
- machine learning