Papers for presentation

General

Boris Beizer, "Software is Different," Annals of Software Engineering vol. 10, 2000, pp. 293-310

Joao Cangussu, Raymond DeCarlo, and Aditya Mathur, "A Formal Model of the Software Test Process," IEEE Transactions on Software Engineering 28:8, AUgust 2002, pp. 782-796.

John Goodenough and Susan Gerhart, "Toward a Theory of Test Data Selection," Proceedings of the International COnference on Reliable Software, 1975, pp. 493-510.

Testing Techniques

James Whittaker, "Stochastic Software Testting," Annals of Software Engineering, vol 4, 1997, pp.115-131 or James Whittaker nd J. Poore, "Markov Analysis of Software Specification," ACM Transactions on Software Engineering and Methodology 2:1, 1993, pp. 93-106.

Reiko Heckel and Marc Lohmann, "Towards Model-Driven Testing," Electronic Notes in Theoretical Computer Science 82:6, 2003.

J Christmansson and R Chillarege, "Generation of an Error Set that Emulates Software Faults Based on Field Data," Proceedings of the Twenty-Sixth International Symposium on Fault-Tolerant Computing, 1996. pp. 304-313.

Software Quality Improvements

Roy Maxon and Robert Olszewski, "Eliminating Exception Handling Errors with Dependability Cases: a Comparative, Empirical Study," IEEE Transactions on Software Engineering 26:9, 2000, pp. 888-906.

Formal Specification and Modeling

Leslie Lamport, "A Simple Approach to Specifying Concurrent Systems," Communications of the ACM 32:1, January 1989, pp.32-45 or"A Formal Basis for the Specification of Concurrent Systems," Notes for the NATO Advanced Study Institute, Izmir, Turkey, 2000.

John Guttag and James Horning, "The Algebraic Specification of Abstract Data Types", Acta Informatica, vol 10, 1978. pp. 27-52.

Franklin Ramalho, Jacques Robin, and Robert Barros, "XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models," Journal of Universal Computer Science 9:8 2003, pp. 956-969.

Wolfgang Grieskamp et al, "Generating Finite State Machines from Abstract State Machines," Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis, pp. 112-122 or extended version Microsoft Research Technical Report MSR-TR-2001-97, May 2002.
Jean Arlat, Tahar Jarbouri, Karama Kanoun and David Powell, "Dependability Assessment of GUARDS Instances," Computer Performance and Dependability Symposium 2000, pp. 147-156.

Test Automation

Cem Kaner, "Architectures of Test Automation," Software Testing, Analysis
and Review Conference, October 2000.

Performance Testing

Alberto Avritar and Brian Larson, "Load Testing Software using Deterministic State Testing," Proceedings of the 1993 International Symposium on Software Testing.

Filippos Vokolos and Elaine Weyuker, "Performance Testing of Software Systems," First International Workshop on Software and Performance, October 1998. AND Alberto Avritser, Joe Kondek, Danielle Liu, and Elaine Weyuker, "Software Performance Testing Based on Workload Characterization," Proceedings of the Third International Workshop on Software and Performance, 2002.

Distributed Systems

Flaviu Christian, "Understanding Fault-Tolerant Distributed Systems," Communications of the ACM 34:2, 1991, pp.56-78. Basic paper on the area. Not speifically on testing.

Economics of Test

Cem Kaner, "Quality Cost Analysis: Benefits and Risks," Software QA 3:1,
1996, p.23.

NIST Planning Report 02-3, The Economics Impacts of Inadequate Infrastructure for SOftware Testing, May 2002. (This is a 300 page report. We can negotiate how much needs to be covered, but it is a relatively easy read.)