Abstract interpretation based program testing

Patrick Cousot; Radhia Cousot

Abstract interpretation based program testing

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000
Publisher	Scuola Superiore G. Reiss Romoli
State	Published - 2000

Publication series

Name	Compact Disk Paper 248 and Electronic Proceedings

Cite this

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 proceeding › Conference contribution

@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 -