Niloofar Razavi

 

 

 

Email: last name @cs.toronto.edu

About Me

I am a PhD graduate from University of Toronto. During my PhD studies, I focused on heuristic-based testing generation techniques for multi-threaded programs under the supervision of Azadeh Farzan. I am interested in software verification, testing, and security.

I was born in Iran and grew up there happily in a very supportive family. I moved to Canada after getting  my masters degree from the University of Tehran on verification of HW/SW designs in SystemC.

Publications

2013

· (Conc)²olic Testing

           with A. Frazan, A. Holzer, H. Veith

           ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE’13)

          paper PDF

· Generating Effective Tests for Concurrent Programs via AI Automated Planning Techniques

           with A. Farzan, S. A. McIlraith

           International Journal on Software Tools for Technology Transfer (STTT’13)

           paper PDF

2012

· Predicting Null-Pointer Dereferences in Concurrent Programs

           with A. Frazan, P. Madhusudan, F. Sorrentino

           ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE’12)

           paper PDF

· Concurrent Test Generation using Concolic Multi-Trace Analysis

           with F. Ivancic, V. Kahlon, A. Gupta

           Asian Symposium on Programming Languages and Systems (APLAS’12)

           paper PDF

· Bounded-Interference Sequentialization for Testing Concurrent Programs

           with A. Farzan, A. Holzer

           International Symposium On Leveraging Applications of Formal Methods, Verification and

          Validation (ISoLA’12)

           paper PDF

2011

· Predicting Atomicity Violations in Concurrent Programs via Planning

           with A. Farzan, S. McIlraith

          Verification and Validation of Planning and Scheduling Systems (VVPS’11)

           paper PDF

2010

· Sysfier: Actor-based Formal Verification of SystemC

           with R. Behjati, H. Sabouri, E. Khamespanah A. Shali and M. Sirjani

           ACM Trans. Embedded Comput. Syst. 10(2): 19(2012)

           paper PDF

2008

· An Effective Approach For Model Checking SystemC Designs

           with R. Behjati, H. Sabouri, M.Sirjani

           International Conference on Application of Concurrency to System Design (ACSD’08)

           paper PDF

2007

· Compositional Semantics of System-Level Designs Written in SystemC

           with M. Sirjani

           International Symposium on Fundamentals of Software Engineering (FSEN’07)

           paper PDF

2006

· Using Reo for Formal Specification and Verification of System Designs

           with M. Sirjani

           International Conference on  Formal Methods and Models for Codesign (MEMOCODE’06)

           paper PDF

Internships

· NEC Laboratories America, I was working in the Systems Analysis and Verification group under supervision of Franjo Ivancic from Jan. to April 2012.

 

Links

Z3 SMT Solver

 

PEX

 

Penelope

 

ConCREST

Home Page

Teaching Assistantships

· CSC108 - Introduction to Computer Programming, summer 2013

· CSC410 - Software Verification and Testing, Winter 2013, Winter 2011

· CSC343 - Introduction to Databases, Fall 2012, Fall 2011, Fall 2010, Winter 2010

· CSC263 - Data Structures and Analysis, Fall 2009