Finding Narrow Input/Output (NIO) Sequences by Model Checking.

Tao Huang, Anthony Chung

Browse the full SERA paper archive.