| |
| 2005 | ||
|---|---|---|
| 2 | EE | Antonio Bucchiarone, Stefania Gnesi, P. Pierini: Quality Analysis of NL Requirements: An Industrial Case Study. RE 2005: 390-394 |
| 2004 | ||
| 1 | EE | Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, P. Pierini: Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. FORTE Workshops 2004: 351-365 |
| 1 | Antonio Bucchiarone | [1] [2] |
| 2 | Stefania Gnesi | [2] |
| 3 | Henry Muccini | [1] |
| 4 | Patrizio Pelliccione | [1] |