Towards a better collaboration of static and dynamic analyses for testing concurrent programs
Conditional must not aliasing for static race detection