Mark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns. Automated Behavior Computation for Software Analysis and Validation. In 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), Proceedings, 4-7 January 2012, Grand Wailea, Maui, HI, USA. pages 5537-5545, IEEE Computer Society, 2012. [doi]
@inproceedings{PleszkochLPSB12,
title = {Automated Behavior Computation for Software Analysis and Validation},
author = {Mark G. Pleszkoch and Richard C. Linger and Stacy J. Prowell and Kirk Sayre and Luanne Burns},
year = {2012},
doi = {10.1109/HICSS.2012.128},
url = {http://doi.ieeecomputersociety.org/10.1109/HICSS.2012.128},
researchr = {https://researchr.org/publication/PleszkochLPSB12},
cites = {0},
citedby = {0},
pages = {5537-5545},
booktitle = {45th Hawaii International International Conference on Systems Science (HICSS-45 2012), Proceedings, 4-7 January 2012, Grand Wailea, Maui, HI, USA},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4525-7},
}