A Design and Test Technique for Embedded Software.

Byeongdo Kang, Young-Jik Kwon, Roger Y. Lee

Browse the full SERA paper archive.