Christoph Csallner, Yannis Smaragdakis
Dynamically discovering likely interface invariants
ICSE, 2006.
@inproceedings{ICSE-2006-CsallnerS, author = "Christoph Csallner and Yannis Smaragdakis", booktitle = "{Proceedings of the 28th International Conference on Software Engineering}", doi = "10.1145/1134435", editor = "Leon J. Osterweil and Hans Dieter Rombach and Mary Lou Soffa", isbn = "1-59593-375-1", pages = "861--864", publisher = "{ACM}", title = "{Dynamically discovering likely interface invariants}", year = 2006, }