Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests
収録刊行物
-
- 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE)
-
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) 2017-05
IEEE