Efficient Execution Path Exploration for Detecting Races in Concurrent Programs.
Saved in:
| Title: | Efficient Execution Path Exploration for Detecting Races in Concurrent Programs. |
|---|---|
| Authors: | Setiadi, Theodorus E.1, eric@maekawa.is.uec.ac.jp, Ohsuga, Akihiko1,2,3,4,5,6, akihiko@ohsuga.is.uec.ac.jp, Maekawa, Mamoru1,7,8,9, maekawa@maekawa.is.uec.ac.jp |
| Source: | IAENG International Journal of Computer Science; 2013, Vol. 40 Issue 3, p15-34, 21p |
| Database: | Applied Science & Technology Source |
| ISSN: | 1819656X |
|---|
