SeyedMojtaba Daryabari

Graduate Student, Iran University of Science and Technology, 2008-2011 • Developed New Efficient Techniques for Dynamic Detection of Likely Program Invariants as master’s thesis. • Researched on Systems for dynamic detection of likely invariant as master’s thesis. • Develop a new framework for Localizing Program Errors Based on Invariant Concept. Undergraduate Student, Iran University of Science and Technology, 2002-2007 • Developed a new software for sending picture via Bluetooth by java language as bachelors final project • Designed a simple hardwired CPU simulation as course project for computer architecture • Developed a selling software system for travel agencies as course project for software engineering I. • Developed a fully developed calculator by Assembly language as course project for machine languages and Assembly. • Developed chess game by C++ language as course project for advance Computer Programming. • Developed Minesweeper by Pascal language as course project for basic Computer Programming. Publications Journal Papers: 1. Mojtaba Daryabari, Hamid Parvin, Moslem Mohammadi and ,Behrouz Minaei, "Localizing Program Errors Based on Invariant Concept", JCIT: Journal of Convergence Information Technology, Vol. 7, No. 1, pp. 203 ~ 213, 2012 Book Chapters in LNCS: 1. Saeed Parsa, Behrouz Minaei, Mojtaba Daryabari, Hamid Parvin: "New Efficient Techniques for Dynamic Detection of Likely Invariants". ICANNGA (1) 2011: 381-390 2. Mojtaba Daryabari, Behrouz Minaei-Bidgoli, Hamid Parvin: "Localizing Program Logical Errors Using Extraction of Knowledge from Invariants". SEA 2011: 124-135