American Nuclear Society
Home

Home / Publications / Transactions / Volume 121 / Number 1

Automated Exhaustive Test Case Generation for Safety-Critical Software

Sang Hun Lee (RPI), Seung Jun Lee (UNIST), Sung Min Shin (LAERI), Eun-chan Lee (Korea Hydro & Nuclear Power), Hyun Gook Kang (RPI)

Transactions / Volume 121 / Number 1 / November 2019 / Pages 489-492