@conference{919086,
  author = {Athira Jayakumar and D. Richard Kuhn and Brandon Simons and Aidan Collins and Smitha Gautham and Richard Hite and Raghu N. Kacker and Abhi Rajagopala and Carl Elks},
  title = {A Pseudo Exhaustive Software Testing Framework for Embedded Digital Devices in Nuclear Power},
  year = {2021},
  month = {2021-06-14 04:06:00},
  publisher = {https://www.ans.org/meetings/am2021/search/?q=kuhn, virtual, TN, US},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=932114},
  language = {en},
}