{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:03:26Z","timestamp":1755993806722,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100006374","name":"Foundation for Science and Technology","doi-asserted-by":"publisher","award":["LA\/P\/0063\/2020,2021.08184.BD"],"award-info":[{"award-number":["LA\/P\/0063\/2020,2021.08184.BD"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,12]]},"DOI":"10.1145\/3732771.3742710","type":"proceedings-article","created":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T11:04:43Z","timestamp":1750158283000},"page":"16-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Property-based Testing of Attribute Grammars"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0282-5060","authenticated-orcid":false,"given":"Jos\u00e9 Nuno","family":"Macedo","sequence":"first","affiliation":[{"name":"Depart. of Informatics & INESC TEC University of Minho, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2291-6151","authenticated-orcid":false,"given":"Marcos","family":"Viera","sequence":"additional","affiliation":[{"name":"Universidad de la Rep\u00fablica Montevideo, Uruguay"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5686-7151","authenticated-orcid":false,"given":"Jo\u00e3o","family":"Saraiva","sequence":"additional","affiliation":[{"name":"Depart. of Informatics & INESC TEC University of Minho, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2025,6,17]]},"reference":[{"volume-title":"Proceedings of the 27th International Conference on Software Engineering (St","author":"Andrews J. H.","key":"e_1_3_2_1_1_1","unstructured":"J. H. Andrews, L. C. Briand, and Y. Labiche. 2005. Is mutation an appropriate tool for testing experiments?. In Proceedings of the 27th International Conference on Software Engineering (St. Louis, MO, USA) (ICSE '05). ACM, New York, NY, USA, 402--411."},{"key":"e_1_3_2_1_2_1","volume-title":"Using Circular Programs to Eliminate Multiple Traversals of Data. Acta Informatica 21 (January","author":"Bird R. S.","year":"1984","unstructured":"R. S. Bird. 1984. Using Circular Programs to Eliminate Multiple Traversals of Data. Acta Informatica 21 (January 1984), 239--250."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009","author":"Dijkstra Atze","year":"2009","unstructured":"Atze Dijkstra, Jeroen Fokker, and S. Doaitse Swierstra. 2009. The architecture of the Utrecht Haskell compiler. In Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009, Stephanie Weirich (Ed.). ACM, 93--104."},{"volume-title":"Proceedings of the 5th International Conference on Software Engineering","author":"Duncan A. G.","key":"e_1_3_2_1_5_1","unstructured":"A. G. Duncan and J. S. Hutchison. 1981. Using attributed grammars to test designs and implementations. In Proceedings of the 5th International Conference on Software Engineering (San Diego, California, USA) (ICSE '81). IEEE Press, 170--178."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297105.1297029"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244381.1244399"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2685612"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/129630.129637"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the Third International Conference on Attribute Grammars and Their Applications (Ponte de Lima, Portugal) (WAGA). 79--98","author":"Harm J\u00f6rg","year":"2000","unstructured":"J\u00f6rg Harm and Ralf L\u00e4mmel. 2000. Testing Attribute Grammars. In Proceedings of the Third International Conference on Attribute Grammars and Their Applications (Ponte de Lima, Portugal) (WAGA). 79--98."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_1_12_1","volume-title":"Federated Conference on Computer Science and Information Systems - FedCSIS, Maria Ganzha, Leszek A. Maciaszek, and Marcin Paprzycki (Eds.). 801--808","author":"Jr Iztok Fister","year":"2011","unstructured":"Iztok Fister Jr., Marjan Mernik, Iztok Fister, and Dejan Hrncic. 2011. Implementation of a Domain-Specific Language EasyTime using LISA Compiler Generator. In Federated Conference on Computer Science and Information Systems - FedCSIS, Maria Ganzha, Leszek A. Maciaszek, and Marcin Paprzycki (Eds.). 801--808."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.10.009"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01692511"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3426425.3426943"},{"key":"e_1_3_2_1_16_1","volume-title":"Lrc - A Generator for Incremental Language-Oriented Tools. In 7th International Conference on Compiler Construction, CC\/ETAPS'98 (LNCS","volume":"301","author":"Kuiper Matthijs","year":"1998","unstructured":"Matthijs Kuiper and Jo\u00e3o Saraiva. 1998. Lrc - A Generator for Incremental Language-Oriented Tools. In 7th International Conference on Compiler Construction, CC\/ETAPS'98 (LNCS, Vol. 1383), Kay Koskimies (Ed.). Springer-Verlag, 298--301."},{"volume-title":"Practical Aspects of Declarative Languages, Shriram Krishnamurthi and C","author":"L\u00e4mmel Ralf","key":"e_1_3_2_1_17_1","unstructured":"Ralf L\u00e4mmel and Joost Visser. 2002. Typed Combinators for Generic Traversal. In Practical Aspects of Declarative Languages, Shriram Krishnamurthi and C. R. Ramakrishnan (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 137--154."},{"volume-title":"Proceedings of the 2nd International Conference on Theory and Practice of Algebraic Specifications","author":"Sebastiaan","key":"e_1_3_2_1_18_1","unstructured":"Sebastiaan P. Luttik and Eelco Visser. 1997. Specification of Rewriting Strategies. In Proceedings of the 2nd International Conference on Theory and Practice of Algebraic Specifications (Amsterdam, The Netherlands) (Algebraic'97). BCS Learning & Development Ltd., Swindon, GBR, 9."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.111975"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.6084\/m9.figshare.28848278.v2"},{"key":"e_1_3_2_1_21_1","volume-title":"Zipping Strategies and Attribute Grammars. In Functional and Logic Programming: 16th International Symposium, FLOPS","author":"Macedo Jos\u00e9 Nuno","year":"2022","unstructured":"Jos\u00e9 Nuno Macedo, Marcos Viera, and Jo\u00e3o Saraiva. 2022. Zipping Strategies and Attribute Grammars. In Functional and Logic Programming: 16th International Symposium, FLOPS, Kyoto, Japan, May 10-12 (Kyoto, Japan). Springer-Verlag, Berlin, Heidelberg, 112--132."},{"key":"e_1_3_2_1_22_1","volume-title":"Jo\u00e3o Paulo Fernandes, and Jo\u00e3o Saraiva","author":"Martins Pedro","year":"2013","unstructured":"Pedro Martins, Jo\u00e3o Paulo Fernandes, and Jo\u00e3o Saraiva. 2013. Zipper-Based Attribute Grammars and Their Extensions. In Programming Languages, Andr\u00e9 Rauber Du Bois and Phil Trinder (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 135--149."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.03.005"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/202176.202185"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868302"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 2012 IEEE International Conference on Software Maintenance (ICSM) (ICSM '12)","author":"Oliveto Rocco","year":"2012","unstructured":"Rocco Oliveto, Andrea De Lucia, Abdallah Qusef, David Binkley, and Gabriele Bavota. 2012. An empirical analysis of the distribution of unit test smells and their impact on software maintenance. In Proceedings of the 2012 IEEE International Conference on Software Maintenance (ICSM) (ICSM '12). IEEE Computer Society, USA, 56--65."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500828.2500843"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.8.3.645-651"},{"key":"e_1_3_2_1_29_1","volume-title":"Data Structure Free Compilation. In 8th Int. Conference on Compiler Construction, CC\/ETAPS'99 (LNCS","volume":"16","author":"Saraiva Jo\u00e3o","year":"1999","unstructured":"Jo\u00e3o Saraiva and Doaitse Swierstra. 1999. Data Structure Free Compilation. In 8th Int. Conference on Compiler Construction, CC\/ETAPS'99 (LNCS, Vol. 1575), Stefan J\u00e4hnichen (Ed.). Springer-Verlag, 1--16."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2011.11.005"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.08.043"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.10.010"},{"key":"e_1_3_2_1_34_1","volume-title":"SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings (Lecture Notes in Computer Science","volume":"321","author":"S\u00f6derberg Emma","year":"2013","unstructured":"Emma S\u00f6derberg and G\u00f6rel Hedin. 2013. Circular Higher-Order Reference Attribute Grammars. In Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings (Lecture Notes in Computer Science, Vol. 8225), Martin Erwig, Richard F. Paige, and Eric Van Wyk (Eds.). Springer International Publishing, Cham, 302--321."},{"volume-title":"Higher Order Attribute Grammars","author":"Swierstra Doaitse","key":"e_1_3_2_1_35_1","unstructured":"Doaitse Swierstra and Harald Vogt. 1991. Higher Order Attribute Grammars. In Attribute Grammars, Applications and Systems, Henk Alblas and Bo\u0159ivoj Melichar (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 256--296."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"S. Doaitse Swierstra Pablo R. Azero Alcocer and Jo\u00e3o Saraiva. 1999. Designing and Implementing Combinator Languages. In Advanced Functional Programming S. Doaitse Swierstra Jos\u00e9 N. Oliveira and Pedro R. Henriques (Eds.). Springer Berlin Heidelberg 150--206.","DOI":"10.1007\/10704973_4"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.03.047"},{"volume-title":"Proc. of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation","author":"Vogt H. H.","key":"e_1_3_2_1_38_1","unstructured":"H. H. Vogt, S. D. Swierstra, and M. F. Kuiper. 1989. Higher Order Attribute Grammars. In Proc. of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation (Portland, Oregon, USA) (PLDI '89). ACM, New York, NY, USA, 131--145."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Dingning Yang Yuqing Zhang and Qixu Liu. 2012. BlendFuzz: A Model-Based Framework for Fuzz Testing Programs with Grammatical Inputs. In 2012 IEEE 11th International Conference on Trust Security and Privacy in Computing and Communications. 1070--1076.","DOI":"10.1109\/TrustCom.2012.99"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.07.003"}],"event":{"name":"SLE '25: 18th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Koblenz Germany","acronym":"SLE '25"},"container-title":["Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3732771.3742710","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T02:19:33Z","timestamp":1755915573000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3732771.3742710"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,12]]},"references-count":41,"alternative-id":["10.1145\/3732771.3742710","10.1145\/3732771"],"URL":"https:\/\/doi.org\/10.1145\/3732771.3742710","relation":{},"subject":[],"published":{"date-parts":[[2025,6,12]]},"assertion":[{"value":"2025-06-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}