{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T04:04:12Z","timestamp":1751947452826,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T00:00:00Z","timestamp":1537142400000},"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":[[2018,9,17]]},"DOI":"10.1145\/3266003.3266011","type":"proceedings-article","created":{"date-parts":[[2018,9,13]],"date-time":"2018-09-13T12:54:52Z","timestamp":1536843292000},"page":"67-76","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Using a Search and Model Based Framework to Improve Robustness Tests in Cloud Platforms"],"prefix":"10.1145","author":[{"given":"Wallace F. F.","family":"Cardoso","sequence":"first","affiliation":[{"name":"Institute of Computing, University of Campinas, Campinas, S\u00e3o Paulo, Brazil"}]},{"given":"Eliane","family":"Martins","sequence":"additional","affiliation":[{"name":"Institute of Computing, University of Campinas, Campinas, S\u00e3o Paulo, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2018,9,17]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1007\/s10270-011-0206-z"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/2987550.2987555"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.2514\/1.15529"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1109\/PRDC.2013.53"},{"volume-title":"StateMutest: uma ferramenta de apoio ao teste baseado em modelos de estado estendidos. Master's thesis","author":"Francisco Cardoso Wallace F.","unstructured":"Wallace F. Francisco Cardoso . 2015. StateMutest: uma ferramenta de apoio ao teste baseado em modelos de estado estendidos. Master's thesis . University of Campinas , Campinas. Wallace F. Francisco Cardoso. 2015. StateMutest: uma ferramenta de apoio ao teste baseado em modelos de estado estendidos. Master's thesis. University of Campinas, Campinas.","key":"e_1_3_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/LADCW.2011.15"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/2744210.2744213"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.5555\/1761233.1761284"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1109\/ICRMS.2016.8050168"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.5555\/2337223.2337245"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/TSE.2012.14"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/SOSE.2011.6139108"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/978-3-642-33666-9_41"},{"volume-title":"Dependable Computer Systems","author":"Iwi\u0144ski Marcin","unstructured":"Marcin Iwi\u0144ski and Janusz Sosnowski . 2011. Testing fault susceptibility of a satellite power controller . In Dependable Computer Systems . Springer , 63--74. Marcin Iwi\u0144ski and Janusz Sosnowski. 2011. Testing fault susceptibility of a satellite power controller. In Dependable Computer Systems. Springer, 63--74.","key":"e_1_3_2_1_14_1"},{"doi-asserted-by":"crossref","unstructured":"Pinar Karagoz and Selma Utku. 2014. Testing Discovered Web Services Automatically.. In WEBIST (1). 160--167. Pinar Karagoz and Selma Utku. 2014. Testing Discovered Web Services Automatically.. In WEBIST (1). 160--167.","key":"e_1_3_2_1_15_1","DOI":"10.5220\/0004833601600167"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1002\/9780470370506.ch11"},{"volume-title":"IECon 2011-37th Annual Conference on IEEE Industrial Electronics Society","author":"Kormann Benjamin","unstructured":"Benjamin Kormann and Birgit Vogel-Heuser . 2011. Automated test case generation approach for PLC control software exception handling using fault injection . In IECon 2011-37th Annual Conference on IEEE Industrial Electronics Society . IEEE , 365--372. Benjamin Kormann and Birgit Vogel-Heuser. 2011. Automated test case generation approach for PLC control software exception handling using fault injection. In IECon 2011-37th Annual Conference on IEEE Industrial Electronics Society. IEEE, 365--372.","key":"e_1_3_2_1_17_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1016\/j.entcs.2009.12.037"},{"key":"e_1_3_2_1_19_1","volume-title":"Search-based software test data generation: a survey. Software testing, Verification and reliability 14, 2","author":"McMinn Phil","year":"2004","unstructured":"Phil McMinn . 2004. Search-based software test data generation: a survey. Software testing, Verification and reliability 14, 2 ( 2004 ), 105--156. Phil McMinn. 2004. Search-based software test data generation: a survey. Software testing, Verification and reliability 14, 2 (2004), 105--156."},{"volume-title":"Resilience Assessment and Evaluation of Computing Systems","author":"Micskei Zolt\u00e1n","unstructured":"Zolt\u00e1n Micskei , Henrique Madeira , Alberto Avritzer , Istv\u00e1n Majzik , Marco Vieira , and Nuno Antunes . 2012. Robustness testing techniques and tools . In Resilience Assessment and Evaluation of Computing Systems . Springer , 323--339. Zolt\u00e1n Micskei, Henrique Madeira, Alberto Avritzer, Istv\u00e1n Majzik, Marco Vieira, and Nuno Antunes. 2012. Robustness testing techniques and tools. In Resilience Assessment and Evaluation of Computing Systems. Springer, 323--339.","key":"e_1_3_2_1_20_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1145\/2841425"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1109\/ISSRE.2010.17"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/1244002.1244315"},{"key":"e_1_3_2_1_24_1","volume-title":"RTNS'07","author":"Salva S\u00e9bastien","year":"2007","unstructured":"S\u00e9bastien Salva and Patrice Lauren\u00e7ot . 2007 . Generation of tests for real-time systems with test purposes . RTNS'07 (2007), 35. S\u00e9bastien Salva and Patrice Lauren\u00e7ot. 2007. Generation of tests for real-time systems with test purposes. RTNS'07 (2007), 35."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1016\/j.infsof.2012.06.002"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1109\/IVS.2017.7995977"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1002\/stvr.456"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1109\/DSN.2007.16"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1109\/ICSTW.2010.52"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1109\/ICSTW.2011.37"}],"event":{"sponsor":["SBC Brazilian Computer Society","UFSCar Federal University of S\u00e3o Carlos","IFSP Federal Institute of S\u00e3o Paulo"],"acronym":"SAST '18","name":"SAST '18: III Brazilian Symposium on Systematic and Automated Software Testing","location":"SAO CARLOS Brazil"},"container-title":["Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3266003.3266011","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3266003.3266011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T05:43:05Z","timestamp":1751866985000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3266003.3266011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,17]]},"references-count":30,"alternative-id":["10.1145\/3266003.3266011","10.1145\/3266003"],"URL":"https:\/\/doi.org\/10.1145\/3266003.3266011","relation":{},"subject":[],"published":{"date-parts":[[2018,9,17]]},"assertion":[{"value":"2018-09-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}