Automated Behavior Computation for Software Analysis and Validation

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]

Authors

Mark G. Pleszkoch

This author has not been identified. Look up 'Mark G. Pleszkoch' in Google

Richard C. Linger

This author has not been identified. Look up 'Richard C. Linger' in Google

Stacy J. Prowell

This author has not been identified. Look up 'Stacy J. Prowell' in Google

Kirk Sayre

This author has not been identified. Look up 'Kirk Sayre' in Google

Luanne Burns

This author has not been identified. Look up 'Luanne Burns' in Google