Tao Huang, Anthony Chung. Finding Narrow Input/Output (NIO) Sequences by Model Checking. In Walter Dosch, Roger Y. Lee, Petr Tuma, Thierry Coupaye, editors, Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic. pages 283-289, IEEE Computer Society, 2008. [doi]
Abstract is missing.