Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development.
Leonardo Mendonça de MouraNikolaj BjørnerPublished in: IJCAR (2010)
Keyphrases
- symbolic reasoning
- software development
- software projects
- software systems
- symbolic representation
- software engineering
- production rules
- source code
- case study
- software maintenance
- development process
- test cases
- diagrammatic reasoning
- real world
- knowledge discovery
- high level
- decision trees
- truth maintenance systems
- artificial intelligence