| 2008 |
|---|
| 12 | EE | Carol Smidts,
Stephen Arndt:
Nuclear Reactor Instrumentation and Control Systems.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2006 |
|---|
| 11 | EE | Mario Garzia,
John P. Hudepohl,
Will Snipes,
Michael Lyu,
John D. Musa,
Carol Smidts,
Laurie Williams:
How should software reliability engineering (SRE) be taught?
ACM SIGSOFT Software Engineering Notes 31(4): 1-5 (2006) |
| 10 | EE | Avik Sinha,
Carol Smidts:
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications.
ACM Trans. Softw. Eng. Methodol. 15(3): 242-278 (2006) |
| 9 | EE | Avik Sinha,
Carol Smidts:
An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique.
Empirical Software Engineering 11(2): 173-202 (2006) |
| 2005 |
|---|
| 8 | EE | Bing Huang,
Xiaojun Li,
Ming Li,
Joseph B. Bernstein,
Carol Smidts:
Study of the Impact of Hardware Fault on Software Reliability.
ISSRE 2005: 63-72 |
| 7 | EE | Carol Smidts:
Teaching SRE in a Diverse Graduate Student Context.
ISSRE 2005: 7 |
| 2004 |
|---|
| 6 | EE | Ming Li,
Y. Wei,
Dejan Desovski,
Hamed Nejad,
Sushmita Ghose,
Bojan Cukic,
Carol Smidts:
Validation of a Methodology for Assessing Software Reliability.
ISSRE 2004: 66-76 |
| 2003 |
|---|
| 5 | EE | Avik Sinha,
Carol Smidts,
Andrew Moran:
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.
ISSRE 2003: 181-190 |
| 4 | EE | Bin Li,
Ming Li,
Susmita Ghose,
Carol Smidts:
Integrating Software into PRA.
ISSRE 2003: 457-467 |
| 3 | EE | Ming Li,
Carol Smidts:
A Ranking of Software Engineering Measures Based on Expert Opinion.
IEEE Trans. Software Eng. 29(9): 811-824 (2003) |
| 2002 |
|---|
| 2 | EE | Carol Smidts,
Xin Huang,
James C. Widmaier:
Producing reliable software: an experiment.
Journal of Systems and Software 61(3): 213-224 (2002) |
| 2000 |
|---|
| 1 | EE | Ming Li,
Carol Smidts,
R. W. Brill:
Ranking Software Engineering Measures Related to Reliability Using Expert Opinion.
ISSRE 2000: 246-258 |
