A Pseudo-Exhaustive Software Testing Framework for Embedded Digital Devices in Nuclear Power

Athira Varma Jayakumar (Virginia Commonwealth Univ.), Richard Kuhn (National Institute of Standards and Technology), Brandon Simons (Virginia Commonwealth Univ.), Aidan Collins (Virginia Commonwealth Univ.), Smitha Gautham (Virginia Commonwealth Univ.), Richard Hite (Virginia Commonwealth Univ.), Raghu Kacker (National Institute of Standards and Technology), Abhi D. Rajagopala (Virginia Commonwealth Univ.), Carl Elks (Virginia Commonwealth Univ.)