{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:58:58Z","timestamp":1750309138498,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:00:00Z","timestamp":1712880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,12]]},"DOI":"10.1145\/3597503.3640323","type":"proceedings-article","created":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T16:43:26Z","timestamp":1712940206000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Hypertesting of Programs: Theoretical Foundation and Automated Test Generation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9475-4836","authenticated-orcid":false,"given":"Michele","family":"Pasqua","sequence":"first","affiliation":[{"name":"Dept. of Computer Science, University of Verona, Verona, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7325-0316","authenticated-orcid":false,"given":"Mariano","family":"Ceccato","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science, University of Verona, Verona, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3088-0339","authenticated-orcid":false,"given":"Paolo","family":"Tonella","sequence":"additional","affiliation":[{"name":"Software Institute, Universit\u00e0 della Svizzera italiana, Lugano, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Richard A. DeMillo, Richard J. Lipton, and Frederick Gerald Sayward.","author":"Acree Allen Troy","year":"1979","unstructured":"Allen Troy Acree, Timothy Alan Budd, Richard A. DeMillo, Richard J. Lipton, and Frederick Gerald Sayward. 1979. Mutation Analysis. techreport GIT-ICS-79\/08. Georgia Institute of Technology, Atlanta, Georgia."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009889"},{"key":"e_1_3_2_1_3_1","first-page":"12","article-title":"RIFL 1.1","volume":"46","author":"Bauerei\u00df Thomas","year":"2017","unstructured":"Thomas Bauerei\u00df, Simon Greiner, Mihai Herda, Michael Kirsten, Ximeng Li, Heiko Mantel, Martin Mohr, Matthias Perner, David Schneider, and Markus Tasch. 2017. RIFL 1.1: A Common Specification Language for Information-Flow Requirements. Technical Report. TU Darmstadt. 46.12.03; LK 01.","journal-title":"A Common Specification Language for Information-Flow Requirements. Technical Report. TU Darmstadt."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660212"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.46298\/lmcs-19(2:13)2023"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60641-5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380432"},{"key":"e_1_3_2_1_8_1","volume-title":"Metamorphic Testing: A New Approach for Generating Next Test Cases. Technical Report","author":"Chen T. Y.","year":"1998","unstructured":"T. Y. Chen, S. C. Cheung, and S. M. Yiu. 1998. Metamorphic Testing: A New Approach for Generating Next Test Cases. Technical Report. The Hong Kong University of Science and Technology. HKUST-CS98-01."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00290-7"},{"volume-title":"Principles of Security and Trust, Mart\u00edn Abadi and Steve Kremer (Eds.)","author":"Clarkson Michael R.","key":"e_1_3_2_1_10_1","unstructured":"Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, and C\u00e9sar S\u00e1nchez. 2014. Temporal Logics for Hyperproperties. In Principles of Security and Trust, Mart\u00edn Abadi and Steve Kremer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 265--284."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0393"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1067625.806556"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2013.2281535"},{"key":"e_1_3_2_1_14_1","volume-title":"Mitra Tabaei Befrouei, and Georg Weissenbacher","author":"Fellner Andreas","year":"2019","unstructured":"Andreas Fellner, Mitra Tabaei Befrouei, and Georg Weissenbacher. 2019. Mutation Testing with Hyperproperties. In Software Engineering and Formal Methods, Peter Csaba \u00d6lveczky and Gwen Sala\u00fcn (Eds.). Springer International Publishing, Cham, 203--221."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"volume-title":"Model Checking Algorithms for Hyperproperties (Invited Paper)","author":"Finkbeiner Bernd","key":"e_1_3_2_1_16_1","unstructured":"Bernd Finkbeiner. 2021. Model Checking Algorithms for Hyperproperties (Invited Paper). In Verification, Model Checking, and Abstract Interpretation, Fritz Henglein, Sharon Shoham, and Yakir Vizel (Eds.). Springer International Publishing, Cham, 3--16."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03638-6_27"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00063"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485464"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"T. Hsu C. S\u00e1nchez and B. Bonakdarpour. 2021. Bounded Model Checking for Hyperproperties. In Tools and Algorithms for the Construction and Analysis of Systems J. F. Groote and K. G. Larsen (Eds.). Springer International Publishing Cham 94--112.","DOI":"10.26226\/morressier.604907f41a80aac83ca25cec"},{"key":"e_1_3_2_1_21_1","volume-title":"Hypertesting: The Case for Automated Testing of Hyperproperties. In 3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot). 1--8.","author":"Kinder Johannes","year":"2015","unstructured":"Johannes Kinder. 2015. Hypertesting: The Case for Automated Testing of Hyperproperties. In 3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot). 1--8."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10--11, 2008 (CEUR Workshop Proceedings","author":"Guernic G. Le","year":"2008","unstructured":"G. Le Guernic. 2008. Precise Dynamic Verification of Confidentiality. In Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10--11, 2008 (CEUR Workshop Proceedings, Vol. 372), B. Beckert and G. Klein (Eds.). CEUR-WS.org."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"I. Mastroeni and M. Pasqua. 2018. Verifying Bounded Subset-Closed Hyperproperties. In Static Analysis Andreas Podelski (Ed.). Springer International Publishing Cham 263--283.","DOI":"10.1007\/978-3-319-99725-4_17"},{"volume-title":"Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, 2215--2223","author":"Mastroeni I.","key":"e_1_3_2_1_24_1","unstructured":"I. Mastroeni and M. Pasqua. 2019. Statically Analyzing Information Flows: An Abstract Interpretation-Based Hyperanalysis for Non-Interference. In Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, 2215--2223."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477314.3507119"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556947"},{"key":"e_1_3_2_1_28_1","volume-title":"HyperGI: Automated Detection and Repair of Information Flow Leakage. In 36th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2021","author":"Mesecan I.","year":"2021","unstructured":"I. Mesecan, D. Blackwell, D. Clark, M. B. Cohen, and J. Petke. 2021. HyperGI: Automated Detection and Repair of Information Flow Leakage. In 36th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15--19, 2021. IEEE, 1358--1362."},{"volume-title":"Proceedings of the 39th International Conference on Computer-Aided Design (ICCAD '20)","author":"Muduli S. K.","key":"e_1_3_2_1_29_1","unstructured":"S. K. Muduli, G. Takhar, and P. Subramanyan. 2020. Hyperfuzzing for SoC Security Validation. In Proceedings of the 39th International Conference on Computer-Aided Design (ICCAD '20). Association for Computing Machinery, New York, NY, USA, 9 pages."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00034"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464817"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2663435"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","unstructured":"Michele Pasqua Mariano Ceccato and Tonella Paolo. 2024. Hypertesting of Programs: Theoretical Foundation and Automated Test Generation (Replication Package). (online). 10.5281\/zenodo.10451088","DOI":"10.5281\/zenodo.10451088"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2017.13"},{"volume-title":"Verification of Quantitative Hyperproperties Using Trace Enumeration Relations","author":"Sahai Shubham","key":"e_1_3_2_1_35_1","unstructured":"Shubham Sahai, Pramod Subramanyan, and Rohit Sinha. 2020. Verification of Quantitative Hyperproperties Using Trace Enumeration Relations. In Computer Aided Verification, Shuvendu K. Lahiri and Chao Wang (Eds.). Springer International Publishing, Cham, 201--224."},{"volume-title":"Foundations of Software Science and Computational Structures, Luca de Alfaro (Ed.)","author":"Smith Geoffrey","key":"e_1_3_2_1_36_1","unstructured":"Geoffrey Smith. 2009. On the Foundations of Quantitative Information Flow. In Foundations of Software Science and Computational Structures, Luca de Alfaro (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 288--302."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196874"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103136"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"],"location":"Lisbon Portugal","acronym":"ICSE '24"},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3640323","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3640323","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:12Z","timestamp":1750287012000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3640323"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,12]]},"references-count":38,"alternative-id":["10.1145\/3597503.3640323","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3640323","relation":{},"subject":[],"published":{"date-parts":[[2024,4,12]]},"assertion":[{"value":"2024-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}