New Efficient Techniques for Dynamic Detection of Likely Invariants. - Saeed Parsa; Behrouz Minaei; Mojtaba Daryabari; Hamid Parvin (ICANNGA (1), 2011)

Localizing Program Logical Errors Using Extraction of Knowledge from Invariants. - Mojtaba Daryabari; Behrouz Minaei-Bidgoli; Hamid Parvin (SEA, 2011)