Systematic Software Testing of Critical Embedded Digital Devices in Nuclear Power Applications.

Athira Varma Jayakumar, Smitha Gautham, D. Richard Kuhn, Brandon J. Simon, Aidan G. Collins, Thomas Dirsch, Raghu Kacker, Carl R. Elks

Browse the full ISSRE paper archive.