Reference Books

Testing in General
B. Beizer, Software Testing, 2nd edition, Van Nostrand Reinhold, New York, New York,
1990.
B. Beizer, Black-Box Testing: Techniques for Functional Testing of Software and
Systems, John Wiley & Sons, New York, New York, 1995.
R. Binder, Testing Object-Oriented Systems: Models, Patterns, and Tools, Addison
Wesley, Reading, MA, 2000.
C. Kaner, J. Falk, and H. Q. Nguyen, Testing Computer Software, 2nd Edition, Wiley,
New York, New York, 1999.
S. Kirani and W. T. Tsai, Method Sequence Specification and Verification of Classes,
Journal of Object-Oriented Programming, 1994.
D. C. Kung, P. Hsia, and J. Gao, Testing Object-Oriented Software, IEEE Computer
Society Press, Los Alamitos, CA, 1999.
B. Marick, The Craft of Software Testing, Prentice Hall, Englewood Cliffs, NJ, 1995.
D. J. Mosley, Client-Server Software Testing on the Desktop and the Web, Prentice Hall
PTR, Upper Saddle River, NJ, 2000.
H. Q. Nguyen, Testing Applications on the Web, Testing Planning for Internet-Based
Systems, Wiley, 2001.
R. Pressman, Software Engineering: A Practitioners Approach, 5th edition, McGrawHill, New York, New York, 2000.
I. Sommerville, Software Engieering, 6th edition, Addison Wesley, Reading, MA, 2000.
UML
G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide,
Addison Wesley, Reading, MA, 1999.
M. V. Harmelen, editor, Object Modeling and User Interface Design, Addison Wesley,
Reading, MA, 2001.
D. Kulak and E. Guiney, Use Cases: Requirements in Context, ACM Press, Addison
Wesley, Reading, MA, 1998.
J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference
Manual, Addison Wesley, Reading, MA, 1999.
General Real-Time Embedded Systems
A. Burns and A. Wellings, Real-Time Systems and Their Programming Languages,
Addison Wesley, Reading, MA, 1990.
1

B. P. Douglass, Doing Hard Time: Developing Real-Time Systems with UML, Objects,
Frameworks, and Patterns, Addison Wesley, Reading, MA, 1999.
R. Grehan, R. Moote, and I. Cyliax, Real-Time Programming: A Guide to 32-bit
Embedded Development, Addison Wesley, Reading, MA, 1998.
H. Kopetz, Real-Time Systems, Kluwer Academic, Boston, MA, 1997.

End-To-End Integration Testing

X. Bai, W. T. Tsai, R. Paul, T. Shen and B. Li, Distributed End-to-End Testing
Management, Proc. of IEEE EDOC, 2001.
X. Bai, W. T. Tsai, R. Paul, K. Feng, L. Yu, Scenario-Based Modeling, o appear in
Proc. of IEEE WORDS, 2002.
DoD OASD C3I Investment and Acquisition, End-to-End Integration Testing
Guidebook, 2001.
W.T. Tsai, X. Bai, R. Paul, W. Shao, V. Agarwal, T. Sheng, and B. Li, End-to-End
Integration Testing Design, Proc. of IEEE COMPSAC 2001.
Test Automation and Stategies
M. Fewster and D. Graham, Software Test Automation: Effective Use of Test Execution
Tools, Addison Wesley, Reading, MA, 1999.
Testing Embedded Systems
M. Poonawala, S. Subramanian, R. Vishnuvajjala, W. T. Tsai, R. Mojdehbakhsh and L.
Elliott,"Testing Safety-Critical Systems -- A Reuse-Oriented Approach", Proc. of 9th
International Conference on SEKE, 1997, pp. 271-278.
Yann-Hang Lee, YoungJoon Byun, and Eric Wong, A Toolset for Testing Real-time
Ada Program, The 3rd IEEE Symposium on Application-Specific Systems and Software
Engineering Technology (ASSET2000), March 2000.
Safety
N. Leveson, Safeware: System Safety and Computers, Addison Wesley, Reading, MA,
1995.
R. Mojdehbakhsh, S. Kirani, W. T. Tsai, and L. Elliot, "Retrofitting Software Safety in an
Implantable Medical Device", IEEE Software, Vol. 11, No. 1, Jan. 1994, pp. 41-50.
N. Storey, Safety-Critical Computer Systems, Addison-Wesley, Reading, MA, 1996.
Reliability
2

M. Lyu, editor, Handbook of Software Reliability Engineering, IEEE Computer Society

