@inproceedings{e59b641994a844cba98036ad8a9cf296,
title = "Visualizing Loops and Data Structures in Xylem: The Code of Plants",
abstract = "The visual representation of software data structures is especially relevant to the creation of games which crowd source science problems to a gaming community and to educational games which seek to teach computer science concepts within the context of computer games. Xylem: The Code of Plants is a game designed to crowd source formal software verification via loop invariant specifications. Due to the nature of this project, it was important that the game 1) appeal to a large audience, 2) support a wide variety of data structures and 3) hide any actual data from the source code that was generating the game levels. To these ends, a method of visualizing data structures was developed that features a consistent plant-based narrative metaphor, is flexible enough to accommodate multiple types of data structures while maintaining narrative integrity, and obscures all real data from the target source code.",
keywords = "Data structure visualization, Formal verification, Games and software engineering, Loop invariants, Program visualization, Software verification games",
author = "Heather Logas and Richard Vallejos and Joseph Osborn and Kate Compton and Jim Whitehead",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE. Copyright: Copyright 2018 Elsevier B.V., All rights reserved.; 4th International Workshop on Games and Software Engineering, GAS 2015 ; Conference date: 18-05-2015",
year = "2015",
month = jul,
day = "27",
doi = "10.1109/GAS.2015.16",
language = "English (US)",
series = "Proceedings - 4th International Workshop on Games and Software Engineering, GAS 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "50--56",
booktitle = "Proceedings - 4th International Workshop on Games and Software Engineering, GAS 2015",
address = "United States",
}