TY - CONF AU - Jayakumar, Athira AU - Kuhn, D. Richard AU - Simons, Brandon AU - Collins, Aidan AU - Gautham, Smitha AU - Hite, Richard AU - Kacker, Raghu N. AU - Rajagopala, Abhi AU - Elks, Carl C2 - https://www.ans.org/meetings/am2021/search/?q=kuhn, virtual, TN, US DA - 2021-06-14 04:06:00 DO - https://doi.org/10.13182/T124-34544 LA - en PB - https://www.ans.org/meetings/am2021/search/?q=kuhn, virtual, TN, US PY - 2021 TI - A Pseudo Exhaustive Software Testing Framework for Embedded Digital Devices in Nuclear Power UR - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=932114 ER -