Istituto di Scienza e Tecnologie dell'Informazione     
Marzullo C., Mazzanti F. Towards the static detection of erroneous executions in Ada 95. In: 9th International Software Quality Week (San Francisco, 1996). Proceedings, pp. 1 - 15. 1996.
Being absolutely certain that a program execution will not result in unpredictable behaviour is very difficult. Although there is no way to avoid the underlying theoretical difficulties, we believe that a human-centered approach in exploiting advanced static analysis techniques is a viable solution. This paper presents some preliminary results of a feasibility study on this subject, which is currently underway at the I.E.I.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional