Name Card

Full name Familienname, Vorname

Razavi, Niloofar

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut	Concolic Testing of Concurrent Programs	Präsentation Presentation	2014
	2		Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut	Concolic Testing of Concurrent Programs	Konferenzbeitrag Inproceedings	2014
	3		Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut	Con2colic testing	Konferenzbeitrag Inproceedings	2013
	4		Razavi, Niloofar ; Farzan, Azadeh ; Holzer, Andreas	Bounded-Interference Sequentialization for Testing Concurrent Programs	Konferenzbeitrag Inproceedings	2012