Mojtaba Daryabari

New Efficient Techniques for Dynamic Detection of Likely Invariants

Saeed Parsa, Hamid Parvin, Behrouz Minaei-Bidgoli, 2011, ICANNGA.

Localizing Program Errors Based on Invariant Concept

Hamid Parvin, Mojtaba Daryabari, Behrouz Minaei, 2012 .

Localizing Program Logical Errors Using Extraction of Knowledge from Invariants

Hamid Parvin, Behrouz Minaei-Bidgoli, Mojtaba Daryabari, 2011, SEA.