A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items Using Pairwise Testing. - Toshifusa Sekizawa; Tsugu Kotorii (APSEC (2), 2013)