Detecting and Analyzing State Inconsistencies in Multi-task Software.

Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi

Browse the full ISORC paper archive.