{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:27Z","timestamp":1750221147692,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1564238"],"award-info":[{"award-number":["CCF-1564238"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,27]]},"DOI":"10.1145\/3180155.3180204","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T12:16:01Z","timestamp":1528805761000},"page":"910-920","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["A combinatorial approach for exposing off-nominal behaviors"],"prefix":"10.1145","author":[{"given":"Kaushik","family":"Madala","sequence":"first","affiliation":[{"name":"University of North Texas"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hyunsook","family":"Do","sequence":"additional","affiliation":[{"name":"University of North Texas"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Aceituna","sequence":"additional","affiliation":[{"name":"DISTek Integration, Inc."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"volume-title":"IEEE 23rd International Requirements Engineering Conference (RE). 136--145","author":"Aceituna D.","key":"e_1_3_2_1_1_1","unstructured":"D. Aceituna and H. Do. 2015. Exposing the susceptibility of off-nominal behaviors in reactive system requirements. In IEEE 23rd International Requirements Engineering Conference (RE). 136--145."},{"volume-title":"Validation and Verification (V&V) of Safety-Critical Systems Operating under Off-Nominal Conditions","author":"Belcastro C. M.","key":"e_1_3_2_1_2_1","unstructured":"C. M. Belcastro. 2012. Validation and Verification (V&V) of Safety-Critical Systems Operating under Off-Nominal Conditions. Springer Berlin Heidelberg, Berlin, Heidelberg, 399--419."},{"key":"e_1_3_2_1_3_1","volume-title":"Monterey Workshop. Springer, 1--7.","author":"Berry D. M.","year":"2007","unstructured":"D. M. Berry. 2007. Ambiguity in natural language requirements documents. In Monterey Workshop. Springer, 1--7."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04468-7_15"},{"key":"e_1_3_2_1_6_1","unstructured":"Reliability Analysis Center. 1993. Failure Mode Effects and Criticality Analysis (FMECA). (1993). http:\/\/www.dtic.mil\/dtic\/tr\/fulltext\/u2\/a278508.pdf"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"J. Day K. Donahue M. D. Ingham A. Kadesch A. Kennedy and E. Post. 2012. Modeling Off-Nominal Behavior in SysML.. In AIAA Infotech. 19--21.","DOI":"10.2514\/6.2012-2576"},{"volume-title":"IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 1--8.","author":"Devroey X.","key":"e_1_3_2_1_8_1","unstructured":"X. Devroey, M. Cordy, P. Schobbens, A. Legay, and P. Heymans. 2015. State machine flattening, a mapping study and tools assessment. In IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 1--8."},{"volume-title":"7th IET International Conference on System Safety, incorporating the Cyber Security Conference. 1--6.","author":"Estivill-Castro V.","key":"e_1_3_2_1_9_1","unstructured":"V. Estivill-Castro, R. Hexel, and D. A. Rosenblueth. 2012. Failure mode and effects analysis (FMEA) and model-checking of software for embedded systems by sequential scheduling of vectors of logic-labelled finite-state machines. In 7th IET International Conference on System Safety, incorporating the Cyber Security Conference. 1--6."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2014.32"},{"key":"e_1_3_2_1_11_1","unstructured":"E. Feuvrier-Danziger C. Dunkers M. Kosowski and D. Marschner. 2015. Oddbotics. (2015). https:\/\/sites.google.com\/site\/mrsdproject201415teamd\/documents\/presentations"},{"key":"e_1_3_2_1_12_1","unstructured":"D. Firesmith. 2012. The Need to Specify Requirements for Off-Nominal Behaviors. (2012). https:\/\/insights.sei.cmu.edu\/sei"},{"key":"e_1_3_2_1_13_1","unstructured":"D. C. Foyle and B. L. Hooey. 2003. Improving evaluation and system design through the use of off-nominal testing: A methodology for scenario development. In Wright State University. 397--402."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.2514\/1.C031003"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987100.1987114"},{"key":"e_1_3_2_1_16_1","volume-title":"In Proceedings of The 2004 International Conference on Artificial Intelligence (IC-AI04)","author":"Iverson D. L.","year":"2004","unstructured":"D. L. Iverson. 2004. Inductive system health monitoring. In In Proceedings of The 2004 International Conference on Artificial Intelligence (IC-AI04), Las Vegas."},{"key":"e_1_3_2_1_17_1","unstructured":"M. Jackson. 2010. DigitalHome Software Requirements Specification. (2010). http:\/\/fmt.isti.cnr.it\/nlreqdataset\/"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","unstructured":"E. Jee I. Lee and O. Sokolsky. 2010. Assurance Cases in Model-Driven Development of the Pacemaker Software. Springer Berlin Heidelberg Berlin Heidelberg 343--356.","DOI":"10.5555\/1939345.1939383"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.01.086"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.28"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJRS.2016.076338"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2011.19"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.90"},{"key":"e_1_3_2_1_24_1","volume-title":"IEEE 40th Annual Computer Software and Applications Conference (COMPSAC)","volume":"2","author":"Kuhn D. R.","unstructured":"D. R. Kuhn, R. N. Kacker, and Y. Lei. 2016. Estimating t-Way Fault Profile Evolution During Testing. In IEEE 40th Annual Computer Software and Applications Conference (COMPSAC), Vol. 2. 596--597."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.2885181"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"T. Kurtoglu I. Y. Tumer and D. C. Jensen. 2010. A functional failure reasoning methodology for evaluation of conceptual system architectures. Research in Engineering Design 21 4 (01 Oct 2010) 209--234.","DOI":"10.1007\/s00163-010-0086-1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1628095.1628109"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v18:3"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.2514\/1.11950"},{"key":"e_1_3_2_1_30_1","unstructured":"L. Liu B. Pan T. Wang Q. Li M. Aktas and M. Gamell. 2012. Automatic Delivery System. (2012). http:\/\/eceweb1.rutgers.edu\/~marsic\/books\/SE\/projects\/OTHER\/2012-g4-report3.pdf"},{"volume-title":"Reliability and Sensitivity Analysis of Embedded Systems with Modular Dynamic Fault Trees. In TENCON - IEEE Region 10 Conference. 1--6.","author":"Lo H. K.","key":"e_1_3_2_1_31_1","unstructured":"H. K. Lo, C. Y. Huang, Y. R. Chang, W. C. Huang, and J. R. Chang. 2005. Reliability and Sensitivity Analysis of Embedded Systems with Modular Dynamic Fault Trees. In TENCON - IEEE Region 10 Conference. 1--6."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-003-0179-8"},{"key":"e_1_3_2_1_33_1","unstructured":"K. Madala H. Do and D. Aceituna. 2017. Hierarchical Model Exploration for Exposing Off-Nominal Behaviors. In 14th Workshop on Model-Driven Engineering Verification and Validation (MoDeVVa) co-located with ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.9"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2012.36"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.39"},{"key":"e_1_3_2_1_37_1","volume-title":"Pacemaker Formal Methods Challenge. (April","author":"McMaster University","year":"2007","unstructured":"McMaster University. 2007. Pacemaker Formal Methods Challenge. (April 2007). http:\/\/sqrl.mcmaster.ca\/pacemaker.htm"},{"key":"e_1_3_2_1_38_1","unstructured":"M. Melin. 2010. Requirements Specification AB Mail Robot. (2010). http:\/\/www.isy.liu.se\/edu\/projekt\/tsrt10\/2010\/postrobot-2010\/images\/general_doc.pdf"},{"key":"e_1_3_2_1_39_1","unstructured":"E. So J. Ajtum Y. Moy and Y. L. Quach. 2005. Requirements Specification AB Mail Robot. (2005). http:\/\/www.ecs.umass.edu\/ece\/sdp\/sdp05\/preston\/sdp_data\/Requirement%20Specification.doc"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"S. Teng and S. Ho. 1996. Failure mode and effects analysis: an integrated approach for product design and process control. International journal of quality & reliability management 13 5 (1996) 8--26.","DOI":"10.1108\/02656719610118151"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2010.28"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/647444.727054"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.681254"},{"volume-title":"Procedures for Off-Nominal Cases: Very Closely Spaced Parallel Runway Operations. In IEEE\/AIAA 27th Digital Avionics Systems Conference (DASC). 2.C.4--1\u00e2\u0102\u015e2.C.4--11","author":"Verma S.","key":"e_1_3_2_1_44_1","unstructured":"S. Verma, S. Lozito, K. Thomas, and D. Ballinger. 2008. Procedures for Off-Nominal Cases: Very Closely Spaced Parallel Runway Operations. In IEEE\/AIAA 27th Digital Avionics Systems Conference (DASC). 2.C.4--1\u00e2\u0102\u015e2.C.4--11."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/646272.685783"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"N. Yatapanage K. Winter and S. Zafar. 2010. Slicing behavior tree models for verification. Theoretical Computer Science (2010) 125--139.","DOI":"10.1007\/978-3-642-15240-5_10"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.52"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 40th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180204","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3180155.3180204","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3180155.3180204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:19Z","timestamp":1750208899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":46,"alternative-id":["10.1145\/3180155.3180204","10.1145\/3180155"],"URL":"https:\/\/doi.org\/10.1145\/3180155.3180204","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}