Program Testing: A Problem
Now that we know how to solve simple functional equations, we will start the discussion of another computer science area where these equations are useful: the problem of software reliability. In this lesson, we will briefly describe the problem, and describe its current (semi-heuristic) solutions.
Unable to display preview. Download preview PDF.
- ▪.E. M. Clarke and R. P. Kurshan (eds.). Computer-aided verification’90. Proceedings of a DIMACS Workshop, American Mathematical Society, Providence, RI, 1991.Google Scholar
- ▪.P. Cousot, “Methods and logics for proving programs”, In: J. van Leeuwen (ed.) Handbook of Theoretical Computer Science, Vol. B, Elsevier, Amsterdam, 1990, pp. 843–982.Google Scholar