Static Specification Analysis for Termination of Specification-Based Data Structure Repair.

Brian Demsky Martin C. Rinard

Published in: ISSRE (2003)

Keyphrases

data structure
statistical analysis
artificial intelligence
quantitative analysis
data sets
bayesian networks
data analysis
image analysis
e learning
web services
high level
requirements analysis