PT Unknown AU Della Penna, G Tofani, A Pecorari, M Raparelli, O Intrigila, B Melatti, I Tronci, E TI A Case Study on Automated Generation of Integration Tests SE Fdl PY 2006 BP 278 EP 284 ER