{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:06:35Z","timestamp":1776373595386,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":86,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T00:00:00Z","timestamp":1565568000000},"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":[[2019,8,12]]},"DOI":"10.1145\/3338906.3338920","type":"proceedings-article","created":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T12:21:03Z","timestamp":1565353263000},"page":"27-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors"],"prefix":"10.1145","author":[{"given":"Claudio","family":"Menghi","sequence":"first","affiliation":[{"name":"University of Luxembourg, Luxembourg"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}]},{"given":"Khouloud","family":"Gaaloul","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}]}],"member":"320","published-online":{"date-parts":[[2019,8,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019.  2019."},{"key":"e_1_3_2_1_2_1","unstructured":"https:\/\/github.com\/SNTSVV\/SOCRaTEs. 2019.  https:\/\/github.com\/SNTSVV\/SOCRaTEs. 2019."},{"key":"e_1_3_2_1_3_1","volume-title":"https:\/\/luxspace.lu\/","year":"2019","unstructured":"LuxSpace. https:\/\/luxspace.lu\/ 2019 . Mathworks. https:\/\/mathworks.com. 2019. Online for m for accessing companion material. https:\/\/claudiomenghi.github.io\/socratesForm.html. 2019. LuxSpace. https:\/\/luxspace.lu\/ 2019. Mathworks. https:\/\/mathworks.com. 2019. Online form for accessing companion material. https:\/\/claudiomenghi.github.io\/socratesForm.html. 2019."},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/qracorp.com\/","author":"QRA Corp.","year":"2019","unstructured":"QRA Corp. https:\/\/qracorp.com\/ 2019 . QVtrace . https:\/\/qracorp.com\/qvtrace\/. 2019. reactive-systems. https:\/\/www.reactivesystems.com. 2019. Robust Control Toolbox. https:\/\/nl.mathworks.com\/products\/robust.html. 2019. Signal To Noise Ratio. https:\/\/en.wikipedia.org\/wiki\/Signaltonoise_ratio. 2019. QRA Corp. https:\/\/qracorp.com\/ 2019. QVtrace. https:\/\/qracorp.com\/qvtrace\/. 2019. reactive-systems. https:\/\/www.reactivesystems.com. 2019. Robust Control Toolbox. https:\/\/nl.mathworks.com\/products\/robust.html. 2019. Signal To Noise Ratio. https:\/\/en.wikipedia.org\/wiki\/Signaltonoise_ratio. 2019."},{"key":"e_1_3_2_1_5_1","volume-title":"https:\/\/nl.mathworks.com\/products\/ sldesignverifier.html","author":"Verifier Simulink Design","year":"2019","unstructured":"Simulink Design Verifier . https:\/\/nl.mathworks.com\/products\/ sldesignverifier.html . 2019 . Simulink Solvers . https:\/\/nl.mathworks.com\/help\/simulink\/ug\/typesofsolvers.html. 2019. Sirius. https:\/\/www.eclipse.org\/sirius\/. 2019. Simulink Design Verifier. https:\/\/nl.mathworks.com\/products\/ sldesignverifier.html. 2019. Simulink Solvers. https:\/\/nl.mathworks.com\/help\/simulink\/ug\/typesofsolvers.html. 2019. Sirius. https:\/\/www.eclipse.org\/sirius\/. 2019."},{"key":"e_1_3_2_1_6_1","volume-title":"https:\/\/nl.mathworks.com\/help\/robust\/ug\/ uncertainrealparameters.html","author":"Parameters Uncertain Real","year":"2019","unstructured":"Uncertain Real Parameters . https:\/\/nl.mathworks.com\/help\/robust\/ug\/ uncertainrealparameters.html . 2019 . Xtext . https:\/\/www.eclipse.org\/Xtext\/. Uncertain Real Parameters. https:\/\/nl.mathworks.com\/help\/robust\/ug\/ uncertainrealparameters.html. 2019. Xtext. https:\/\/www.eclipse.org\/Xtext\/."},{"key":"e_1_3_2_1_7_1","unstructured":"Houssam Abbas Georgios E. Fainekos Sriram Sankaranarayanan Franjo Ivancic and Aarti Gupta. 2013.  Houssam Abbas Georgios E. Fainekos Sriram Sankaranarayanan Franjo Ivancic and Aarti Gupta. 2013."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038685"},{"key":"e_1_3_2_1_10_1","unstructured":"Rajeev Alur. 2015.  Rajeev Alur. 2015."},{"key":"e_1_3_2_1_11_1","unstructured":"Principles of Cyber-Physical Systems. MIT Press.   Principles of Cyber-Physical Systems. MIT Press."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1464"},{"key":"e_1_3_2_1_14_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems, Parosh Aziz Abdulla and K","author":"Annpureddy Yashwanth","unstructured":"Yashwanth Annpureddy , Che Liu , Georgios Fainekos , and Sriram Sankaranarayanan . 2011. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems . In Tools and Algorithms for the Construction and Analysis of Systems, Parosh Aziz Abdulla and K . Rustan M. Leino (Eds.). Springer , 254\u2013257. Yashwanth Annpureddy, Che Liu, Georgios Fainekos, and Sriram Sankaranarayanan. 2011. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. In Tools and Algorithms for the Construction and Analysis of Systems, Parosh Aziz Abdulla and K. Rustan M. Leino (Eds.). Springer, 254\u2013257."},{"key":"e_1_3_2_1_15_1","unstructured":"Kendall E Atkinson. 2008.  Kendall E Atkinson. 2008."},{"key":"e_1_3_2_1_16_1","unstructured":"An introduction to numerical analysis. John Wiley & Sons.  An introduction to numerical analysis. John Wiley & Sons."},{"key":"e_1_3_2_1_17_1","unstructured":"Alexey Bakhirkin Thomas Ferr\u00e8re Thomas A Henzinger and Dejan Ni\u010dkovi\u0107. 2018.  Alexey Bakhirkin Thomas Ferr\u00e8re Thomas A Henzinger and Dejan Ni\u010dkovi\u0107. 2018."},{"key":"e_1_3_2_1_18_1","volume-title":"International Conference on Embedded Software. IEEE Press, 1.","author":"The","unstructured":"The first-order logic of signals: keynote . In International Conference on Embedded Software. IEEE Press, 1. The first-order logic of signals: keynote. In International Conference on Embedded Software. IEEE Press, 1."},{"key":"e_1_3_2_1_19_1","unstructured":"Alexey Bakhirkin Thomas Ferr\u00e8re Thomas A. Henzinger and Dejan Ni\u010dkovi\u0107. 2018.  Alexey Bakhirkin Thomas Ferr\u00e8re Thomas A. Henzinger and Dejan Ni\u010dkovi\u0107. 2018."},{"key":"e_1_3_2_1_20_1","volume-title":"First-order Logic of Signals: Keynote. In International Conference on Embedded Software (EMSOFT). IEEE, Article 1, 10 pages. http:\/\/dl.acm.org\/ citation.cfm?id=3283535","author":"The","unstructured":"The First-order Logic of Signals: Keynote. In International Conference on Embedded Software (EMSOFT). IEEE, Article 1, 10 pages. http:\/\/dl.acm.org\/ citation.cfm?id=3283535 .3283536 The First-order Logic of Signals: Keynote. In International Conference on Embedded Software (EMSOFT). IEEE, Article 1, 10 pages. http:\/\/dl.acm.org\/ citation.cfm?id=3283535.3283536"},{"key":"e_1_3_2_1_21_1","volume-title":"Marco Celia, and Vassilios Tsachouridis.","author":"Balsini Alessio","year":"2017","unstructured":"Alessio Balsini , Marco Di Natale , Marco Celia, and Vassilios Tsachouridis. 2017 . Alessio Balsini, Marco Di Natale, Marco Celia, and Vassilios Tsachouridis. 2017."},{"key":"e_1_3_2_1_22_1","volume-title":"Industrial Embedded Systems (SIES)","author":"Generation","unstructured":"Generation of Simulink monitors for control applications from formal requirements. In Industrial Embedded Systems (SIES) . IEEE , 1\u20139. Generation of Simulink monitors for control applications from formal requirements. In Industrial Embedded Systems (SIES). IEEE, 1\u20139."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-016-0207-9"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_25_1","volume-title":"Lectures on Runtime Verification","author":"Bartocci Ezio","unstructured":"Ezio Bartocci , Jyotirmoy Deshmukh , Alexandre Donz\u00e9 , Georgios Fainekos , Oded Maler , Dejan Ni\u010dkovi\u0107 , and Sriram Sankaranarayanan . 2018. Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications . In Lectures on Runtime Verification . Springer , 135\u2013175. Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donz\u00e9, Georgios Fainekos, Oded Maler, Dejan Ni\u010dkovi\u0107, and Sriram Sankaranarayanan. 2018. Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. In Lectures on Runtime Verification. Springer, 135\u2013175."},{"key":"e_1_3_2_1_26_1","unstructured":"Ezio Bartocci Thomas Ferr\u00e8re Niveditha Manjunath and Dejan Ni\u010dkovi\u0107. 2018.  Ezio Bartocci Thomas Ferr\u00e8re Niveditha Manjunath and Dejan Ni\u010dkovi\u0107. 2018."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178131"},{"key":"e_1_3_2_1_28_1","volume-title":"Shiva Nejat.","author":"Khouloud Gaaloul","year":"2019","unstructured":"Khouloud Gaaloul Lionel C. Briand Claudio Menghi , Shiva Nejat. 2019 . SOCRaTEs Tool . Khouloud Gaaloul Lionel C. Briand Claudio Menghi, Shiva Nejat. 2019. SOCRaTEs Tool."},{"key":"e_1_3_2_1_29_1","unstructured":"D. Coppit and J. M. Haddox-Schatz. 2005.  D. Coppit and J. M. Haddox-Schatz. 2005."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2005.33"},{"key":"e_1_3_2_1_31_1","unstructured":"Eckert Claudia M de Weck Olivier Clarkson P John etal 2007. A classification of uncertainty for early product and system design. Guidelines for a Decision Support Method Adapted to NPD Processes (2007) 159\u2013160.  Eckert Claudia M de Weck Olivier Clarkson P John et al. 2007. A classification of uncertainty for early product and system design. Guidelines for a Decision Support Method Adapted to NPD Processes (2007) 159\u2013160."},{"key":"e_1_3_2_1_32_1","unstructured":"L. K. Dillon and Y. S. Ramakrishna. 1996.  L. K. Dillon and Y. S. Ramakrishna. 1996."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239116"},{"key":"e_1_3_2_1_34_1","volume-title":"Specification and Testing of Temporal Properties of Concurrent System Designs","author":"Dillon Laura K","unstructured":"Laura K Dillon and Qing Yu. 1994. Specification and Testing of Temporal Properties of Concurrent System Designs . University of California at Santa Barbara . Laura K Dillon and Qing Yu. 1994. Specification and Testing of Temporal Properties of Concurrent System Designs. University of California at Santa Barbara."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_19"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885174.1885183"},{"key":"e_1_3_2_1_38_1","unstructured":"Sebastian Elbaum and David S Rosenblum. {n.d.}. Known unknowns: testing in the presence of uncertainty.  Sebastian Elbaum and David S Rosenblum. {n.d.}. Known unknowns: testing in the presence of uncertainty."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_3_2_1_40_1","unstructured":"Farid Golnaraghi and BC Kuo. 2010.  Farid Golnaraghi and BC Kuo. 2010."},{"key":"e_1_3_2_1_41_1","volume-title":"Complex Variables 2","author":"Automatic","year":"2010","unstructured":"Automatic control systems. Complex Variables 2 ( 2010 ), 1\u20131. Automatic control systems. Complex Variables 2 (2010), 1\u20131."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"e_1_3_2_1_44_1","unstructured":"Bardh Hoxha Nikolaos Mavridis and Georgios Fainekos. 2015.  Bardh Hoxha Nikolaos Mavridis and Georgios Fainekos. 2015."},{"key":"e_1_3_2_1_45_1","volume-title":"Intelligent Robots and Systems (IROS)","author":"VISPEC","unstructured":"VISPEC : A graphical tool for elicitation of MTL requirements . In Intelligent Robots and Systems (IROS) . IEEE , 3486\u20133492. VISPEC: A graphical tool for elicitation of MTL requirements. In Intelligent Robots and Systems (IROS). IEEE, 3486\u20133492."},{"key":"e_1_3_2_1_46_1","volume-title":"International Standard. IEC.","author":"IEC","year":"2010","unstructured":"IEC 61508 ( 2010 ) {n.d.}. Functional safety of electrical\/electronic\/programmable electronic safety-related systems (2.0 ed.) . International Standard. IEC. IEC 61508 (2010) {n.d.}. Functional safety of electrical\/electronic\/programmable electronic safety-related systems (2.0 ed.). International Standard. IEC."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46982-9_13"},{"key":"e_1_3_2_1_48_1","volume-title":"Albert George Holzman, and Jack Belzer","author":"Kent Allen","year":"1975","unstructured":"Allen Kent , Albert George Holzman, and Jack Belzer . 1975 . Allen Kent, Albert George Holzman, and Jack Belzer. 1975."},{"key":"e_1_3_2_1_49_1","unstructured":"Encyclopedia of computer science and technology. (1975).  Encyclopedia of computer science and technology. (1975)."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"e_1_3_2_1_51_1","unstructured":"Kim G Larsen and Bent Thomsen. 1988.  Kim G Larsen and Bent Thomsen. 1988."},{"key":"e_1_3_2_1_52_1","volume-title":"Logic in Computer Science","author":"A","unstructured":"A modal process logic. In Logic in Computer Science . IEEE , 203\u2013210. A modal process logic. In Logic in Computer Science. IEEE, 203\u2013210."},{"key":"e_1_3_2_1_53_1","volume-title":"Recent Trends in Data Type Specification, Magne Haveraaen, Olaf Owe, and Ole-Johan Dahl (Eds.)","author":"Gall Pascale Le","unstructured":"Pascale Le Gall and Agn\u00e8s Arnould . 1996. Formal specifications and test: Correctness and oracle . In Recent Trends in Data Type Specification, Magne Haveraaen, Olaf Owe, and Ole-Johan Dahl (Eds.) . Springer . Pascale Le Gall and Agn\u00e8s Arnould. 1996. Formal specifications and test: Correctness and oracle. In Recent Trends in Data Type Specification, Magne Haveraaen, Olaf Owe, and Ole-Johan Dahl (Eds.). Springer."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0965-9978(01)00021-7"},{"key":"e_1_3_2_1_55_1","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Maler Oded","unstructured":"Oded Maler and Dejan Nickovic . 2004. Monitoring temporal properties of continuous signals . In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems . Springer , 152\u2013166. Oded Maler and Dejan Nickovic. 2004. Monitoring temporal properties of continuous signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems. Springer, 152\u2013166."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0247-9"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/210223.210226"},{"key":"e_1_3_2_1_58_1","volume-title":"Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior","author":"Matinnejad Reza","year":"2018","unstructured":"Reza Matinnejad , Shiva Nejati , Lionel Briand , and Thomas Bruckmann . 2018. Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior . IEEE Transactions on Software Engineering ( 2018 ). Reza Matinnejad, Shiva Nejati, Lionel Briand, and Thomas Bruckmann. 2018. Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior. IEEE Transactions on Software Engineering (2018)."},{"key":"e_1_3_2_1_59_1","unstructured":"Reza Matinnejad Shiva Nejati Lionel C. Briand and Thomas Bruckmann. 2016.  Reza Matinnejad Shiva Nejati Lionel C. Briand and Thomas Bruckmann. 2016."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884797"},{"key":"e_1_3_2_1_61_1","unstructured":"Sandro Morasca Angelo Morzenti and Pieluigi SanPietro. 1996.  Sandro Morasca Angelo Morzenti and Pieluigi SanPietro. 1996."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226300"},{"key":"e_1_3_2_1_63_1","unstructured":"Paulo A Nardi and Eduardo F Damasceno. 2015. A Survey on Test Oracles. (2015).  Paulo A Nardi and Eduardo F Damasceno. 2015. A Survey on Test Oracles. (2015)."},{"key":"e_1_3_2_1_64_1","volume-title":"International Conference on Embedded and Real-Time Computing Systems and Applications. IEEE, 330\u2013333","author":"Nardi P. A.","unstructured":"P. A. Nardi , M. E. Delamaro , and L. Baresi . 2013. Specifying automated oracles for Simulink models . In International Conference on Embedded and Real-Time Computing Systems and Applications. IEEE, 330\u2013333 . P. A. Nardi, M. E. Delamaro, and L. Baresi. 2013. Specifying automated oracles for Simulink models. In International Conference on Embedded and Real-Time Computing Systems and Applications. IEEE, 330\u2013333."},{"key":"e_1_3_2_1_65_1","unstructured":"Isaac Newton. 1774.  Isaac Newton. 1774."},{"key":"e_1_3_2_1_66_1","unstructured":"Methodus fluxionum et seriarum infinitarum. Opuscula mathematica philosophica et philologica 1 (1774).  Methodus fluxionum et seriarum infinitarum. Opuscula mathematica philosophica et philologica 1 (1774)."},{"key":"e_1_3_2_1_67_1","volume-title":"Advances in computers.","author":"Oliveira Rafael AP","unstructured":"Rafael AP Oliveira , Upulee Kanewala , and Paulo A Nardi . 2014. Automated test oracles: State of the art, taxonomies, and trends . In Advances in computers. Vol. 95 . Elsevier , 113\u2013199. Rafael AP Oliveira, Upulee Kanewala, and Paulo A Nardi. 2014. Automated test oracles: State of the art, taxonomies, and trends. In Advances in computers. Vol. 95. Elsevier, 113\u2013199."},{"key":"e_1_3_2_1_68_1","unstructured":"Mauro Pezze and Cheng Zhang. 2014.  Mauro Pezze and Cheng Zhang. 2014."},{"key":"e_1_3_2_1_69_1","volume-title":"Advances in Computers.","author":"Automated","unstructured":"Automated test oracles : A survey . In Advances in Computers. Vol. 95 . Elsevier , 1\u201348. Automated test oracles: A survey. In Advances in Computers. Vol. 95. Elsevier, 1\u201348."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.02.002"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"crossref","unstructured":"Andr\u00e9 Platzer. 2018. Foundations of Cyber-Physical Systems.   Andr\u00e9 Platzer. 2018. Foundations of Cyber-Physical Systems.","DOI":"10.1007\/978-3-319-63588-0"},{"key":"e_1_3_2_1_72_1","volume-title":"Stephanie Leif Aha, and T. Owen O\u2019Malley","author":"Richardson Debra J.","year":"1992","unstructured":"Debra J. Richardson , Stephanie Leif Aha, and T. Owen O\u2019Malley . 1992 . Debra J. Richardson, Stephanie Leif Aha, and T. Owen O\u2019Malley. 1992."},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143100"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-011-0145-4"},{"key":"e_1_3_2_1_75_1","unstructured":"Manoranjan Satpathy Michael Butler Michael Leuschel and S. Ramesh. 2007.  Manoranjan Satpathy Michael Butler Michael Leuschel and S. Ramesh. 2007."},{"key":"e_1_3_2_1_76_1","volume-title":"Tests and Proofs, Yuri Gurevich ESEC\/FSE \u201919, August 26\u201330","author":"Formal Specifications Automatic Testing","year":"2019","unstructured":"Automatic Testing from Formal Specifications . In Tests and Proofs, Yuri Gurevich ESEC\/FSE \u201919, August 26\u201330 , 2019 , Tallinn, Estonia Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, and Lionel C. Briand and Bertrand Meyer (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 95\u2013 113. Automatic Testing from Formal Specifications. In Tests and Proofs, Yuri Gurevich ESEC\/FSE \u201919, August 26\u201330, 2019, Tallinn, Estonia Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, and Lionel C. Briand and Bertrand Meyer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 95\u2013 113."},{"key":"e_1_3_2_1_77_1","volume-title":"Scalable Online First-Order Monitoring","author":"Schneider Joshua","unstructured":"Joshua Schneider , David Basin , Frederik Brix , Sr\u0111an Krsti\u0107 , and Dmitriy Traytel . 2018. Scalable Online First-Order Monitoring . In Runtime Verification, Christian Colombo and Martin Leucker (Eds.). Springer , Cham , 353\u2013371. Joshua Schneider, David Basin, Frederik Brix, Sr\u0111an Krsti\u0107, and Dmitriy Traytel. 2018. Scalable Online First-Order Monitoring. In Runtime Verification, Christian Colombo and Martin Leucker (Eds.). Springer, Cham, 353\u2013371."},{"key":"e_1_3_2_1_78_1","volume-title":"Signal Convolution Logic. arXiv preprint arXiv:1806.00238","author":"Silvetti Simone","year":"2018","unstructured":"Simone Silvetti , Laura Nenzi , Ezio Bartocci , and Luca Bortolussi . 2018. Signal Convolution Logic. arXiv preprint arXiv:1806.00238 ( 2018 ). Simone Silvetti, Laura Nenzi, Ezio Bartocci, and Luca Bortolussi. 2018. Signal Convolution Logic. arXiv preprint arXiv:1806.00238 (2018)."},{"key":"e_1_3_2_1_79_1","volume-title":"Digital Avionics Systems Conference. IEEE, 6A2\u20136A2.","author":"Srinivasan J.","unstructured":"J. Srinivasan and N. Leveson . 2002. Automated testing from specifications . In Digital Avionics Systems Conference. IEEE, 6A2\u20136A2. J. Srinivasan and N. Leveson. 2002. Automated testing from specifications. In Digital Avionics Systems Conference. IEEE, 6A2\u20136A2."},{"key":"e_1_3_2_1_80_1","volume-title":"Test Templates: A Specification-based Testing Framework. In International Conference on Software Engineering (ICSE). IEEE.","author":"Stocks P. A.","unstructured":"P. A. Stocks and D. A. Carrington . 1993 . Test Templates: A Specification-based Testing Framework. In International Conference on Software Engineering (ICSE). IEEE. P. A. Stocks and D. A. Carrington. 1993. Test Templates: A Specification-based Testing Framework. In International Conference on Software Engineering (ICSE). IEEE."},{"key":"e_1_3_2_1_81_1","unstructured":"Kosuke Watanabe Eunsuk Kang Chung-Wei Lin and Shinichi Shiraishi. 2018.  Kosuke Watanabe Eunsuk Kang Chung-Wei Lin and Shinichi Shiraishi. 2018."},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3199856"},{"key":"e_1_3_2_1_83_1","volume-title":"Betty HC Cheng, and Jean-Michel Bruel","author":"Whittle Jon","year":"2009","unstructured":"Jon Whittle , Pete Sawyer , Nelly Bencomo , Betty HC Cheng, and Jean-Michel Bruel . 2009 . Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty HC Cheng, and Jean-Michel Bruel. 2009."},{"key":"e_1_3_2_1_84_1","volume-title":"Requirements Engineering Conference. IEEE, 79\u201388","author":"Relax","unstructured":"Relax : Incorporating uncertainty into the specification of self-adaptive systems . In Requirements Engineering Conference. IEEE, 79\u201388 . Relax: Incorporating uncertainty into the specification of self-adaptive systems. In Requirements Engineering Conference. IEEE, 79\u201388."},{"key":"e_1_3_2_1_85_1","unstructured":"Justyna Zander Ina Schieferdecker and Pieter J Mosterman. 2012.  Justyna Zander Ina Schieferdecker and Pieter J Mosterman. 2012."},{"key":"e_1_3_2_1_86_1","unstructured":"Model-based testing for embedded systems. CRC Press.   Model-based testing for embedded systems. CRC Press."},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2496293"}],"event":{"name":"ESEC\/FSE '19: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Tallinn Estonia","acronym":"ESEC\/FSE '19","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2019 27th 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\/3338906.3338920","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3338906.3338920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:20Z","timestamp":1750206380000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,12]]},"references-count":86,"alternative-id":["10.1145\/3338906.3338920","10.1145\/3338906"],"URL":"https:\/\/doi.org\/10.1145\/3338906.3338920","relation":{},"subject":[],"published":{"date-parts":[[2019,8,12]]},"assertion":[{"value":"2019-08-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}