The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs.

Heui-Seok Seo, In Sang Chung, Byeong Man Kim, Yong Rae Kwon

Browse the full APSEC paper archive.