Cited By
View all- Abbaspour Asadollah SSundmark DEldh SHansson HAfzal W(2018)10 Years of research on debugging concurrent and multicore softwareSoftware Quality Journal10.1007/s11219-015-9301-725:1(49-82)Online publication date: 24-Dec-2018
- Elmas TKramer JBishop JDevanbu PUchitel S(2010)QEDProceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 210.1145/1810295.1810454(507-508)Online publication date: 1-May-2010
- Elmas TQadeer SSezgin ASubasi OTasiran S(2010)Simplifying linearizability proofs with reduction and abstractionProceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-642-12002-2_25(296-311)Online publication date: 20-Mar-2010