{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:28:07Z","timestamp":1750746487406},"reference-count":53,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115685","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T22:03:57Z","timestamp":1511474637000},"source":"Crossref","is-referenced-by-count":4,"title":["Promoting secondary orders of event pairs in randomized scheduling using a randomized stride"],"prefix":"10.1109","author":[{"given":"Mahmoud","family":"Abdelrasoul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786874"},{"key":"ref38","first-page":"173","article-title":"On the sum of the square roots of the first n natural numbers","author":"ramanujan","year":"0","journal-title":"Journal of the Indian Mathematical Society"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254128"},{"key":"ref32","first-page":"267","article-title":"Finding and Reproducing Heisenbugs in Concurrent Programs","author":"musuvathi","year":"2008","journal-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation OSDI'08"},{"key":"ref31","article-title":"CHESS: A Systematic Testing Tool for Concurrent Software","author":"musuvathi","year":"2007","journal-title":"Microsoft Research Tech Rep MSR-TR"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2804322.2804328"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996845"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453121"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806836"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693142"},{"key":"ref29","first-page":"533","article-title":"A Study of Interleaving Coverage Criteria","author":"lu","year":"0","journal-title":"The 6th Joint Meeting on European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering Companion Papers ESEC-FSE companion'07"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_12"},{"key":"ref1","year":"0","journal-title":"SCT Benchmarks"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33119-0_12"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542489"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_54"},{"key":"ref24","first-page":"123","article-title":"Noise Injection Heuristics for Concurrency Testing","author":"k?ena","year":"2012","journal-title":"Mathematical and Engineering Methods in Computer Science number 7119 in Lecture Notes in Computer Science"},{"key":"ref23","first-page":"177","article-title":"Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software","author":"kfena","year":"2012","journal-title":"Runtime Verification number 7186 in Lecture Notes in Computer Science"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_26"},{"key":"ref25","first-page":"48","article-title":"A Platform for Search-based Testing of Concurrent Software","author":"kfena","year":"2010","journal-title":"Proceedings of the 8th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '10"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985824"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2993717.2993722"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2803201"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384651"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/945465.945468"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1546"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737998"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693139"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1469"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.33"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483773"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970332"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"ref19","first-page":"311","article-title":"Cloud-Based Verification of Concurrent Software","author":"holzmann","year":"2016","journal-title":"Verification Model Checking and Abstract Interpretation number 9583 in Lecture Notes in Computer Science"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065972"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.10"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970307"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0111"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.654"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926432"},{"key":"ref46","author":"suhir","year":"1997","journal-title":"Applied Probability for Engineers and Scientists"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595706"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555260"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/32.126769"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321679"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80582-6"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_38"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Urbana, IL","start":{"date-parts":[[2017,10,30]]},"end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115685.pdf?arnumber=8115685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T22:47:19Z","timestamp":1515451639000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115685\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":53,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115685","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}