Saeed Parsa, Behrouz Minaei, Mojtaba Daryabari, Hamid Parvin. New Efficient Techniques for Dynamic Detection of Likely Invariants. In Andrej Dobnikar, Uros Lotric, Branko Ster, editors, Adaptive and Natural Computing Algorithms - 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I. Volume 6593 of Lecture Notes in Computer Science, pages 381-390, Springer, 2011. [doi]
Abstract is missing.