Inferring specifications to detect errors in code.

Mana Taghdiri Daniel Jackson

Published in: Autom. Softw. Eng. (2007)

Keyphrases

code generation
detection method
error detection
source code
detection algorithm
delay insensitive
automatic detection
social networks
knowledge base
real time
specification language
operating system
unit testing
high level
data mining
databases
data sets