Chetan Mutha

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 2

Top Topics

Formal Specification

Safety Critical

Software Reliability

Top Venues

Artif. Intell. Eng. Des. Anal. Manuf.

ACM Comput. Surv.

Empir. Softw. Eng.

Publications

Xiaoxu Diao, Mike Pietrykowski, Fuqun Huang, Chetan Mutha, Carol S. Smidts
An ontology-based fault generation and fault propagation analysis approach for safety-critical computer systems at the design stage. Artif. Intell. Eng. Des. Anal. Manuf. 36 (2022)
Xiang Li, Chetan Mutha, Carol S. Smidts
An automated software reliability prediction system for safety critical software. Empir. Softw. Eng. 21 (6) (2016)
Carol S. Smidts, Chetan Mutha, Manuel Rodríguez, Matthew J. Gerber
Software testing with an operational profile: OP definition. ACM Comput. Surv. 46 (3) (2014)
Chetan Mutha, David C. Jensen, Irem Y. Tumer, Carol S. Smidts
An integrated multidomain functional failure and propagation analysis approach for safe system design. Artif. Intell. Eng. Des. Anal. Manuf. 27 (4) (2013)
Chetan Mutha, Carol S. Smidts
An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems. HASE (2011)