Abstract interpretation based program testing

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000
PublisherScuola Superiore G. Reiss Romoli
StatePublished - 2000

Publication series

NameCompact Disk Paper 248 and Electronic Proceedings

Cite this

Cousot, P., & Cousot, R. (2000). Abstract interpretation based program testing. In Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000 (Compact Disk Paper 248 and Electronic Proceedings). Scuola Superiore G. Reiss Romoli.

Abstract interpretation based program testing. / Cousot, Patrick; Cousot, Radhia.

Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Scuola Superiore G. Reiss Romoli, 2000. (Compact Disk Paper 248 and Electronic Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cousot, P & Cousot, R 2000, Abstract interpretation based program testing. in Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Compact Disk Paper 248 and Electronic Proceedings, Scuola Superiore G. Reiss Romoli.
Cousot P, Cousot R. Abstract interpretation based program testing. In Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Scuola Superiore G. Reiss Romoli. 2000. (Compact Disk Paper 248 and Electronic Proceedings).
Cousot, Patrick ; Cousot, Radhia. / Abstract interpretation based program testing. Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Scuola Superiore G. Reiss Romoli, 2000. (Compact Disk Paper 248 and Electronic Proceedings).
@inproceedings{d2575d602fe144e1a89f88666c6157aa,
title = "Abstract interpretation based program testing",
author = "Patrick Cousot and Radhia Cousot",
year = "2000",
language = "English (US)",
series = "Compact Disk Paper 248 and Electronic Proceedings",
publisher = "Scuola Superiore G. Reiss Romoli",
booktitle = "Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000",

}

TY - GEN

T1 - Abstract interpretation based program testing

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 2000

Y1 - 2000

M3 - Conference contribution

T3 - Compact Disk Paper 248 and Electronic Proceedings

BT - Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000

PB - Scuola Superiore G. Reiss Romoli

ER -