{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T10:40:55Z","timestamp":1755600055394,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,30]],"date-time":"2015-08-30T00:00:00Z","timestamp":1440892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001866","name":"Fonds National de la Recherche Luxembourg","doi-asserted-by":"publisher","award":["FNR\/P10\/03 , FNR 4878364"],"award-info":[{"award-number":["FNR\/P10\/03 , FNR 4878364"]}],"id":[{"id":"10.13039\/501100001866","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,8,30]]},"DOI":"10.1145\/2786805.2786818","type":"proceedings-article","created":{"date-parts":[[2015,8,26]],"date-time":"2015-08-26T16:48:13Z","timestamp":1440607693000},"page":"84-95","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Effective test suites for mixed discrete-continuous stateflow controllers"],"prefix":"10.1145","author":[{"given":"Reza","family":"Matinnejad","sequence":"first","affiliation":[{"name":"University of Luxembourg, Luxembourg"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}]},{"given":"Thomas","family":"Bruckmann","sequence":"additional","affiliation":[{"name":"Delphi Automotive Systems, Luxembourg"}]}],"member":"320","published-online":{"date-parts":[[2015,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1348","volume-title":"Proceedings of the 34th International Conference on Software Engineering","author":"Alshahwan N.","unstructured":"N. Alshahwan and M. Harman . Augmenting test suites effectiveness by increasing output diversity . In Proceedings of the 34th International Conference on Software Engineering , pages 1345\u2013 1348 . IEEE Press, 2012. N. Alshahwan and M. Harman. Augmenting test suites effectiveness by increasing output diversity. In Proceedings of the 34th International Conference on Software Engineering, pages 1345\u20131348. IEEE Press, 2012."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610413"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001452"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2011.89"},{"key":"e_1_3_2_1_5_1","volume-title":"The oracle problem in software testing: A survey","author":"Barr E. T.","year":"2015","unstructured":"E. T. Barr , M. Harman , P. McMinn , M. Shahbaz , and S. Yoo . The oracle problem in software testing: A survey . IEEE transactions on software engineering, 2015 . E. T. Barr, M. Harman, P. McMinn, M. Shahbaz, and S. Yoo. The oracle problem in software testing: A survey. IEEE transactions on software engineering, 2015."},{"key":"e_1_3_2_1_6_1","volume-title":"Testing object-oriented systems: models, patterns, and tools","author":"Binder R.","year":"2000","unstructured":"R. Binder . Testing object-oriented systems: models, patterns, and tools . Addison-Wesley Professional , 2000 . R. Binder. Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Professional, 2000."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERE.2012.38"},{"key":"e_1_3_2_1_8_1","volume-title":"Elementary Statistics for the Social Sciences: Study Guide","author":"Capon J. A.","year":"1991","unstructured":"J. A. Capon . Elementary Statistics for the Social Sciences: Study Guide . Wadsworth Publishing Company , 1991 . J. A. Capon. Elementary Statistics for the Social Sciences: Study Guide. Wadsworth Publishing Company, 1991."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.02.022"},{"key":"e_1_3_2_1_10_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , Jr., O. Grumberg , and D. A. Peled . Model Checking . MIT Press , 1999 . E. M. Clarke, Jr., O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70930-5_6"},{"key":"e_1_3_2_1_12_1","volume-title":"Statistical power analysis for the behavioral sciences (rev)","author":"Cohen J.","year":"1977","unstructured":"J. Cohen . Statistical power analysis for the behavioral sciences (rev) . Lawrence Erlbaum Associates, Inc , 1977 . J. Cohen. Statistical power analysis for the behavioral sciences (rev). Lawrence Erlbaum Associates, Inc, 1977."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1202877"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2005.33"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2643019"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TwinPeaks.2013.6614716"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.12"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788803"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568271"},{"key":"e_1_3_2_1_21_1","volume-title":"Essentials of metaheuristics","author":"Luke S.","year":"2009","unstructured":"S. Luke . Essentials of metaheuristics , volume 113 . Lulu Raleigh , 2009 . S. Luke. Essentials of metaheuristics, volume 113. Lulu Raleigh, 2009."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242663"},{"key":"e_1_3_2_1_23_1","volume-title":"The modified version of GCS Stateflow. https:\/\/drive.google.com\/file\/d\/ 0B104wPnuxJVhSU44WFlTVE84bmM\/view?usp=sharing. {Online","author":"Matinnejad R.","year":"2015","unstructured":"R. Matinnejad . The modified version of GCS Stateflow. https:\/\/drive.google.com\/file\/d\/ 0B104wPnuxJVhSU44WFlTVE84bmM\/view?usp=sharing. {Online ; accessed 10- March - 2015 }. R. Matinnejad. The modified version of GCS Stateflow. https:\/\/drive.google.com\/file\/d\/ 0B104wPnuxJVhSU44WFlTVE84bmM\/view?usp=sharing. {Online; accessed 10-March-2015}."},{"key":"e_1_3_2_1_24_1","first-page":"157","volume-title":"Search Based Software Engineering","author":"Matinnejad R.","unstructured":"R. Matinnejad , S. Nejati , L. Briand , T. Bruckmann , and C. Poull . Automated model-in-the-loop testing of continuous controllers using search . In Search Based Software Engineering , pages 141\u2013 157 . Springer, 2013. R. Matinnejad, S. Nejati, L. Briand, T. Bruckmann, and C. Poull. Automated model-in-the-loop testing of continuous controllers using search. In Search Based Software Engineering, pages 141\u2013157. Springer, 2013."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.05.007"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868048.1868049"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1489"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572280"},{"key":"e_1_3_2_1_30_1","first-page":"2012, pages 308","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE)","author":"Peranandam P.","year":"2012","unstructured":"P. Peranandam , S. Raviram , M. Satpathy , A. Yeolekar , A. Gadkari , and S. Ramesh . An integrated test generation tool for enhanced coverage of simulink\/stateflow models. In Design , Automation & Test in Europe Conference & Exhibition (DATE) , 2012 , pages 308\u2013& Exhibition (DATE), 2012, pages 308\u2013\u2013311 . IEEE, 2013. P. Peranandam, S. Raviram, M. Satpathy, A. Yeolekar, A. Gadkari, and S. Ramesh. An integrated test generation tool for enhanced coverage of simulink\/stateflow models. In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012, pages 308\u2013& Exhibition (DATE), 2012, pages 308\u2013\u2013311. IEEE, 2013."},{"key":"e_1_3_2_1_31_1","first-page":"84","volume-title":"14th IEEE International Workshop on Rapid Systems Prototyping, Proceedings.","author":"Philipps J.","unstructured":"J. Philipps , G. Hahn , A. Pretschner , and T. Stauner . Tests for mixed discrete-continuous reactive systems . In 14th IEEE International Workshop on Rapid Systems Prototyping, Proceedings. , pages 78\u2013 84 . IEEE, 2003. J. Philipps, G. Hahn, A. Pretschner, and T. Stauner. Tests for mixed discrete-continuous reactive systems. In 14th IEEE International Workshop on Rapid Systems Prototyping, Proceedings., pages 78\u201384. IEEE, 2003."},{"key":"e_1_3_2_1_32_1","first-page":"103","volume-title":"Model-Driven Engineering Languages and Systems","author":"Pretschner A.","unstructured":"A. Pretschner , D. Holling , R. Eschbach , and M. Gemmar . A generic fault model for quality assurance . In Model-Driven Engineering Languages and Systems , pages 87\u2013 103 . Springer, 2013. A. Pretschner, D. Holling, R. Eschbach, and M. Gemmar. A generic fault model for quality assurance. In Model-Driven Engineering Languages and Systems, pages 87\u2013103. Springer, 2013."},{"key":"e_1_3_2_1_33_1","volume-title":"http:\/\/www.reactive-systems.com\/ simulink-testing-validation.html","author":"Reactive Systems Inc. Reactis Tester.","year":"2010","unstructured":"Reactive Systems Inc. Reactis Tester. http:\/\/www.reactive-systems.com\/ simulink-testing-validation.html , 2010 . {Online; accessed 25-Nov-2013}. Reactive Systems Inc. Reactis Tester. http:\/\/www.reactive-systems.com\/ simulink-testing-validation.html, 2010. {Online; accessed 25-Nov-2013}."},{"key":"e_1_3_2_1_34_1","volume-title":"http:\/\/www.reactive-systems.com\/ simulink-testing-validation.html","author":"Reactive Systems Inc. Reactis Validator.","year":"2010","unstructured":"Reactive Systems Inc. Reactis Validator. http:\/\/www.reactive-systems.com\/ simulink-testing-validation.html , 2010 . {Online; accessed 25-Nov-2013}. Reactive Systems Inc. Reactis Validator. http:\/\/www.reactive-systems.com\/ simulink-testing-validation.html, 2010. {Online; accessed 25-Nov-2013}."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143100"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.444"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450088"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985847"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000026091.03793.cf"},{"key":"e_1_3_2_1_40_1","unstructured":"The MathWorks Inc. Common Modeling Errors Stateflow Can Detect. http:\/\/nl.mathworks.com\/help\/stateflow\/ug\/ common-modeling-errors-the-debugger-can-detect.html. {Online; accessed 23-Fev-2015}.  The MathWorks Inc. Common Modeling Errors Stateflow Can Detect. http:\/\/nl.mathworks.com\/help\/stateflow\/ug\/ common-modeling-errors-the-debugger-can-detect.html. {Online; accessed 23-Fev-2015}."},{"key":"e_1_3_2_1_41_1","unstructured":"The MathWorks Inc. Designing a Guidance System in MATLAB\/Simulink. http:\/\/nl.mathworks.com\/help\/simulink\/examples\/ designing-a-guidance-system-in-matlab-and-simulink. html. {Online; accessed 23-Fev-2015}.  The MathWorks Inc. Designing a Guidance System in MATLAB\/Simulink. http:\/\/nl.mathworks.com\/help\/simulink\/examples\/ designing-a-guidance-system-in-matlab-and-simulink. html. {Online; accessed 23-Fev-2015}."},{"key":"e_1_3_2_1_42_1","unstructured":"The MathWorks Inc. Simulink Design Verifier. http:\/\/nl.mathworks.com\/products\/sldesignverifier\/ ?refresh=true. {Online; accessed 6-May-2015}.  The MathWorks Inc. Simulink Design Verifier. http:\/\/nl.mathworks.com\/products\/sldesignverifier\/ ?refresh=true. {Online; accessed 6-May-2015}."},{"key":"e_1_3_2_1_43_1","volume-title":"http:\/\/www.mathworks.nl\/products\/stateflow. {Online","author":"The MathWorks Inc. Stateflow.","year":"2015","unstructured":"The MathWorks Inc. Stateflow. http:\/\/www.mathworks.nl\/products\/stateflow. {Online ; accessed 23-Fev- 2015 }. The MathWorks Inc. Stateflow. http:\/\/www.mathworks.nl\/products\/stateflow. {Online; accessed 23-Fev-2015}."},{"key":"e_1_3_2_1_44_1","unstructured":"The MathWorks Inc. Stateflow Model Examples. http:\/\/nl.mathworks.com\/products\/stateflow\/ model-examples.html. {Online; accessed 23-Fev-2015}.  The MathWorks Inc. Stateflow Model Examples. http:\/\/nl.mathworks.com\/products\/stateflow\/ model-examples.html. {Online; accessed 23-Fev-2015}."},{"key":"e_1_3_2_1_45_1","volume-title":"SRI International","author":"Tiwari A.","year":"2002","unstructured":"A. Tiwari . Formal semantics and analysis methods for simulink stateflow models. Unpublished report , SRI International , 2002 . A. Tiwari. Formal semantics and analysis methods for simulink stateflow models. Unpublished report, SRI International, 2002."},{"key":"e_1_3_2_1_46_1","volume-title":"Oxford University Press","author":"Tyagi A. K.","year":"2012","unstructured":"A. K. Tyagi . MATLAB and SIMULINK for Engineers . Oxford University Press , 2012 . A. K. Tyagi. MATLAB and SIMULINK for Engineers. Oxford University Press, 2012."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007526"},{"key":"e_1_3_2_1_48_1","unstructured":"Wikipedia. Open-loop controller. http:\/\/en.wikipedia.org\/wiki\/Open-loop_controller. {Online; last accessed 10-Nov-2014}.  Wikipedia. Open-loop controller. http:\/\/en.wikipedia.org\/wiki\/Open-loop_controller. {Online; last accessed 10-Nov-2014}."},{"key":"e_1_3_2_1_49_1","volume-title":"http:\/\/en.wikipedia.org\/wiki\/Voltage_spike. {Online","author":"Spike Voltage","year":"2015","unstructured":"Wikipedia. Voltage Spike . http:\/\/en.wikipedia.org\/wiki\/Voltage_spike. {Online ; accessed 23-Fev- 2015 }. Wikipedia. Voltage Spike. http:\/\/en.wikipedia.org\/wiki\/Voltage_spike. {Online; accessed 23-Fev-2015}."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1830483.1830732"},{"key":"e_1_3_2_1_51_1","volume-title":"Model-based testing for embedded systems","author":"Zander J.","year":"2012","unstructured":"J. Zander , I. Schieferdecker , and P. J. Mosterman . Model-based testing for embedded systems . CRC Press , 2012 . J. Zander, I. Schieferdecker, and P. J. Mosterman. Model-based testing for embedded systems. CRC Press, 2012."}],"event":{"name":"ESEC\/FSE'15: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Bergamo Italy","acronym":"ESEC\/FSE'15"},"container-title":["Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2786805.2786818","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2786805.2786818","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:21Z","timestamp":1750227381000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2786805.2786818"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,30]]},"references-count":50,"alternative-id":["10.1145\/2786805.2786818","10.1145\/2786805"],"URL":"https:\/\/doi.org\/10.1145\/2786805.2786818","relation":{},"subject":[],"published":{"date-parts":[[2015,8,30]]},"assertion":[{"value":"2015-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}