{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:50:53Z","timestamp":1760586653479,"version":"3.40.4"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,4,27]],"date-time":"2013-04-27T00:00:00Z","timestamp":1367020800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s10009-013-0277-y","type":"journal-article","created":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T10:42:01Z","timestamp":1367404921000},"page":"49-65","source":"Crossref","is-referenced-by-count":7,"title":["Generating effective tests for concurrent programs via AI automated planning techniques"],"prefix":"10.1007","volume":"16","author":[{"given":"Niloofar","family":"Razavi","sequence":"first","affiliation":[]},{"given":"Azadeh","family":"Farzan","sequence":"additional","affiliation":[]},{"given":"Sheila A.","family":"McIlraith","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,4,27]]},"reference":[{"key":"277_CR1","unstructured":"Baier J.A., McIlraith, S.A.: Planning with first-order temporally extended goals using heuristic search. In: Proceedings of the 21st National Conference on Artificial Intelligence, vol. 1, AAAI\u201906, pp. 788\u2013795. AAAI Press, Menlo Park (2006)"},{"key":"277_CR2","doi-asserted-by":"crossref","unstructured":"Chen, F., Ro\u015fu, G.: Parametric and sliced causality. In: Proceedings of the 19th International Conference on Computer Aided Verification, CAV\u201907, pp. 240\u2013253. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-73368-3_27"},{"key":"277_CR3","doi-asserted-by":"crossref","unstructured":"Feng, C., Serbanuta, T., Rosu, G.: jPredictor: a predictive runtime analysis tool for java. In: Proceedings of the 30th International Conference on Software Engineering, ICSE \u201908, pp. 221\u2013230. ACM, New York (2008)","DOI":"10.1145\/1368088.1368119"},{"key":"277_CR4","unstructured":"Christiaens, M., De Bosschere, K.: TRaDe, a topological approach to on-the-fly race detection in java programs. In: Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium, vol. 1, pp. 15. JVM\u201901. USENIX Association, Berkeley (2001)"},{"key":"277_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/99164.99165","volume":"25","author":"A Dinning","year":"1990","unstructured":"Dinning, A., Schonberg, E.: An empirical comparison of monitoring algorithms for access anomaly detection. SIGPLAN Notice 25, 1\u201310 (1990)","journal-title":"SIGPLAN Notice"},{"key":"277_CR6","unstructured":"Azadeh, F., Madhusudan, P., Razavi, N., Sorrentino, F.: Predicting null-pointer dereferences in concurrent programs. In: Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE \u201912, pp. 47\u201356 (2012)"},{"issue":"1","key":"277_CR7","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/982962.964023","volume":"39","author":"C Flanagan","year":"2004","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: a dynamic atomicity checker for multithreaded programs. SIGPLAN Notice 39(1), 256\u2013267 (2004)","journal-title":"SIGPLAN Notice"},{"key":"277_CR8","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/1839676.1839699","volume":"53","author":"C Flanagan","year":"2010","unstructured":"Flanagan, C., Freund, S.N.: FastTrack: efficient and precise dynamic race detection. Commun. ACM 53, 93\u2013101 (2010)","journal-title":"Commun. ACM"},{"key":"277_CR9","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/1379022.1375618","volume":"43","author":"C Flanagan","year":"2008","unstructured":"Flanagan, C., Freund, S.N.: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. SIGPLAN Notice 43, 293\u2013303 (2008)","journal-title":"SIGPLAN Notice"},{"issue":"5\u20136","key":"277_CR10","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1016\/j.artint.2008.10.012","volume":"173","author":"A Gerevini","year":"2009","unstructured":"Gerevini, A., Haslum, P., Long, D., Saetti, A., Dimopoulos, Y.: Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners. Artif. Intell. 173(5\u20136), 619\u2013668 (2009)","journal-title":"Artif. Intell."},{"key":"277_CR11","doi-asserted-by":"crossref","unstructured":"Gregory, P., Long, D., Fox, M., Christopher Beck, J.: Planning modulo theories: extending the planning paradigm. In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling, ICAPS2012, pp. 65\u201373 (2012)","DOI":"10.1609\/icaps.v22i1.13505"},{"key":"277_CR12","doi-asserted-by":"crossref","unstructured":"Groce, A., Visser, W.: Model checking java programs using structural heuristics. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA \u201902, pp. 12\u201321 (2002)","DOI":"10.1145\/566172.566175"},{"key":"277_CR13","unstructured":"Haslum, P., Grastien, A.: Diagnosis as planning: two case studies. In: Proceedings of the International Scheduling and Planning Applications, Workshop, SPARK\u201911, pp. 37\u201344 (2011)"},{"key":"277_CR14","first-page":"57","volume":"22","author":"J Hoffmann","year":"2001","unstructured":"Hoffmann, J.: FF: the fast-forward planning system. AI Mag. 22, 57\u201362 (2001)","journal-title":"AI Mag."},{"key":"277_CR15","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1613\/jair.1144","volume":"20","author":"J Hoffmann","year":"2003","unstructured":"Hoffmann, J.: The metric-FF planning system: translating \u201dignoring delete lists\u201d to numeric state variables. J. Artif. Intell. Res. (JAIR) 20, 291\u2013341 (2003)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"277_CR16","unstructured":"Hoffmann, J., Gomes, C., Selman, B., Kautz, H.: SAT encodings of state-space reachability problems in numeric domains. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, vol. 7, pp. 1918\u20131923, IJCAI\u201907 (2007)"},{"key":"277_CR17","unstructured":"Kautz, H.A., Selman, B.: Unifying SAT-based and graph-based planning. In: Proceedings of the Sixteenth International Joint Conference on, Artificial Intelligence, IJCAI\u201999, pp. 318\u2013325 (1999)"},{"key":"277_CR18","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Ti clocks, and the ordering of events in a distributed system. Commun. ACM 21, 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"6","key":"277_CR19","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1145\/1543135.1542491","volume":"44","author":"D Marino","year":"2009","unstructured":"Marino, D., Musuvathi, M., Narayanasamy, S.: LiteRace: effective sampling for lightweight data-race detection. SIGPLAN Notice 44(6), 134\u2013143 (2009)","journal-title":"SIGPLAN Notice"},{"key":"277_CR20","unstructured":"McDermott Drew, V.: PDDL\u2014the Planning domain definition language. Technical Report TR-98-003\/DCS TR-1165, Yale Center for Computational Vision and Control (1998)"},{"key":"277_CR21","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Qadeer, S.: Chess: systematic stress testing of concurrent software. In: Proceedings of the 16th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR\u201906, pp. 15\u201316. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-71410-1_2"},{"key":"277_CR22","volume-title":"Automated Planning: Theory & Practice","author":"D Nau","year":"2004","unstructured":"Nau, D., Ghallab, M., Traverso, P.: Automated Planning: Theory & Practice. Morgan Kaufmann, San Francisco (2004)"},{"key":"277_CR23","doi-asserted-by":"crossref","unstructured":"O\u2019Callahan, R., Choi, J.: Hybrid dynamic data race detection. In: Proceedings of the 9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP \u201903, pp. 167\u2013178. ACM, New York (2003)","DOI":"10.1145\/781498.781528"},{"key":"277_CR24","doi-asserted-by":"crossref","unstructured":"Park, C., Sen, K.: Randomized active atomicity violation detection in concurrent programs. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE\u201916, pp. 135\u2013145. ACM, New York (2008)","DOI":"10.1145\/1453101.1453121"},{"issue":"3","key":"277_CR25","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/1508284.1508249","volume":"44","author":"S Park","year":"2009","unstructured":"Park, S., Lu, S., Zhou, Y.: CTrigger: exposing atomicity violation bugs from their hiding places. SIGPLAN Notice 44(3), 25\u201336 (2009)","journal-title":"SIGPLAN Notice"},{"key":"277_CR26","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, SFCS \u201977, pp. 46\u201357. IEEE Computer Society, Washington, DC (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"277_CR27","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1002\/cpe.1064","volume":"19","author":"E Pozniansky","year":"2007","unstructured":"Pozniansky, E., Schuster, A.: MultiRace: efficient on-the-fly data race detection in multithreaded C++ programs: research articles. Concurr. Comput. Pract. Exp. 19, 327\u2013340 (2007)","journal-title":"Concurr. Comput. Pract. Exp."},{"issue":"4","key":"277_CR28","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"S Rapps","year":"1985","unstructured":"Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE Trans. Softw. Eng. 11(4), 367\u2013375 (1985)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"277_CR29","doi-asserted-by":"crossref","unstructured":"Rintanen, J.: Planning with specialized SAT solvers. In: Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI\u201911, pp. 1563\u20131566 (2011)","DOI":"10.1609\/aaai.v25i1.7962"},{"key":"277_CR30","doi-asserted-by":"crossref","unstructured":"Said, M., Wang, C., Yang, Z., Sakallah, K.: Generating data race witnesses by an SMT-based analysis. In: Proceedings of the 3rd International Conference on NASA Formal Methods, NFM\u201911, pp. 313\u2013327. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-20398-5_23"},{"issue":"4","key":"277_CR31","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15(4), 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"277_CR32","doi-asserted-by":"crossref","unstructured":"Serbanuta, T., Chen, F., Rosu, G.: Maximal causal models for sequentially consistent systems. In: Runtime Verification, RV\u201912, Lecture Notes in Computer Science (2012)","DOI":"10.1007\/978-3-642-35632-2_16"},{"key":"277_CR33","doi-asserted-by":"crossref","unstructured":"Sinha, N., Wang, C.: Staged concurrent program analysis. In: Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE \u201910, pp. 47\u201356 (2010)","DOI":"10.1145\/1882291.1882301"},{"key":"277_CR34","doi-asserted-by":"crossref","unstructured":"Sinha, N., Wang, C.: On interference abstractions. In: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201911, pp. 423\u2013434 (2011)","DOI":"10.1145\/1926385.1926433"},{"key":"277_CR35","doi-asserted-by":"crossref","unstructured":"Sorrentino, F., Farzan, A., Madhusudan, P.: Penelope: weaving threads to expose atomicity violations. In: Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE \u201910, pp. 37\u201346. ACM, New York (2010)","DOI":"10.1145\/1882291.1882300"},{"key":"277_CR36","doi-asserted-by":"crossref","unstructured":"von Praun, C., Gross, T.R.: Object race detection. In: Proceedings of the 16th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA \u201901, pp. 70\u201382. ACM, New York (2001)","DOI":"10.1145\/504282.504288"},{"key":"277_CR37","doi-asserted-by":"crossref","unstructured":"Wang, C., Limaye, R., Ganai, M., Gupta, A.: Trace-based symbolic analysis for atomicity violations. In: Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS\u201910, pp. 328\u2013342. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-12002-2_27"},{"key":"277_CR38","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.D.: Accurate and efficient runtime detection of atomicity errors in concurrent programs. In: Proceedings of the 11th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP \u201906, pp. 137\u2013146. ACM, New York (2006)","DOI":"10.1145\/1122971.1122993"},{"key":"277_CR39","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1109\/TSE.2006.1599419","volume":"32","author":"L Wang","year":"2006","unstructured":"Wang, L., Stoller, S.D.: Runtime analysis of atomicity for multi-threaded programs. IEEE Trans. Softw. Eng. 32, 93\u2013110 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"277_CR40","doi-asserted-by":"crossref","unstructured":"Yi, J., Sadowski, C., Flanagan, C.: SideTrack: generalizing dynamic atomicity analysis. In: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD \u201909, pp. 8:1\u20138:10. ACM, New York (2009)","DOI":"10.1145\/1639622.1639630"},{"issue":"5","key":"277_CR41","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/1095809.1095832","volume":"39","author":"Y Yu","year":"2005","unstructured":"Yu, Y., Rodeheffer, T., Chen, W.: RaceTrack: efficient detection of data race conditions via adaptive tracking. SIGOPS Oper. Syst. Rev. 39(5), 221\u2013234 (2005)","journal-title":"SIGOPS Oper. Syst. Rev."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-013-0277-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-013-0277-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-013-0277-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T07:45:36Z","timestamp":1745999136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-013-0277-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,27]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["277"],"URL":"https:\/\/doi.org\/10.1007\/s10009-013-0277-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2013,4,27]]}}}