Software reliability models: an approach to early reliability prediction. - Carol S. Smidts; Robert Stoddard; Martin A. Stutzke (ISSRE, 1996)

Increasing testing productivity and software quality: A comparison of software testing methodologies within NASA. - Donald W. Sova; Carol S. Smidts (Empir. Softw. Eng., 1996)

An architectural model for software reliability quantification. - Carol S. Smidts; Donald W. Sova; G. K. Mandela (ISSRE, 1997)

A stochastic model of human errors in software development: impact of repair times. - Carol S. Smidts (ISSRE, 1999)

Ranking Software Engineering Measures Related to Reliability Using Expert Opinion. - Ming Li; Carol S. Smidts; R. W. Brill (ISSRE, 2000)

Dynamic reliability: towards an integrated platform for probabilistic risk assessment. - Pierre-Etienne Labeau; Carol S. Smidts; S. Swaminathan (Reliab. Eng. Syst. Saf., 2000)

An approach to the automatic generation of software functional architecture. - Carol S. Smidts (ACM SIGSOFT Softw. Eng. Notes, 2000)

A stochastic model of fault introduction and removal during software development. - Martin A. Stutzke; Carol S. Smidts (IEEE Trans. Reliab., 2001)

Producing reliable software: an experiment. - Carol S. Smidts; Xin Huang; James C. Widmaier (J. Syst. Softw., 2002)

Integrating Software into PRA. - Bin Li 020; Ming Li; Susmita Ghose; Carol S. Smidts (ISSRE, 2003)

Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. - Avik Sinha; Carol S. Smidts; Andrew Moran (ISSRE, 2003)

A Ranking of Software Engineering Measures Based on Expert Opinion. - Ming Li; Carol S. Smidts (IEEE Trans. Software Eng., 2003)

Validation of a Methodology for Assessing Software Reliability. - Ming Li; Y. Wei; Dejan Desovski; Hamed Nejad; Sushmita Ghose; Bojan Cukic; Carol S. Smidts (ISSRE, 2004)

Study of the Impact of Hardware Fault on Software Reliability. - Bing Huang; Xiaojun Li 001; Ming Li; Joseph B. Bernstein; Carol S. Smidts (ISSRE, 2005)

Teaching SRE in a Diverse Graduate Student Context. - Carol S. Smidts (ISSRE, 2005)

An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique. - Avik Sinha; Carol S. Smidts (Empir. Softw. Eng., 2006)

QRAS - the quantitative risk assessment system. - Frank J. Groen; Carol S. Smidts; Ali Mosleh 001 (Reliab. Eng. Syst. Saf., 2006)

How should software reliability engineering (SRE) be taught? - Mario Garzia; John P. Hudepohl; Will Snipes; Michael R. Lyu; John D. Musa; Carol S. Smidts; Laurie A. Williams (ACM SIGSOFT Softw. Eng. Notes, 2006)

HOTTest: A model-based test design technique for enhanced testing of domain-specific applications. - Avik Sinha; Carol S. Smidts (ACM Trans. Softw. Eng. Methodol., 2006)

A framework to integrate software behavior into dynamic probabilistic risk assessment. - Dongfeng Zhu; Ali Mosleh 001; Carol S. Smidts (Reliab. Eng. Syst. Saf., 2007)

Nuclear Reactor Instrumentation and Control Systems. - Carol S. Smidts; Stephen Arndt (Wiley Encyclopedia of Computer Science and Engineering, 2008)

A Test Coverage-Based Model for Predicting Software Fault Content and Location during Multi-phase Functional Testing. - Carol S. Smidts; Ying Shi (FGIT-ASEA, 2009)

Predicting the types and locations of faults introduced during an imperfect repair process and their impact on reliability. - Ying Shi; Carol S. Smidts (Int. J. Syst. Assur. Eng. Manag., 2010)

Operational Profile Testing. - Carol S. Smidts; Jinny McGill; Manuel Rodríguez; Peter B. Lakey (Encyclopedia of Software Engineering, 2010)

A Facility Framework for Distributed Application. - Qingti Guo; Carol S. Smidts (AINA Workshops, 2011)

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

Dynamic reliability of digital-based transmitters. - Florent Brissaud; Carol S. Smidts; Anne Barros; Christophe Bérenguer (Reliab. Eng. Syst. Saf., 2011)

Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems. - Irem Y. Tumer; Carol S. Smidts (IEEE Trans. Computers, 2011)

Hardware Error Likelihood Induced by the Operation of Software. - Bing Huang; Manuel Rodríguez; Ming Li; Joseph B. Bernstein; Carol S. Smidts (IEEE Trans. Reliab., 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)

Three suggestions on the definition of terms for the safety and reliability analysis of digital systems. - Man Cheol Kim; Carol S. Smidts (Reliab. Eng. Syst. Saf., 2015)

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

A Systematic Method to Build a Knowledge Base to be Used in a Human Reliability Analysis Model. - Yunfei Zhao; Keith Altman; Kreteeka Chaudhury; Muhammad Anandika; Carol S. Smidts (AHFE (5), 2017)

