@misc{indiciaec7f925ac62d2,
  title = {Automatic inspection of program state in an uncooperative environment},
  author = {Magalhães, José Wesley de Souza and Liao, Chunhua and Pereira, Fernando Magno Quintão},
  year = {2022},
  doi = {10.1002/spe.3146},
  url = {https://www.osti.gov/biblio/1897788},
  note = {Source identifier: 1897788}
}