{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:13:21Z","timestamp":1750220001849,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,17]],"date-time":"2022-05-17T00:00:00Z","timestamp":1652745600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,17]]},"DOI":"10.1145\/3524481.3527238","type":"proceedings-article","created":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T16:51:53Z","timestamp":1658249513000},"page":"87-91","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Testing non-testable programs using association rules"],"prefix":"10.1145","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[{"name":"ISTI - CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emilio","family":"Cruciani","sequence":"additional","affiliation":[{"name":"University of Salzburg, Salzburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Breno","family":"Miranda","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Verdecchia","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Amsterdam, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,7,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/170036.170072"},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. 20th int. conf. very large data bases, VLDB","volume":"1215","author":"Agrawal Rakesh","year":"1994","unstructured":"Rakesh Agrawal , Ramakrishnan Srikant , 1994 . Fast algorithms for mining association rules . In Proc. 20th int. conf. very large data bases, VLDB , Vol. 1215 . Citeseer, 487--499. Rakesh Agrawal, Ramakrishnan Srikant, et al. 1994. Fast algorithms for mining association rules. In Proc. 20th int. conf. very large data bases, VLDB, Vol. 1215. Citeseer, 487--499."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387940.3392089"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP52600.2021.00023"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3463274.3463275"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_7_1","volume-title":"Nar-miner: Discovering negative association rules from code for bug detection. In ESEC\/FSE. 411--422.","author":"Pan Bian","year":"2018","unstructured":"Pan Bian et al. 2018 . Nar-miner: Discovering negative association rules from code for bug detection. In ESEC\/FSE. 411--422. Pan Bian et al. 2018. Nar-miner: Discovering negative association rules from code for bug detection. In ESEC\/FSE. 411--422."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3143561"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896971.2896981"},{"key":"e_1_3_2_1_10_1","volume-title":"The Daikon system for dynamic detection of likely invariants. Science of computer programming 69, 1-3","author":"Ernst Michael D","year":"2007","unstructured":"Michael D Ernst , Jeff H Perkins , Philip J Guo , Stephen McCamant , Carlos Pacheco , Matthew S Tschantz , and Chen Xiao . 2007. The Daikon system for dynamic detection of likely invariants. Science of computer programming 69, 1-3 ( 2007 ), 35--45. Michael D Ernst, Jeff H Perkins, Philip J Guo, Stephen McCamant, Carlos Pacheco, Matthew S Tschantz, and Chen Xiao. 2007. The Daikon system for dynamic detection of likely invariants. Science of computer programming 69, 1-3 (2007), 35--45."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/widm.1207"},{"key":"e_1_3_2_1_12_1","volume-title":"Mining frequent patterns without candidate generation. ACM sigmod record 29, 2","author":"Han Jiawei","year":"2000","unstructured":"Jiawei Han , Jian Pei , and Yiwen Yin . 2000. Mining frequent patterns without candidate generation. ACM sigmod record 29, 2 ( 2000 ), 1--12. Jiawei Han, Jian Pei, and Yiwen Yin. 2000. Mining frequent patterns without candidate generation. ACM sigmod record 29, 2 (2000), 1--12."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.133"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081754"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/widm.1329"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR-WCRE.2014.6747161"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1002\/widm.1086"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-017-9392-4"},{"key":"e_1_3_2_1_19_1","volume-title":"Discovery, analysis, and presentation of strong rules. Knowledge discovery in databases","author":"Piatetsky-Shapiro Gregory","year":"1991","unstructured":"Gregory Piatetsky-Shapiro . 1991. Discovery, analysis, and presentation of strong rules. Knowledge discovery in databases ( 1991 ), 229--238. Gregory Piatetsky-Shapiro. 1991. Discovery, analysis, and presentation of strong rules. Knowledge discovery in databases (1991), 229--238."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.4102\/sajip.v29i1.88"},{"key":"e_1_3_2_1_21_1","unstructured":"Ashok Savasere et al. 1995. An efficient algorithm for mining association rules in large databases. Technical Report. Georgia Institute of Technology.  Ashok Savasere et al. 1995. An efficient algorithm for mining association rules in large databases . Technical Report. Georgia Institute of Technology."},{"key":"e_1_3_2_1_22_1","unstructured":"David J Stillwell and Michal Kosinski. 2007. myPersonality database. https:\/\/www.psychometrics.cam.ac.uk\/productsservices\/mypersonality Accessed on 09\/10\/2021.  David J Stillwell and Michal Kosinski. 2007. myPersonality database. https:\/\/www.psychometrics.cam.ac.uk\/productsservices\/mypersonality Accessed on 09\/10\/2021."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/645922.673325"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611972726.29"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511815478"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.11.920"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.846291"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100085"}],"event":{"name":"AST '22: IEEE\/ACM 3rd International Conference on Automation of Software Test","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE TCSC IEEE Technical Committee on Scalable Computing"],"location":"Pittsburgh Pennsylvania","acronym":"AST '22"},"container-title":["Proceedings of the 3rd ACM\/IEEE International Conference on Automation of Software Test"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524481.3527238","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3524481.3527238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:50:59Z","timestamp":1750182659000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524481.3527238"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,17]]},"references-count":29,"alternative-id":["10.1145\/3524481.3527238","10.1145\/3524481"],"URL":"https:\/\/doi.org\/10.1145\/3524481.3527238","relation":{},"subject":[],"published":{"date-parts":[[2022,5,17]]},"assertion":[{"value":"2022-07-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}