{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T21:42:19Z","timestamp":1770500539497,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":38,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377813.3381346","type":"proceedings-article","created":{"date-parts":[[2020,9,19]],"date-time":"2020-09-19T00:21:21Z","timestamp":1600474881000},"page":"120-129","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Property-based testing for LG home appliances using accelerated software-in-the-loop simulation"],"prefix":"10.1145","author":[{"given":"Mingyu","family":"Park","sequence":"first","affiliation":[{"name":"LG Electronics, Changwon, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoon","family":"Jang","sequence":"additional","affiliation":[{"name":"Hyundai Motor Company, Hwasung, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taejoon","family":"Byun","sequence":"additional","affiliation":[{"name":"University of Minnesota"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunja","family":"Choi","sequence":"additional","affiliation":[{"name":"Kyungpook National University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AUTOSAR. 2019. AUTOSAR. https:\/\/www.autosar.org. AUTOSAR. 2019. AUTOSAR. https:\/\/www.autosar.org."},{"key":"e_1_3_2_1_2_1","volume-title":"VDI Congress Transmissions in Vehicles.","author":"Br\u00fcckmann Holger","year":"2009","unstructured":"Holger Br\u00fcckmann , Jochen Strenkert , Uwe Keller , Benno Wiesner-Tittes , and Andreas Junghanns . 2009 . Model-based Development of a Dual-Clutch Transmission using Rapid Prototyping and SiL . In VDI Congress Transmissions in Vehicles. Holger Br\u00fcckmann, Jochen Strenkert, Uwe Keller, Benno Wiesner-Tittes, and Andreas Junghanns. 2009. Model-based Development of a Dual-Clutch Transmission using Rapid Prototyping and SiL. In VDI Congress Transmissions in Vehicles."},{"key":"e_1_3_2_1_3_1","volume-title":"In Proc. Internat. Congr. Logic, Method and Philos. Sci","author":"B\u00fcchi Julius Richard","year":"1962","unstructured":"Julius Richard B\u00fcchi . 1962 . On a decision method in restricted second order arithmetic . In In Proc. Internat. Congr. Logic, Method and Philos. Sci . Stanford University Press, 1 -- 12. Julius Richard B\u00fcchi. 1962. On a decision method in restricted second order arithmetic. In In Proc. Internat. Congr. Logic, Method and Philos. Sci. Stanford University Press, 1 -- 12."},{"key":"e_1_3_2_1_4_1","volume-title":"Constraint-based test generation for automotive operating systems. Software & Systems Modeling 16, 1 (01","author":"Choi Yunja","year":"2017","unstructured":"Yunja Choi and Taejoon Byun . 2017. Constraint-based test generation for automotive operating systems. Software & Systems Modeling 16, 1 (01 Feb 2017 ), 7--24. Yunja Choi and Taejoon Byun. 2017. Constraint-based test generation for automotive operating systems. Software & Systems Modeling 16, 1 (01 Feb 2017), 7--24."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.10.006"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_1_7_1","unstructured":"International Electrotechnical Commission. 2019. Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-related Systems. https:\/\/www.iec.ch\/functionalsafety\/. International Electrotechnical Commission. 2019. Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-related Systems. https:\/\/www.iec.ch\/functionalsafety\/."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of 24th Pacific Northwest Software Quality Conference.","author":"Czerwonka Jacek","year":"2008","unstructured":"Jacek Czerwonka . 2008 . Pairwise Testing in Real World Practical Extensions to Test Case Generators . In Proceedings of 24th Pacific Northwest Software Quality Conference. Jacek Czerwonka. 2008. Pairwise Testing in Real World Practical Extensions to Test Case Generators. In Proceedings of 24th Pacific Northwest Software Quality Conference."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46520-3_8"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/376656.376848"},{"key":"e_1_3_2_1_11_1","volume-title":"New Approaches in Virtualization of ECU Software Development. In SAE 2013 World Congress & Exhibition. SAE International.","author":"Francois Guillaume","year":"2013","unstructured":"Guillaume Francois . 2013 . New Approaches in Virtualization of ECU Software Development. In SAE 2013 World Congress & Exhibition. SAE International. Guillaume Francois. 2013. New Approaches in Virtualization of ECU Software Development. In SAE 2013 World Congress & Exhibition. SAE International."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45102-1_23"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2009.06.014"},{"key":"e_1_3_2_1_14_1","volume-title":"Fast LTL to B\u00fcchi Automata Translation","author":"Gastin Paul","unstructured":"Paul Gastin and Denis Oddoux . 2001. Fast LTL to B\u00fcchi Automata Translation . In Computer Aided Verification, G\u00e9rard Berry, Hubert Comon, and Alain Finkel (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 53--65. Paul Gastin and Denis Oddoux. 2001. Fast LTL to B\u00fcchi Automata Translation. In Computer Aided Verification, G\u00e9rard Berry, Hubert Comon, and Alain Finkel (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 53--65."},{"key":"e_1_3_2_1_15_1","unstructured":"Razorcat Development GmbH. 2019. Tessy. https:\/\/www.razorcat.com\/en\/product-tessy.html. Razorcat Development GmbH. 2019. Tessy. https:\/\/www.razorcat.com\/en\/product-tessy.html."},{"key":"e_1_3_2_1_16_1","unstructured":"Vector Informatik GmbH. 2019. VectorCAST. https:\/\/www.vectorcast.com\/. Vector Informatik GmbH. 2019. VectorCAST. https:\/\/www.vectorcast.com\/."},{"key":"e_1_3_2_1_17_1","unstructured":"Gwangmin Park Daehyun Ku Seonghun Lee Woong-Jae Won and Wooyoung Jung. 2009. Test methods of the AUTOSAR application software components. In 2009 ICCAS-SICE. 2601--2606. Gwangmin Park Daehyun Ku Seonghun Lee Woong-Jae Won and Wooyoung Jung. 2009. Test methods of the AUTOSAR application software components. In 2009 ICCAS-SICE. 2601--2606."},{"key":"e_1_3_2_1_18_1","volume-title":"Algebraic Methodology and Software Technology (AMAST'93)","author":"Halbwachs Nicolas","unstructured":"Nicolas Halbwachs , Fabienne Lagnier , and Pascal Raymond . 1994. Synchronous Observers and the Verification of Reactive Systems . In Algebraic Methodology and Software Technology (AMAST'93) , Maurice Nivat, Charles Rattray, Teodor Rus, and Giuseppe Scollo (Eds.). Springer London , London , 83--96. Nicolas Halbwachs, Fabienne Lagnier, and Pascal Raymond. 1994. Synchronous Observers and the Verification of Reactive Systems. In Algebraic Methodology and Software Technology (AMAST'93), Maurice Nivat, Charles Rattray, Teodor Rus, and Giuseppe Scollo (Eds.). Springer London, London, 83--96."},{"key":"e_1_3_2_1_19_1","volume-title":"Advances in Computing Science --- ASIAN'99","author":"Halbwachs Nicolas","unstructured":"Nicolas Halbwachs and Pascal Raymond . 1999. Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing . In Advances in Computing Science --- ASIAN'99 , P. S. Thiagarajan and Roland Yap (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 1--12. Nicolas Halbwachs and Pascal Raymond. 1999. Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. In Advances in Computing Science --- ASIAN'99, P. S. Thiagarajan and Roland Yap (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 1--12."},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 2009 IEEE\/IFIP International Symposium on Rapid System Prototyping (RSP'09)","author":"Hillenbrand Martin","unstructured":"Martin Hillenbrand and K. D. Muller-Glaser . 2009. An Approach to Supply Simulations of the Functional Environment of ECUs for Hardware-in-the-Loop Test Systems Based on EE-architectures Conform to AUTOSAR . In Proceedings of the 2009 IEEE\/IFIP International Symposium on Rapid System Prototyping (RSP'09) . IEEE Computer Society, Washington, DC, USA, 188--195. Martin Hillenbrand and K. D. Muller-Glaser. 2009. An Approach to Supply Simulations of the Functional Environment of ECUs for Hardware-in-the-Loop Test Systems Based on EE-architectures Conform to AUTOSAR. In Proceedings of the 2009 IEEE\/IFIP International Symposium on Rapid System Prototyping (RSP'09). IEEE Computer Society, Washington, DC, USA, 188--195."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.24"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/32.979992","article-title":"A test generation strategy for pairwise testing","volume":"28","author":"Tai Kuo-Chung","year":"2002","unstructured":"Kuo-Chung Tai and Yu Lei . 2002 . A test generation strategy for pairwise testing . IEEE Transactions on Software Engineering 28 , 1 (Jan 2002), 109--111. Kuo-Chung Tai and Yu Lei. 2002. A test generation strategy for pairwise testing. IEEE Transactions on Software Engineering 28, 1 (Jan 2002), 109--111.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_23_1","volume-title":"Kang-Bok Seo, and Woo Jin Lee.","author":"Lee Sunghee","year":"2016","unstructured":"Sunghee Lee , Bueng Il Hwang , Kang-Bok Seo, and Woo Jin Lee. 2016 . Relative Time Synchronization of Distributed Applications for Software-in-the-Loop Simulation. In 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) . 753--756. Sunghee Lee, Bueng Il Hwang, Kang-Bok Seo, and Woo Jin Lee. 2016. Relative Time Synchronization of Distributed Applications for Software-in-the-Loop Simulation. In 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES). 753--756."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Edmund M. Clarke Orna Grumberg and Doron Peled. 2001. Model Checking. MIT Press. Edmund M. Clarke Orna Grumberg and Doron Peled. 2001. Model Checking. MIT Press.","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"e_1_3_2_1_25_1","first-page":"10","article-title":"Orthogonal Latin Squares: An Application of Experiment Design to Compiler","volume":"28","author":"Mandl Robert","year":"1985","unstructured":"Robert Mandl . 1985 . Orthogonal Latin Squares: An Application of Experiment Design to Compiler Testing. Commun. ACM 28 , 10 (Oct. 1985), 1054--1058. Robert Mandl. 1985. Orthogonal Latin Squares: An Application of Experiment Design to Compiler Testing. Commun. ACM 28, 10 (Oct. 1985), 1054--1058.","journal-title":"Testing. Commun. ACM"},{"key":"e_1_3_2_1_26_1","unstructured":"MathWorks. 2019. Simulink. https:\/\/mathworks.com\/products\/simulink.html. MathWorks. 2019. Simulink. https:\/\/mathworks.com\/products\/simulink.html."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0022"},{"key":"e_1_3_2_1_28_1","volume-title":"Evaluation of Parallel Executions on Multiple Virtual ECU Systems. In WCX World Congress Experience. SAE International.","author":"Morishima Kenta","year":"2018","unstructured":"Kenta Morishima , Yasuo Sugure , and Yoshihiro Miyazaki . 2018 . Evaluation of Parallel Executions on Multiple Virtual ECU Systems. In WCX World Congress Experience. SAE International. Kenta Morishima, Yasuo Sugure, and Yoshihiro Miyazaki. 2018. Evaluation of Parallel Executions on Multiple Virtual ECU Systems. In WCX World Congress Experience. SAE International."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2819009.2819017"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.04.002"},{"key":"e_1_3_2_1_31_1","volume-title":"The Versatile Synchronous Observer","author":"Rushby John","unstructured":"John Rushby . 2014. The Versatile Synchronous Observer . Springer Berlin Heidelberg, Berlin , Heidelberg , 110--128. John Rushby. 2014. The Versatile Synchronous Observer. Springer Berlin Heidelberg, Berlin, Heidelberg, 110--128."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1080\/00423110600866491"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.125"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.10.507"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICUFN.2016.7536980"},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the 33rd International Conference on Software Engineering (Waikiki","author":"Staats Matt","unstructured":"Matt Staats , Michael W. Whalen , and Mats P.E. Heimdahl . 2011. Programs, Tests, and Oracles: The Foundations of Testing Revisited . In Proceedings of the 33rd International Conference on Software Engineering (Waikiki , Honolulu, HI, USA). 391--400. Matt Staats, Michael W. Whalen, and Mats P.E. Heimdahl. 2011. Programs, Tests, and Oracles: The Foundations of Testing Revisited. In Proceedings of the 33rd International Conference on Software Engineering (Waikiki, Honolulu, HI, USA). 391--400."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00366-012-0286-6"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.egypro.2014.01.084"}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","location":"Seoul South Korea","acronym":"ICSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377813.3381346","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377813.3381346","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:51Z","timestamp":1750199931000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377813.3381346"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":38,"alternative-id":["10.1145\/3377813.3381346","10.1145\/3377813"],"URL":"https:\/\/doi.org\/10.1145\/3377813.3381346","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}