TY  - RPRT
TI  - Automatic inspection of program state in an uncooperative environment
AU  - Magalhães, José Wesley de Souza
AU  - Liao, Chunhua
AU  - Pereira, Fernando Magno Quintão
PY  - 2022
DO  - 10.1002/spe.3146
UR  - https://www.osti.gov/biblio/1897788
ID  - 1897788
ER  -