English Version

Conferinta CUTE: A Concolic Unit Testing Engine for C

 

UNIVERSITATEA DIN BUCURESTI
FACULTATEA DE MATEMATICA SI INFORMATICA

CATEDRA DE FUNDAMENTELE INFORMATICII


A N U N T A


Prof. Dr. DARKO MARINOV

De la Universitatea URBANA-CHAMPAIGN, ILLINOIS, USA




Va sustine conferinta cu tema :


"CUTE: A Concolic Unit Testing Engine for C"



in data de LUNI, 27 Iunie 2005, ora 14:00, in amfiteatrul Stoilow (etaj I)


2002 - 2015 -- Facultatea de Matematica si Informatica, Universitatea din Bucuresti
Str. Academiei nr. 14, sector 1, C.P. 010014, Bucuresti, Romania
Tel: (4-021) 314 2863, Fax: (4-021) 315 6990, secretariat  fmi.unibuc.ro