The CORE system: animation and functional correctness of pointer programs

Ewen Maclean, Andrew Ireland, Gudmund Grov

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

5 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Pages	588-591
Number of pages	4
DOIs	https://doi.org/10.1109/ASE.2011.6100132
Publication status	Published - 2011
Event	26th IEEE/ACM International Conference on Automated Software Engineering 2011 - Lawrence, KS, United States Duration: 6 Nov 2011 → 10 Nov 2011

Name	IEEE/ACM International Conference on Automated Software Engineering
ISSN (Print)	1938-4300

Conference	26th IEEE/ACM International Conference on Automated Software Engineering 2011
Abbreviated title	ASE 2011
Country/Territory	United States
City	Lawrence, KS
Period	6/11/11 → 10/11/11

Access to Document

@inproceedings{5f033de4434642259fbd23edf0d4a760,

title = "The CORE system: animation and functional correctness of pointer programs",

author = "Ewen Maclean and Andrew Ireland and Gudmund Grov",

year = "2011",

doi = "10.1109/ASE.2011.6100132",

language = "English",

isbn = "9781457716386",

series = "IEEE/ACM International Conference on Automated Software Engineering",

pages = "588--591",

booktitle = "Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering",

note = "26th IEEE/ACM International Conference on Automated Software Engineering 2011, ASE 2011 ; Conference date: 06-11-2011 Through 10-11-2011",

}

Maclean, E, Ireland, A & Grov, G 2011, The CORE system: animation and functional correctness of pointer programs. in Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering. IEEE/ACM International Conference on Automated Software Engineering, pp. 588-591, 26th IEEE/ACM International Conference on Automated Software Engineering 2011, Lawrence, KS, United States, 6/11/11. https://doi.org/10.1109/ASE.2011.6100132

The CORE system: animation and functional correctness of pointer programs. / Maclean, Ewen; Ireland, Andrew; Grov, Gudmund.
Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering. 2011. p. 588-591 (IEEE/ACM International Conference on Automated Software Engineering).

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

TY - GEN

T1 - The CORE system

T2 - 26th IEEE/ACM International Conference on Automated Software Engineering 2011

AU - Maclean, Ewen

AU - Ireland, Andrew

AU - Grov, Gudmund

PY - 2011

Y1 - 2011

U2 - 10.1109/ASE.2011.6100132

DO - 10.1109/ASE.2011.6100132

M3 - Conference contribution

SN - 9781457716386

T3 - IEEE/ACM International Conference on Automated Software Engineering

SP - 588

EP - 591

BT - Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering

Y2 - 6 November 2011 through 10 November 2011

ER -