An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems. - Chetan Mutha; Carol S. Smidts (HASE, 2011)

An integrated multidomain functional failure and propagation analysis approach for safe system design. - Chetan Mutha; David C. Jensen; Irem Y. Tumer; Carol S. Smidts (Artif. Intell. Eng. Des. Anal. Manuf., 2013)

Software testing with an operational profile: OP definition. - Carol S. Smidts; Chetan Mutha; Manuel Rodríguez; Matthew J. Gerber (ACM Comput. Surv., 2014)

An automated software reliability prediction system for safety critical software. - Xiang Li; Chetan Mutha; Carol S. Smidts (Empir. Softw. Eng., 2016)

An ontology-based fault generation and fault propagation analysis approach for safety-critical computer systems at the design stage. - Xiaoxu Diao; Mike Pietrykowski; Fuqun Huang; Chetan Mutha; Carol S. Smidts (Artif. Intell. Eng. Des. Anal. Manuf., 2022)