Toshifusa Sekizawa, Tsugu Kotorii. A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items Using Pairwise Testing. In 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013. pages 146-151, IEEE, 2013. [doi]
Abstract is missing.