Cited By
View all- Nayrolles MHamou-Lhadj ATahar SLarsson A(2015)JCHARMING: A bug reproduction approach using crash traces and directed model checking2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER)10.1109/SANER.2015.7081820(101-110)Online publication date: Mar-2015
- Coons KBurckhardt SMusuvathi M(2010)GAMBITACM SIGPLAN Notices10.1145/1837853.169345845:5(15-24)Online publication date: 9-Jan-2010
- Coons KBurckhardt SMusuvathi MGovindarajan RPadua DHall M(2010)GAMBITProceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming10.1145/1693453.1693458(15-24)Online publication date: 9-Jan-2010
- Show More Cited By