Extensible Dynamic Analysis for JML : A Case Study with Loop Annotations

@inproceedings{Haddad2008ExtensibleDA,
  title={Extensible Dynamic Analysis for JML : A Case Study with Loop Annotations},
  author={Ghaith Haddad and Gary T. Leavens},
  year={2008}
}
Modern programming languages, such as Java, are large and complex, as are practically useful behavioral interface specification languages that extend them, such as JML. Their size and complexity make it difficult for researchers to build dynamic analysis tools, such as runtime assertion checkers. Researchers wishing to experiment with a small change to a specification language or a dynamic analysis face a prohibitive amount of work before they can run experiments. Even if a research prototype… CONTINUE READING