{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T18:53:21Z","timestamp":1777488801405,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,8]],"date-time":"2020-11-08T00:00:00Z","timestamp":1604793600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","award":["200021_178742"],"award-info":[{"award-number":["200021_178742"]}]},{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["787703"],"award-info":[{"award-number":["787703"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,8]]},"DOI":"10.1145\/3368089.3409758","type":"proceedings-article","created":{"date-parts":[[2020,11,8]],"date-time":"2020-11-08T06:03:47Z","timestamp":1604815427000},"page":"1178-1189","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":41,"title":["Evolutionary improvement of assertion oracles"],"prefix":"10.1145","author":[{"given":"Valerio","family":"Terragni","sequence":"first","affiliation":[{"name":"USI Lugano, Switzerland"}]},{"given":"Gunel","family":"Jahangirova","sequence":"additional","affiliation":[{"name":"USI Lugano, Switzerland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3088-0339","authenticated-orcid":false,"given":"Paolo","family":"Tonella","sequence":"additional","affiliation":[{"name":"USI Lugano, Switzerland"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[{"name":"USI Lugano, Switzerland \/ Schaffhausen Institute of Technology, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2020,11,8]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Finding the Needles in the Haystack: Generating Legal Test Inputs for Object-Oriented Programs. In Workshop on Model-Based Testing and ObjectOriented Systems (M-TOOS ' 06 ).","author":"Artzi Shay","unstructured":"Shay Artzi , Michael D. Ernst , Adam Kie\u017cun , Carlos Pacheco , and Jef H. Perkins . 2006 . Finding the Needles in the Haystack: Generating Legal Test Inputs for Object-Oriented Programs. In Workshop on Model-Based Testing and ObjectOriented Systems (M-TOOS ' 06 ). Shay Artzi, Michael D. Ernst, Adam Kie\u017cun, Carlos Pacheco, and Jef H. Perkins. 2006. Finding the Needles in the Haystack: Generating Legal Test Inputs for Object-Oriented Programs. In Workshop on Model-Based Testing and ObjectOriented Systems (M-TOOS ' 06 )."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314641"},{"key":"e_1_3_2_2_3_1","volume-title":"Evolutionary Programming, Genetic Algorithms","author":"Back Thomas","unstructured":"Thomas Back . 1996. Evolutionary Algorithms in Theory and Practice: Evolution Strategies , Evolutionary Programming, Genetic Algorithms . Oxford University Press . Thomas Back. 1996. Evolutionary Algorithms in Theory and Practice: Evolution Strategies, Evolutionary Programming, Genetic Algorithms. Oxford University Press."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_2_5_1","unstructured":"Markus F Brameier and Wolfgang Banzhaf. 2007. A Comparison with Tree-Based Genetic Programming. Linear Genetic Programming ( 2007 ) 173-192.  Markus F Brameier and Wolfgang Banzhaf. 2007. A Comparison with Tree-Based Genetic Programming. Linear Genetic Programming ( 2007 ) 173-192."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368127"},{"key":"e_1_3_2_2_7_1","first-page":"1652","volume-title":"Proceedings of the conference on Genetic and Evolutionary Computation (GECCO '03)","author":"Daida Jason M.","unstructured":"Jason M. Daida , Adam M. Hilss , David J. Ward , and Stephen L. Long . 2003. Visualizing Tree Structures in Genetic Programming . In Proceedings of the conference on Genetic and Evolutionary Computation (GECCO '03) . Springer , 1652 - 1664 . Jason M. Daida, Adam M. Hilss, David J. Ward, and Stephen L. Long. 2003. Visualizing Tree Structures in Genetic Programming. In Proceedings of the conference on Genetic and Evolutionary Computation (GECCO '03). Springer, 1652-1664."},{"key":"e_1_3_2_2_8_1","article-title":"A Fast and Elitist Multiobjective Genetic Algorithm","volume":"6","author":"Deb Kalyanmoy","year":"2002","unstructured":"Kalyanmoy Deb , Amrit Pratap , Sameer Agarwal , and TAMT Meyarivan . 2002 . A Fast and Elitist Multiobjective Genetic Algorithm : NSGA-II. IEEE Transactions on Evolutionary Computation 6 , 2 ( 2002 ), 182-197. Kalyanmoy Deb, Amrit Pratap, Sameer Agarwal, and TAMT Meyarivan. 2002. A Fast and Elitist Multiobjective Genetic Algorithm: NSGA-II. IEEE Transactions on Evolutionary Computation 6, 2 ( 2002 ), 182-197.","journal-title":"NSGA-II. IEEE Transactions on Evolutionary Computation"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302467"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2011.19"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001464"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-13338-6_4"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2431688"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_48"},{"key":"e_1_3_2_2_18_1","first-page":"1","volume-title":"Proceedings of the International Conference on Automated Software Engineering (ASE '14)","author":"Harman Mark","unstructured":"Mark Harman , William B. Langdon , Yue Jia , David Robert White , Andrea Arcuri , and John A. Clark . 2012. The GISMOE Challenge: Constructing the Pareto Program Surface using Genetic Programming to Find Better Programs (keynote paper) . In Proceedings of the International Conference on Automated Software Engineering (ASE '14) . ACM, 1 - 14 . Mark Harman, William B. Langdon, Yue Jia, David Robert White, Andrea Arcuri, and John A. Clark. 2012. The GISMOE Challenge: Constructing the Pareto Program Surface using Genetic Programming to Find Better Programs (keynote paper). In Proceedings of the International Conference on Automated Software Engineering (ASE '14). ACM, 1-14."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635917"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931062"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3229503"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2934409"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628053"},{"key":"e_1_3_2_2_24_1","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection.","author":"Koza John R","year":"1992","unstructured":"John R Koza and John R Koza . 1992 . Genetic Programming: On the Programming of Computers by Means of Natural Selection. Vol. 1 . MIT press . John R Koza and John R Koza. 1992. Genetic Programming: On the Programming of Computers by Means of Natural Selection. Vol. 1. MIT press."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/3105427.3105429"},{"key":"e_1_3_2_2_26_1","volume-title":"Experimental Analysis of the Tournament Size on Genetic Algorithms. In International Conference on Systems, Man, and Cybernetics (SMC '18'). IEEE, 3647-3653","author":"Lavinas Y.","unstructured":"Y. Lavinas , C. Aranha , T. Sakurai , and M. Ladeira . 2018 . Experimental Analysis of the Tournament Size on Genetic Algorithms. In International Conference on Systems, Man, and Cybernetics (SMC '18'). IEEE, 3647-3653 . Y. Lavinas, C. Aranha, T. Sakurai, and M. Ladeira. 2018. Experimental Analysis of the Tournament Size on Genetic Algorithms. In International Conference on Systems, Man, and Cybernetics (SMC '18'). IEEE, 3647-3653."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1639999"},{"key":"e_1_3_2_2_28_1","volume-title":"Goldberg","author":"Miller Brad L.","year":"1995","unstructured":"Brad L. Miller , Brad L. Miller , David E. Goldberg , and David E . Goldberg . 1995 . Genetic Algorithms, Tournament Selection , and the Efects of Noise. Complex Systems 9, 3 ( 1995 ), 193-212. Brad L. Miller, Brad L. Miller, David E. Goldberg, and David E. Goldberg. 1995. Genetic Algorithms, Tournament Selection, and the Efects of Noise. Complex Systems 9, 3 ( 1995 ), 193-212."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491434"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2364175"},{"key":"e_1_3_2_2_32_1","first-page":"164","volume-title":"Proceedings of the International SPIN Workshop on SPIN Model Checking and Software Verification (SPIN '04)","author":"Corina","unstructured":"Corina S. Pasareanu and Willem Visser. 2004. Verification of Java Programs Using Symbolic Execution and Invariant Generation . In Proceedings of the International SPIN Workshop on SPIN Model Checking and Software Verification (SPIN '04) . Springer , 164 - 181 . Corina S. Pasareanu and Willem Visser. 2004. Verification of Java Programs Using Symbolic Execution and Invariant Generation. In Proceedings of the International SPIN Workshop on SPIN Model Checking and Software Verification (SPIN '04). Springer, 164-181."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2017.12"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.40"},{"key":"e_1_3_2_2_35_1","first-page":"1907","volume-title":"Proceedings of the conference on Genetic and Evolutionary Computation (GECCO '11)","author":"Ratclif Sam","unstructured":"Sam Ratclif , David R. White , and John A. Clark . 2011. Searching for Invariants Using Genetic Programming and Mutation Testing . In Proceedings of the conference on Genetic and Evolutionary Computation (GECCO '11) . ACM, 1907 - 1914 . Sam Ratclif, David R. White, and John A. Clark. 2011. Searching for Invariants Using Genetic Programming and Mutation Testing. In Proceedings of the conference on Genetic and Evolutionary Computation (GECCO '11). ACM, 1907-1914."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1953-0053041-6"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"crossref","unstructured":"Abhik Roychoudhury and I. V. Ramakrishnan. 2004. Inductively Verifying Invariant Properties of Parameterized Systems. Automated Software Engineering 11 2 ( 2004 ) 101-139.  Abhik Roychoudhury and I. V. Ramakrishnan. 2004. Inductively Verifying Invariant Properties of Parameterized Systems. Automated Software Engineering 11 2 ( 2004 ) 101-139.","DOI":"10.1023\/B:AUSE.0000017740.35552.88"},{"key":"e_1_3_2_2_38_1","first-page":"90","volume-title":"Proceedings of the International Conference on Software Testing, Verification and Validation (ICST '11)","author":"Schuler D.","unstructured":"D. Schuler and A. Zeller . 2011. Assessing Oracle Quality with Checked Coverage . In Proceedings of the International Conference on Software Testing, Verification and Validation (ICST '11) . 90 - 99 . D. Schuler and A. Zeller. 2011. Assessing Oracle Quality with Checked Coverage. In Proceedings of the International Conference on Software Testing, Verification and Validation (ICST '11). 90-99."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"crossref","unstructured":"Oren Shoval Hila Sheftel Guy Shinar Yuval Hart Omer Ramote Avi Mayo Erez Dekel Kathryn Kavanagh and Uri Alon. 2012. Evolutionary Trade-Ofs Pareto Optimality and the Geometry of Phenotype Space. Science 336 6085 ( 2012 ) 1157-1160.  Oren Shoval Hila Sheftel Guy Shinar Yuval Hart Omer Ramote Avi Mayo Erez Dekel Kathryn Kavanagh and Uri Alon. 2012. Evolutionary Trade-Ofs Pareto Optimality and the Geometry of Phenotype Space. Science 336 6085 ( 2012 ) 1157-1160.","DOI":"10.1126\/science.1217405"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336776"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICEC.1996.542653"},{"key":"e_1_3_2_2_42_1","first-page":"196","volume-title":"Proceedings of the International Conference on Automated Software Engineering (ASE 04)","author":"Xie Tao","unstructured":"Tao Xie , D. Notkin , and D. Marinov . 2004. Rostra: a Framework for Detecting Redundant Object-Oriented Unit Tests . In Proceedings of the International Conference on Automated Software Engineering (ASE 04) . 196 - 205 . Tao Xie, D. Notkin, and D. Marinov. 2004. Rostra: a Framework for Detecting Redundant Object-Oriented Unit Tests. In Proceedings of the International Conference on Automated Software Engineering (ASE 04). 196-205."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2017.2778560"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(94)00067-1"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"crossref","unstructured":"Darrell Whitley. 1994. A Genetic Algorithm Tutorial. Statistics and Computing 4 2 ( 1994 ) 65-85.  Darrell Whitley. 1994. A Genetic Algorithm Tutorial. Statistics and Computing 4 2 ( 1994 ) 65-85.","DOI":"10.1007\/BF00175354"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610389"}],"event":{"name":"ESEC\/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Virtual Event USA","acronym":"ESEC\/FSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3409758","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3368089.3409758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:58Z","timestamp":1750197718000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3409758"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,8]]},"references-count":46,"alternative-id":["10.1145\/3368089.3409758","10.1145\/3368089"],"URL":"https:\/\/doi.org\/10.1145\/3368089.3409758","relation":{},"subject":[],"published":{"date-parts":[[2020,11,8]]},"assertion":[{"value":"2020-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}