• Patrick Cousot & Radhia Cousot.
Abstract Interpretation Based Program Testing.
Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, Compact disk paper 248 and electronic proceedings http://www.ssgrr.it/en/ssgrr2000/proceedings.htm, L'Aquila, Rome, Italy, July 31 — August 6, 2000.

• Paper: PDF (284 Ko)

• Abstract: Every one can daily experiment that programs are bugged. Software bugs can have severe if not catastrophic consequences in computer-based safety critical applications. This impels the development of formal methods, whether manual, computer-assisted or automatic, for verifying that a program satisfies a specification. Among the automatic formal methods, program static analysis can be used to check for the absence of run-time errors. In this case the specification is provided by the semantics of the programming language in which the program is written. Abstract interpretation provides a formal theory for approximating this semantics, which leads to completely automated tools where run-time bugs can be statically and safely classified as unreachable, certain, impossible or potential. We discuss the extension of these techniques to abstract testing where specifications are provided by the programmers. Abstract testing is compared to program debugging and model-checking.

• Slides of the 25mn SSGRR'00 presentation are available in 4 slides per A4 landscape sheet format .pdf (98 KB).

• \bibitem{CousotCousot-SSGRR-00}
P{.} Cousot and R{.} Cousot.
\newblock Abstract Interpretation Based Program Testing.
\newblock In {\em Proceedings of the SSGRR 2000 Computer \& eBusiness
International Conference}, Compact disk paper 248 and electronic
proceedings \url{http://www.ssgrr.it/en/ssgrr2000/proceedings.htm},
L'Aquila, Italy, July 31 -- August 6 2000.  Scuola Superiore G{.} Reiss
Romoli.

@inproceedings{CousotCousot-SSGRR-00,
author =    {Cousot, P{.} and Cousot, R{.}},
title =     {Abstract Interpretation Based Program Testing},
booktitle = {Proceedings of the SSGRR 2000 Computer \& eBusiness
International Conference},
address = {Compact disk paper 248 and electronic proceedings
\url{http://www.ssgrr.it/en/ssgrr2000/proceedings.htm}, L'Aquila, Italy},
publisher = {Scuola Superiore G{.} Reiss Romoli},
month =     {July 31 -- August 6},
year =      2000,
isbn =      {88-85280-52-8},
}