au.\*:("CADAR, Cristian")
Results 1 to 2 of 2
Selection :
Symbolic Execution for Software Testing: Three Decades LaterCADAR, Cristian; SEN, Koushik.Communications of the ACM. 2013, Vol 56, Num 2, pp 82-90, issn 0001-0782, 9 p.Article
Execution generated test cases : How to make systems code crash itselfCADAR, Cristian; ENGLER, Dawson.Lecture notes in computer science. 2005, pp 2-23, issn 0302-9743, isbn 3-540-28195-9, 22 p.Conference Paper