Program Debugging and Validation Using Semantic Approximations and Partial Specifications.
Manuel V. HermenegildoGermán PueblaFrancisco BuenoPedro López-GarcíaPublished in: ICALP (2002)
Keyphrases
- xml documents
- semantic information
- high level
- semantic knowledge
- natural language
- semantic analysis
- delay insensitive
- semantic constraints
- semantic representation
- semantic web
- semantic similarity
- closed form
- semantic level
- conceptual graphs
- domain specific
- multimedia
- database
- software development
- functional requirements
- co occurrence
- specification language
- natural language understanding
- genetic algorithm
- semantically equivalent
- machine learning