A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items Using Pairwise Testing.

Toshifusa Sekizawa, Tsugu Kotorii

Browse the full APSEC paper archive.