CSE 8317 (Spring, 2005)
Important SRE/SSE Papers
Here is a list of some important papers or book chapters
in the area of software reliability engineering (SRE)
and software safety engineering (SSE).
The contents of these papers/chapters roughly correspond to
the topics that we will be covering in our CSE 8317 class
(in addition to the papers in our course notes),
so they can be used as additional reading material
or possibly as a substitute for one of your textbooks.
Notice that these are not a very good textbook substitute,
without much of a connection or transition among different papers.
However, you can save some money by paying more
in your searching/reading effort.
Papers/Chapters Available Online and Related References
-
Tian-AIC paper available online.
Notice: pages 36-40 excluded =>
relevant contents covered by Tian-TSE02 paper below.
References most relevant to this class:
24 (SRE survey), 38 (OP),
39 (SRE applications and recent development),
and 49 (data treatment)
listed at the end of the paper.
-
Tian-TSE02 paper available online.
References most relevant to this class:
2, 4, 9, 17 (all about data treatment)
listed at the end of the paper.
-
Tian-TSE04 paper available online.
References most relevant to this class:
1, 3, 11, 14, and 15
(all about web traffic/quality/reliability measurement)
listed at the end of the paper.
-
Following references from the online bibliography of
Tian/SQE book:
(Chen et al., 2001;
Duran and Ntafos, 1984;
Frankl et al., 1998;
Gerhart et al., 1994;
Hamlet and Taylor, 1990;
Hamlet et al., 2001;
Horgan and Mathur, 1995;
Malaiya et al., 2002;
King et al., 2000)
Reference style used: (Author-last-name, year) for single author items,
(AuthorA and AuthorB, year) for double author items,
or (AuthorA et al., year) for items with three or more authors.
-
Background information, review of quality assurance alternatives/activities
in
Tian/SQP 2001 paper at ASQ web site.
Other SRE/Testing Papers
-
R. W. Butler and G. B. Finelli,
The Infeasibility of Quantifying the Reliability of
Life-Critical Real-Time Software,
IEEE Trans. on Software Engineering,
19(1):3-12, Jan, 1993.
-
S. Frolund and R. Guerraoui,
e-Transactions: End-to-End Reliability for Three-Tier Architectures,
IEEE Trans. on Software Engineering,
28(4):378-395, April 2002.
-
C. Huang, M. R. Lyu, and S. Kuo,
A unified Scheme of Some Nonhomogenous Poisson Process Models
for Software Reliability Estimation,
IEEE Trans. on Software Engineering,
29(3):261-269, March 2003.
-
B. Littlewood and D. Wright,
Some Conservative Stopping Rules for the Operational Testing
of Safety-Critical Software,
IEEE Trans. on Software Engineering,
23(11):673-683, Nov, 1997.
-
M. R. Lyu, S. Rangarajan, and A. P. A. van Moorsel,
Optimal Allocation of Test Resources for Software Reliability Growth
Modeling in Software Development,
IEEE Trans. on Reliability,
51(2):183-192, June, 2002.
-
J. M. Voas and L. Kassab,
Using Assertions to Make Untestable Software More Testable,
Software Quality Professional,
1(4):31-40, Sep, 1999.
-
A. P. Wood,
Software Reliability from the Customer View,
IEEE Computer,
36(8):37-42, Aug., 2003.
Other SSE Papers
-
N. E. Fenton and M. Neil,
"A Strategy for Improving Safety Related Software Engineering Standards".
IEEE Trans. on Software Engineering, 24(11):1002-1013, Nov., 1998.
-
S. Gerhart, D. Craigen and T. Ralston.
Regulatory case studies.
IEEE Software, 11(1):30--39, Jan. 1994.
-
J. Knight and B. Littlewood.
Critical task of writing dependable software.
IEEE Software, 11(1):16--20, Jan. 1994.
-
N. G. Leveson.
Software safety in embedded computer systems.
Communications of the ACM, 36(2):34--46, Feb. 1991.
-
N. G. Leveson.
High-pressure steam engines and computer software.
IEEE Computer, pages 65--73, Oct. 1994.
-
N. G. Leveson and C. Turner.
An investigation of the Therac-25 accidents.
IEEE Computer, pages 19--41, July 1993.
-
D. L. Parnas, A. J. Schouwen, and S. P. Kwan.
Evaluation of safety-critical software.
Communications of the ACM, 33(6):636--648, June 1990.
Notice that the papers #2-#3 above are from the same issue:
IEEE Software, 11(1), Jan. 1994
(and a few other papers too!).
The next three are by Leveson, the author of our textbook
on SSE,
with #4 a particularly good survey paper on SSE.
Recent Surveys in a Book
Anthony Finkelstein, editor,
"The Future of Software Engineering", ACM Press, 2000.
Survey papers relevant to this class include:
-
Robyn Lutz: "Software Engineering for Safety: A Roadmap".
-
Bev Littlewood and Lorenzo Strigini:
"Software Reliability and Dependability: A Roadmap".
Prepared by Jeff Tian
(tian@engr.smu.edu).
Posted: Jan. 10, 2005.
Last update: Jan. 12, 2005.