Showing papers by "Alberto Coen-Porisini published in 1990"

TL;DR: This paper presents a tool (SYMBAD) that provides an environment in which it is possible to perform both symbolic testing and verification on sequential Ada components and can be used to find out which restrictions must be placed on input variables of a program in order to execute a particular path.