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]

Abstract

Abstract is missing.