Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Della Penna, Giuseppe; Tofani, Alberto; Pecorari, Marcello; Raparelli, Orazio; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico |
A Case Study on Automated Generation of Integration Tests |
2006 |
Fdl |
Ecsi |
978-3-00-019710-9 |
|
|
|
278-284 |
Ciancamerla, Ester; Minichino, Michele; Serro, Stefano; Tronci, Enrico |
Automatic Timeliness Verification of a Public Mobile Network |
2003 |
22nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP) |
Springer |
978-3-540-20126-7 |
|
10.1007/978-3-540-39878-3_4 |
|
35-48 |
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico |
Flexible Timeline-Based Plan Verification |
2009 |
KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings |
Springer |
978-3-642-04616-2 |
|
10.1007/978-3-642-04617-9_7 |
|
49-56 |