@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.},
}

{"_id":"9P3qkNQXifwmqHmtY","bibbaseid":"csallner-smaragdakis-dynamicallydiscoveringlikelyinterfaceinvariants-2006","downloads":0,"creationDate":"2017-05-18T00:10:12.862Z","title":"Dynamically discovering likely interface invariants","author_short":["Csallner, C.","Smaragdakis, Y."],"year":2006,"bibtype":"inproceedings","biburl":"http://ranger.uta.edu/~csallner/papers/csallner.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Csallner"],"suffixes":[]},{"firstnames":["Yannis"],"propositions":[],"lastnames":["Smaragdakis"],"suffixes":[]}],"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.","bibtex":"@inproceedings{csallner06dynamically,\r\n author = {Christoph Csallner and Yannis Smaragdakis},\r\n title = {Dynamically discovering likely interface invariants},\r\n booktitle = {Proc. 28th ACM/IEEE International Conference on Software Engineering (ICSE),\r\n Emerging Results Track},\r\n year = 2006,\r\n month = may,\r\n publisher = {ACM},\r\n pages = {861--864}, \r\n category = {Reverse Engineering},\r\n summary = {We propose a two-pass algorithm to support interfaces\r\n and method overriding in dynamic invariant detection.\r\n The first pass associates a method call with the method executed and\r\n all methods it overrides up to and including the static receiver to\r\n derive the methods' preconditions.\r\n The second pass associates a method call with every supertype whose\r\n precondition is met to derive non-conflicting postconditions.},\r\n}\r\n\r\n","author_short":["Csallner, C.","Smaragdakis, Y."],"key":"csallner06dynamically","id":"csallner06dynamically","bibbaseid":"csallner-smaragdakis-dynamicallydiscoveringlikelyinterfaceinvariants-2006","role":"author","urls":{},"downloads":0},"search_terms":["dynamically","discovering","interface","invariants","csallner","smaragdakis"],"keywords":[],"authorIDs":[],"dataSources":["bS8bwjSktjpmMpkn5"]}