A Dynamic Mechanistic Model of Human Response Proposed for Human Reliability Analysis. - Yunfei Zhao; Carol S. Smidts (AHFE (5), 2017)

Metric-based software reliability prediction approach and its application. - Ying Shi; Ming Li; Steven Arndt; Carol S. Smidts (Empir. Softw. Eng., 2017)

Causal Mechanism Graph ─ A new notation for capturing cause-effect knowledge in software dependability. - Fuqun Huang; Carol S. Smidts (Reliab. Eng. Syst. Saf., 2017)

Special Section on the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014). - Roberto Pietrantuono; Katerina Goseva-Popstojanova; Carol S. Smidts (IEEE Trans. Reliab., 2017)

Bridging the simulator gap: Measuring motivational bias in digital nuclear power plant environments. - Rachel Benish Shirley; Carol S. Smidts (Reliab. Eng. Syst. Saf., 2018)

A Deductive Method for Diagnostic Analysis of Digital Instrumentation and Control Systems. - Jun Yang 027; Tunc Aldemir; Carol S. Smidts (IEEE Trans. Reliab., 2018)

A method for systematically developing the knowledge base of reactor operators in nuclear power plants to support cognitive modeling of operator performance. - Yunfei Zhao; Carol S. Smidts (Reliab. Eng. Syst. Saf., 2019)

Development of a quantitative Bayesian network mapping objective factors to subjective performance shaping factor evaluations: An example using student operators in a digital nuclear power plant simulator. - Rachel Benish Shirley; Carol S. Smidts; Yunfei Zhao (Reliab. Eng. Syst. Saf., 2020)

Finite-horizon semi-Markov game for time-sensitive attack response and probabilistic risk assessment in nuclear power plants. - Yunfei Zhao; Linan Huang; Carol S. Smidts; Quanyan Zhu (Reliab. Eng. Syst. Saf., 2020)

A requirements inspection method based on scenarios generated by model mutation and the experimental validation. - Boyuan Li; Xiaoxu Diao; Wei Gao; Carol S. Smidts (Empir. Softw. Eng., 2021)

Sequential Bayesian inference of transition rates in the hidden Markov model for multi-state system degradation. - Yunfei Zhao; Wei Gao; Carol S. Smidts (Reliab. Eng. Syst. Saf., 2021)

CMS-BN: A cognitive modeling and simulation environment for human performance assessment, part 2 - Application. - Yunfei Zhao; Carol S. Smidts (Reliab. Eng. Syst. Saf., 2021)

CMS-BN: A cognitive modeling and simulation environment for human performance assessment, part 1 - methodology. - Yunfei Zhao; Carol S. Smidts (Reliab. Eng. Syst. Saf., 2021)

Cyber-Security Threats and Response Models in Nuclear Power Plants - Carol S. Smidts; Indrajit Ray; Quanyan Zhu; Pavan Kumar Vaddi; Yunfei Zhao; Linan Huang; Xiaoxu Diao; Rakibul Talukdar; Michael C. Pietrykowski (Springer, 2022)

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)

Reinforcement learning for adaptive maintenance policy optimization under imperfect knowledge of the system degradation model and partial observability of system states. - Yunfei Zhao; Carol S. Smidts (Reliab. Eng. Syst. Saf., 2022)

Predictive Execution of Parallel Simulations in Hard Real-Time Systems. - Michael C. Pietrykowski; Carol S. Smidts (IEEE Trans. Computers, 2022)

A Zone-Based Model for Analysis of Dependent Failures in Requirements Inspection. - Boyuan Li; Carol S. Smidts (IEEE Trans. Software Eng., 2023)

An empirical study of the added value of the sequential learning of model parameters to industrial system health monitoring. - Yunfei Zhao; Pavan Kumar Vaddi; Michael C. Pietrykowski; Marat Khafizov; Carol S. Smidts (Reliab. Eng. Syst. Saf., 2023)

Multiple aspects maintenance ontology-based intelligent maintenance optimization framework for safety-critical systems. - Xiaoxu Diao; Yunfei Zhao; Pavan Kumar Vaddi; Michael C. Pietrykowski; Marat Khafizov; Carol S. Smidts (Artif. Intell. Eng. Des. Anal. Manuf., 2024)

Dynamic probabilistic risk assessment for electric grid cybersecurity. - Xiaoxu Diao; Yunfei Zhao; Carol S. Smidts; Pavan Kumar Vaddi; Ruixuan Li 002; Hangtian Lei; Yacine Chakhchoukh; Brian Johnson; Katya Le Blanc (Reliab. Eng. Syst. Saf., 2024)

A multiple-criteria sensor selection framework based on qualitative physical models. - Xiaoxu Diao; Md Ragib Rownak; Samuel Olatubosun; Pavan Kumar Vaddi; Carol S. Smidts (Adv. Eng. Informatics, 2025)