Dynamically discovering likely interface invariants. Csallner, C. & Smaragdakis, Y. In Proc. 28th ACM/IEEE International Conference on Software Engineering (ICSE), Emerging Results Track, pages 861--864, May, 2006. ACM.
bibtex   
@inproceedings{csallner06dynamically,
  author = {Christoph Csallner and Yannis Smaragdakis},
  title = {Dynamically discovering likely interface invariants},
  booktitle = {Proc. 28th ACM/IEEE International Conference on Software Engineering (ICSE),
        Emerging Results Track},
  year = 2006,
  month = may,
  publisher = {ACM},
  pages = {861--864},  
  category = {Reverse Engineering},
  summary = {We propose a two-pass algorithm to support interfaces
    and method overriding in dynamic invariant detection.
    The first pass associates a method call with the method executed and
    all methods it overrides up to and including the static receiver to
    derive the methods' preconditions.
    The second pass associates a method call with every supertype whose
    precondition is met to derive non-conflicting postconditions.},
}
Downloads: 0