{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:36:38Z","timestamp":1784342198965,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["851895"],"award-info":[{"award-number":["851895"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3540250.3549126","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:46:22Z","timestamp":1668026782000},"page":"760-771","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["DynaPyt: a dynamic analysis framework for Python"],"prefix":"10.1145","author":[{"given":"Aryaz","family":"Eghbali","sequence":"first","affiliation":[{"name":"University of Stuttgart, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Pradel","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF51468.2021.00043"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Jong-hoon (David) An Avik Chaudhuri Jeffrey S. Foster and Michael Hicks. 2011. Dynamic inference of static types for Ruby.. In POPL. 459\u2013472. \t\t\t\t  Jong-hoon (David) An Avik Chaudhuri Jeffrey S. Foster and Michael Hicks. 2011. Dynamic inference of static types for Ruby.. In POPL. 459\u2013472.","DOI":"10.1145\/1925844.1926437"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Esben Andreasen Liang Gong Anders M\u00f8ller Michael Pradel Marija Selakovic Koushik Sen and Cristian-Alexandru Staicu. 2017. A Survey of Dynamic Analysis and Test Generation for JavaScript. Comput. Surveys. \t\t\t\t  Esben Andreasen Liang Gong Anders M\u00f8ller Michael Pradel Marija Selakovic Koushik Sen and Cristian-Alexandru Staicu. 2017. A Survey of Dynamic Analysis and Test Generation for JavaScript. Comput. Surveys.","DOI":"10.1145\/3106739"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2003.1191551"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.149"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2014.30"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273490"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 23rd USENIX Security Symposium","author":"Egele Manuel","year":"2014","unstructured":"Manuel Egele , Maverick Woo , Peter Chapman , and David Brumley . 2014 . Blanket Execution: Dynamic Similarity Testing for Program Binaries and Components . In Proceedings of the 23rd USENIX Security Symposium , San Diego, CA, USA , August 20-22, 2014.. 303\u2013317. Manuel Egele, Maverick Woo, Peter Chapman, and David Brumley. 2014. Blanket Execution: Dynamic Similarity Testing for Program Binaries and Components. In Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014.. 303\u2013317."},{"key":"e_1_3_2_1_9_1","volume-title":"Symposium on Principles of Programming Languages (POPL). ACM, 256\u2013267","author":"Flanagan Cormac","unstructured":"Cormac Flanagan and Stephen N. Freund . 2004. Atomizer: a dynamic atomicity checker for multithreaded programs . In Symposium on Principles of Programming Languages (POPL). ACM, 256\u2013267 . Cormac Flanagan and Stephen N. Freund. 2004. Atomizer: a dynamic atomicity checker for multithreaded programs. In Symposium on Principles of Programming Languages (POPL). ACM, 256\u2013267."},{"key":"e_1_3_2_1_10_1","volume-title":"Workshop on Program Analysis for Software Tools and Engineering (PASTE). ACM, 1\u20138.","author":"Flanagan Cormac","unstructured":"Cormac Flanagan and Stephen N. Freund . 2010. The RoadRunner dynamic analysis framework for concurrent programs . In Workshop on Program Analysis for Software Tools and Engineering (PASTE). ACM, 1\u20138. Cormac Flanagan and Stephen N. Freund. 2010. The RoadRunner dynamic analysis framework for concurrent programs. In Workshop on Program Analysis for Software Tools and Engineering (PASTE). ACM, 1\u20138."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_14"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_13_1","volume-title":"JITProf: Pinpointing JIT-unfriendly JavaScript Code. In European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE). 357\u2013368","author":"Gong Liang","year":"2015","unstructured":"Liang Gong , Michael Pradel , and Koushik Sen . 2015 . JITProf: Pinpointing JIT-unfriendly JavaScript Code. In European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE). 357\u2013368 . Liang Gong, Michael Pradel, and Koushik Sen. 2015. JITProf: Pinpointing JIT-unfriendly JavaScript Code. In European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE). 357\u2013368."},{"key":"e_1_3_2_1_14_1","volume-title":"DLint: Dynamically Checking Bad Coding Practices in JavaScript. In International Symposium on Software Testing and Analysis (ISSTA). 94\u2013105","author":"Gong Liang","year":"2015","unstructured":"Liang Gong , Michael Pradel , Manu Sridharan , and Koushik Sen . 2015 . DLint: Dynamically Checking Bad Coding Practices in JavaScript. In International Symposium on Software Testing and Analysis (ISSTA). 94\u2013105 . Liang Gong, Michael Pradel, Manu Sridharan, and Koushik Sen. 2015. DLint: Dynamically Checking Bad Coding Practices in JavaScript. In International Symposium on Software Testing and Analysis (ISSTA). 94\u2013105."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970321"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3038912.3052674"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304068"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_19_1","volume-title":"Vijay Janapa Reddi, and Kim Hazelwood","author":"Luk Chi-Keung","year":"2005","unstructured":"Chi-Keung Luk , Robert Cohn , Robert Muth , Harish Patil , Artur Klauser , Geoff Lowney , Steven Wallace , Vijay Janapa Reddi, and Kim Hazelwood . 2005 . Pin: building customized program analysis tools with dynamic instrumentation. Acm sigplan notices, 40, 6 (2005), 190\u2013200. Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi, and Kim Hazelwood. 2005. Pin: building customized program analysis tools with dynamic instrumentation. Acm sigplan notices, 40, 6 (2005), 190\u2013200."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2162049.2162077"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781528"},{"key":"e_1_3_2_1_23_1","unstructured":"Fei Peng Zhui Deng Xiangyu Zhang Dongyan Xu Zhiqiang Lin and Zhendong Su. 2014. X-Force: Force-Executing Binary Programs for Security Applications.. In USENIX Security. 829\u2013844. \t\t\t\t  Fei Peng Zhui Deng Xiangyu Zhang Dongyan Xu Zhiqiang Lin and Zhendong Su. 2014. X-Force: Force-Executing Binary Programs for Security Applications.. In USENIX Security. 829\u2013844."},{"key":"e_1_3_2_1_24_1","volume-title":"International Conference on Automated Software Engineering (ASE). 371\u2013382","author":"Pradel Michael","unstructured":"Michael Pradel and Thomas R. Gross . 2009. Automatic Generation of Object Usage Specifications from Large Method Traces . In International Conference on Automated Software Engineering (ASE). 371\u2013382 . Michael Pradel and Thomas R. Gross. 2009. Automatic Generation of Object Usage Specifications from Large Method Traces. In International Conference on Automated Software Engineering (ASE). 371\u2013382."},{"key":"e_1_3_2_1_25_1","volume-title":"TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript. In International Conference on Software Engineering (ICSE).","author":"Pradel Michael","year":"2015","unstructured":"Michael Pradel , Parker Schuh , and Koushik Sen . 2015 . TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript. In International Conference on Software Engineering (ICSE). Michael Pradel, Parker Schuh, and Koushik Sen. 2015. TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript. In International Conference on Software Engineering (ICSE)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2019.00087"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00146"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_29_1","unstructured":"Koushik Sen Swaroop Kalasapur Tasneem Brutch and Simon Gibbs. 2013. Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript. In European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE). 488\u2013498. \t\t\t\t  Koushik Sen Swaroop Kalasapur Tasneem Brutch and Simon Gibbs. 2013. Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript. In European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE). 488\u2013498."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89862-7_1"},{"key":"e_1_3_2_1_32_1","volume-title":"Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities. In Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). 607\u2013622","author":"Toffola Luca Della","unstructured":"Luca Della Toffola , Michael Pradel , and Thomas R. Gross . 2015 . Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities. In Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). 607\u2013622 . Luca Della Toffola, Michael Pradel, and Thomas R. Gross. 2015. Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities. In Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). 607\u2013622."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377816.3381724"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Tongjie Wang Yaroslav Golubev Oleg Smirnov Jiawei Li Timofey Bryksin and Iftekhar Ahmed. 2021. PyNose: A Test Smell Detector For Python. In ASE. \t\t\t\t  Tongjie Wang Yaroslav Golubev Oleg Smirnov Jiawei Li Timofey Bryksin and Iftekhar Ahmed. 2021. PyNose: A Test Smell Detector For Python. In ASE.","DOI":"10.1109\/ASE51524.2021.9678615"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542523"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950357"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950343"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213866"}],"event":{"name":"ESEC\/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Singapore Singapore","acronym":"ESEC\/FSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"]},"container-title":["Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549126","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3540250.3549126","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:02Z","timestamp":1750182662000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":39,"alternative-id":["10.1145\/3540250.3549126","10.1145\/3540250"],"URL":"https:\/\/doi.org\/10.1145\/3540250.3549126","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}