The CORE system: animation and functional correctness of pointer programs

Ewen Maclean, Andrew Ireland, Gudmund Grov

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

5 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Pages588-591
Number of pages4
DOIs
Publication statusPublished - 2011
Event26th IEEE/ACM International Conference on Automated Software Engineering 2011 - Lawrence, KS, United States
Duration: 6 Nov 201110 Nov 2011

Publication series

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

Conference

Conference26th IEEE/ACM International Conference on Automated Software Engineering 2011
Abbreviated titleASE 2011
CountryUnited States
CityLawrence, KS
Period6/11/1110/11/11

Cite this

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 (pp. 588-591). (IEEE/ACM International Conference on Automated Software Engineering). https://doi.org/10.1109/ASE.2011.6100132