{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:43Z","timestamp":1750220743828,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Research Council (ERC)","award":["694277"],"award-info":[{"award-number":["694277"]}]},{"name":"National Research Fund (FNR), Luxembourg","award":["INTER\/AAL\/15\/11213850"],"award-info":[{"award-number":["INTER\/AAL\/15\/11213850"]}]},{"name":"Canada Research Chair programme"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377812.3382152","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T22:53:48Z","timestamp":1601592828000},"page":"9-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["SMRL"],"prefix":"10.1145","author":[{"given":"Phu X.","family":"Mai","sequence":"first","affiliation":[{"name":"University of Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arda","family":"Goknil","sequence":"additional","affiliation":[{"name":"University of Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio","family":"Pastore","sequence":"additional","affiliation":[{"name":"University of Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[{"name":"University of Luxembourg and University of Ottawa"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. Common Vulnerabilities and Exposures. https:\/\/cve.mitre.org\/cve\/.  2019. Common Vulnerabilities and Exposures. https:\/\/cve.mitre.org\/cve\/."},{"key":"e_1_3_2_1_2_1","unstructured":"2019. EDLAH2. http:\/\/www.aal-europe.eu\/projects\/edlah2\/.  2019. EDLAH2. http:\/\/www.aal-europe.eu\/projects\/edlah2\/."},{"key":"e_1_3_2_1_3_1","unstructured":"2019. Selenium Web Testing Framework https:\/\/www.seleniumhq.org\/.  2019. Selenium Web Testing Framework https:\/\/www.seleniumhq.org\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.48"},{"volume-title":"Implementing Domain-Specific Languages with Xtext and Xtend","author":"Bettini Lorenzo","key":"e_1_3_2_1_6_1","unstructured":"Lorenzo Bettini . 2016. Implementing Domain-Specific Languages with Xtext and Xtend . Packt Publishing Ltd . Lorenzo Bettini. 2016. Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing Ltd."},{"key":"e_1_3_2_1_7_1","volume-title":"TH Tse, and Zhenyu Zhang.","author":"Chan Wing Kwong","year":"2007","unstructured":"Wing Kwong Chan , Tsong Y Chen , Shing Chi Cheung , TH Tse, and Zhenyu Zhang. 2007 . Towards the Testing of Power-aware Software Applications for Wireless Sensor Networks. In ADA Europe '07. 84--99. Wing Kwong Chan, Tsong Y Chen, Shing Chi Cheung, TH Tse, and Zhenyu Zhang. 2007. Towards the Testing of Power-aware Software Applications for Wireless Sensor Networks. In ADA Europe'07. 84--99."},{"key":"e_1_3_2_1_9_1","unstructured":"Eclipse Foundation. [n.d.]. Jenkins CI\/CD server. https:\/\/jenkins.io\/.  Eclipse Foundation. [n.d.]. Jenkins CI\/CD server. https:\/\/jenkins.io\/."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2371401.2371419"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194007003471"},{"key":"e_1_3_2_1_12_1","volume-title":"Binary Codes Capable of Correcting Deletions, Insertions and Reversals. Soviet Physics Doklady 10 (Feb","author":"Levenshtein V. I.","year":"1966","unstructured":"V. I. Levenshtein . 1966. Binary Codes Capable of Correcting Deletions, Insertions and Reversals. Soviet Physics Doklady 10 (Feb . 1966 ). V. I. Levenshtein. 1966. Binary Codes Capable of Correcting Deletions, Insertions and Reversals. Soviet Physics Doklady 10 (Feb. 1966)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.46"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.04.007"},{"volume-title":"ISSRE'18","author":"Mai Phu X.","key":"e_1_3_2_1_15_1","unstructured":"Phu X. Mai , Fabrizio Pastore , Arda Goknil , and Lionel C. Briand . 2018. A Natural Language Programming Approach for Requirements-based Security Testing . In ISSRE'18 . 58--69. Phu X. Mai, Fabrizio Pastore, Arda Goknil, and Lionel C. Briand. 2018. A Natural Language Programming Approach for Requirements-based Security Testing. In ISSRE'18. 58--69."},{"key":"e_1_3_2_1_16_1","volume-title":"Briand","author":"Mai Phu X.","year":"2019","unstructured":"Phu X. Mai , Fabrizio Pastore , Arda Goknil , and Lionel C . Briand . 2019 . MCP : A Security Testing Tool Driven by Requirements. In ICSE '19. 55--58. Phu X. Mai, Fabrizio Pastore, Arda Goknil, and Lionel C. Briand. 2019. MCP: A Security Testing Tool Driven by Requirements. In ICSE'19. 55--58."},{"volume-title":"Metamorphic Security Testing for Web Systems. In ICST'20","author":"Mai Phu X.","key":"e_1_3_2_1_17_1","unstructured":"Phu X. Mai , Fabrizio Pastore , Arda Goknil , and Lionel C. Briand . 2020 . Metamorphic Security Testing for Web Systems. In ICST'20 . Phu X. Mai, Fabrizio Pastore, Arda Goknil, and Lionel C. Briand. 2020. Metamorphic Security Testing for Web Systems. In ICST'20."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2109205.2109208"},{"key":"e_1_3_2_1_19_1","unstructured":"Matteo Meucci and Andrew Muller. 2019. OWASP Testing Guide v4. https:\/\/www.owasp.org\/images\/1\/19\/OTGv4.pdf.  Matteo Meucci and Andrew Muller. 2019. OWASP Testing Guide v4. https:\/\/www.owasp.org\/images\/1\/19\/OTGv4.pdf."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.19"},{"key":"e_1_3_2_1_21_1","volume-title":"MACKE: Compositional Analysis of Low-level Vulnerabilities with Symbolic Execution. In ASE'16","author":"Ognawala Saahil","year":"2016","unstructured":"Saahil Ognawala , Mart\u00edn Ochoa , Alexander Pretschner , and Tobias Limmer . 2016 . MACKE: Compositional Analysis of Low-level Vulnerabilities with Symbolic Execution. In ASE'16 . 780--785. Saahil Ognawala, Mart\u00edn Ochoa, Alexander Pretschner, and Tobias Limmer. 2016. MACKE: Compositional Analysis of Low-level Vulnerabilities with Symbolic Execution. In ASE'16. 780--785."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2532875"},{"key":"e_1_3_2_1_23_1","volume-title":"JFuzz: A Tool for Automated Java Unit Testing Based on Data Mutation and Metamorphic Testing Methods. In TSA'15","author":"Zhu H.","year":"2015","unstructured":"H. Zhu . 2015 . JFuzz: A Tool for Automated Java Unit Testing Based on Data Mutation and Metamorphic Testing Methods. In TSA'15 . 8--15. H. Zhu. 2015. JFuzz: A Tool for Automated Java Unit Testing Based on Data Mutation and Metamorphic Testing Methods. In TSA'15. 8--15."}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"],"location":"Seoul South Korea","acronym":"ICSE '20"},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377812.3382152","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377812.3382152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:42Z","timestamp":1750199922000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377812.3382152"}},"subtitle":["a metamorphic security testing tool for web systems"],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":22,"alternative-id":["10.1145\/3377812.3382152","10.1145\/3377812"],"URL":"https:\/\/doi.org\/10.1145\/3377812.3382152","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}