ASWEC
2001
IEEE
13 years 8 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...