Press, McGraw Hill, New York, New York, 1996.
J. Musa, A. Iannino, and K. Okumoto, Software Reliability: Measurement, Prediction,
Application, McGraw-Hill, New York, New York, 1987.
Reliability Analysis Center (RAC), Rome Laboratory, Reliability Toolkit: Commercial
Practices Edition, A Practical Guide for Commercial Products and Military Systems
Under Acquisition Reform.
Regression Testing and Ripple Effect Analysis
K. Onoma, W. T. Tsai, M. Poonawala, and H. Suganuma, Regression Testing in an
Industrial Environment, Communications of ACM, May 1998.
S. Uehara, W. T. Tsai, T. Sano and Baba, Software Maintenance and Re-Engineering,
Kyoritsu Publication, Japan, 2000.
W. T. Tsai, R. Mojdehbakhsh and F. Zhu, "Ensuring System and Software Reliability in
Safety-Critical Applications", in Proc. of IEEE Application-Specific Software
Engineering Technology, 1998.
W.T. Tsai, X. Bai, R. Paul, and L. Yu, Scenario-Based Functional Regression Testing,
Proc. of IEEE COMPSAC, 2001.
Assurance-Based Testing
W. T. Tsai, R. Paul, W. Shao, S. Rayadurgam, and J. Li, Assurance-Based Y2K
Testing, 1999 Proc. 4th IEEE International Symposium on High-Assurance Systems
Engineering, pp. 27-34.
R. Paul and W. T. Tsai, Assurance-Based Testing A New Quality Assurance
Technique, Proc. of Quality Week, Europe, 2000.
Test Guidelines
RTCA/DO-178B, "Software Considerations in Airborne Systems and Equipment
Certification," December 1, 1992.
Testing Object Systems
R. Binder, Testing Object-Oriented Systems: Models, Patterns, and Tools, Addison
Wesley, Reading, MA, 2000.
S. Kirani and W. T. Tsai, Method Sequence Specification and Verification of Classes,
Journal of Object-Oriented Programming, 1994.
D. C. Kung, P. Hsia, and J. Gao, Testing Object-Oriented Software, IEEE Computer
Society Press, Los Alamitos, CA, 1999.

B. Marick, The Craft of Software Testing, Prentice Hall, Englewood Cliffs, NJ, 1995.
W. T. Tsai, Y. Tu, W. Shao and E. Ebner, Testing Extensible Design Patterns in ObjectOriented Frameworks through Hierarchical Scenario Templates, Proc. COMPSAC99,
1999, pp. 166-171.
Testing Timing
R. Vishnuvajjala, W. T. Tsai, R. Paul, Testing Timing Constraints in Time-Critical
Systems: Problems, Techniques and Patterns, draft DoD OASD C3I Investment and
Acquisition Guidebook, 2001.
Website References
Federal Aviation Administration (FAA), Department of Transportation, Quality
Assurance of Software Used in Aircraft or Related Products, AC 21-33, http://avinfo.faa.gov/software/Policy%20&%20Guidance/ac21-33.pdf.
Food and Drug Administration (FDA) General Principle of Software Validation:
Guidance for Industries, http://www.fda.gov/cdrh/comp/swareval.html.
Food and Drug Administration (FDA) Medical Device Use-Safety: Incorporating
Human
Factors
Engineering
into
Risk
Management,
http://www.fda.gov/cdrh/humfac/1497.pdf
L. A. Johnson, Do-198B, Software Consideration in Airborne Systems and Equipment
Certification, http://www.stsc.hill.af.mil/CrossTalk/1998/oct/schad.asp.
J. D. Musa and J. Widmaier Software-Reliability- Engineered
http://www.stsc.hill.af.mil/crosstalk/1996/jun/Reliabil.asp.
NASA
Software
Assurance
http://satc.gsfc.nasa.gov/assure/astd.txt.

Standards,

NASA
Software
Assurance
http://satc.gsfc.nasa.gov/assure/agb.txt.

Guidebook,

Testing,

NASA-STD-2201-93,
NASA-GB-A201,

NASA, Software Safety NASA Technical Standards, NASA-STD-8719.13A, 1997,

http://satc.gsfc.nasa.gov/assure/nss8719_13.html.
Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission (NRC),
Fault
Tree
Handbook,
1981.
Available
at
the
website
http://www.nrc.gov/NRC/NUREGS/SR0492/index.html.
Parasoft, Jtest, http://www.parasoft.com/products/jtest/index.htm
Website Addresses for Similar Courses Offered at Other Universities or
Conferences
CMU (http://www.cs.cmu.edu/~koopman/)
Southern Polytechnic State University (SPSU) (http://cs.spsu.edu/pbobbie/embsys.htm)

Georgia Tech (http://users.ece.gatech.edu/~hamblen/489X/)

University of Colorado at Bounder (http://ece-www.colorado.edu/embedded.html)
University of California at Irvine (http://www.ics.uci.edu/~rgupta/iec.html)
Depaul University (http://facweb.cs.depaul.edu/kbernstein/SE540/)
University of Texas at Austin (http://www.ece.utexas.edu/~bevans/)
Dublin City University at Ireland (http://www.compapp.dcu.ie/~dsinclai/rtes.html)
University of Florida (http://www.his- lab.cise.ufl.edu/ )
The
Embedded
Object-Based
Systems
(http://www.omg.org/news/meetings/embedded2001/progam.htm)

Workshop

The Embedded System Conference (http://www.esconline.com/sf/classes.htm)

Case Studies:
Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, Guide to
Verification and Validation of the SCALE-4 Criticality Safety Software, 1996.
Available at the website http://www.nrc.gov/NRC/NRREGS/CR6483/index.html.
Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission,Guide to
Verification and Validation of the SCALE-4 Radiation Shielding Software, 1996.
Available at the website http://www.nrc.gov/NRC/NUREGS/CR6484/cr6484.pdf.