italiano | contact
PUBLICATION

Model-Checking plus Testing: from Software Architecture Analysis to Code Testing

A. Bucchiarone, H. Muccini, P. Pelliccione, P. Pierini

1st International Workshop on Integration of Testing Methodologies (ITM 2004). October 1 -- 2 ,2004, Toledo, Spain. LNCS n.3236. pp 351-365., 2004

Contact: ,

 
 
 
 

Organization

Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›
 
 
 
 

Publications

Numerous articles published in international scientific journals, books, and ...

continua ›
 
 
 
 

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›