Localizing Program Logical Errors Using Extraction of Knowledge from Invariants.
Mojtaba DaryabariBehrouz Minaei-BidgoliHamid ParvinPublished in: SEA (2011)
Keyphrases
- knowledge extraction
- knowledge base
- knowledge sharing
- domain knowledge
- knowledge representation
- logical representation
- computer programs
- automatic extraction
- knowledge based systems
- knowledge acquisition
- learning systems
- concept maps
- knowledge transfer
- knowledge discovery
- expert systems
- representing knowledge
- practical experience
- data sets
- background knowledge
- information extraction
- prior knowledge