TY  - RPRT
TI  - Automated Behavior Computation for Software Analysis and Validation
AU  - Pleszkoch, Mark G
AU  - Linger, Richard C
AU  - Burns, Luanne
PY  - 2012
UR  - https://www.osti.gov/biblio/1042831
ID  - 1042831
ER  -