Topics (UNDER CONSTRUCTION)

• Overview

  • How to Read an Engineering Research Paper. Bill Griswold
  • F. DeRemer, and H.H. Kron. Programming-in-the-large Versus Programming-in-the-small. IEEE Transactions on Software Engineering, Vol. SE-2, No. 2, June 1976, pages 80-86.
  • F. Brooks. No Silver Bullet - Essence and Accidents of Software Engineering. IEEE Computer, April 1987
  • NSF ITR program proposal, Alan F. Karr, David Notkin, Adam Porter, and Douglas Schmidt.

• Software Process

  • W. W. Royce, Managing the development of large software systems: concepts and techniques, International Conference on Software Engineering Proceedings of the 9th international conference on Software Engineering,1987 , Monterey, California, United States
  • Barry Boehm "A Spiral Model of Software Development and Enhancement." IEEE Computer, vol.21, #5, May 1988, pp 61-72.
  • Ray98 E. Raymond. The Cathedral and the Bazaar.
  • Beck, K. Embracing Change with Extreme Programming. IEEE Computer. 32(10), p. 70-77, 1999.
  • "How Microsoft builds software", Michael Cusumano and Richard Selby, Communications of the ACM, vol. 40, No. 6, pp. 53-62, June 1997.

• Requirements and Specification Languages

  • Software Requirements Engineering, Second Edition  Merlin Dorfman and Richard H.
  • Specifying Software Requirements for Complex Systems: New Techniques and Their Application, Kathryn L. Heninger, IEEE Trans. Software Engineering 6(1), Jan. 1980, p. 2-13.
  •  

• Design

  • D.L. Parnas. Designing software for ease of extension and contraction. IEEE Transactions on Software Engineering , Vol. SE-5, No. 2, June 1979, pages 128-137.
  • D.L. Parnas. On the Criteria to be Used in Decomposing Systems into Modules. Communications of the ACM , Vol. 15, No. 12, December 1972, pages 1053-1058.
  • B. Lampson. Hints for Computer System Design. IEEE Software , Vol. 1, No. 1, January 1984, pages 11-28.

• Software Architecture & Component-Based Development

  • Foundations for the Study of Software Architecture, Dewayne E. Perry, Alexander L. Wolf, ACM Software Engineering Notes, 17(4), Oct. 1992, p. 40-52.
  • E. Gamma, et al. (1993). Design patterns: Abstraction and reuse of object-oriented design. Proceedings of ECOOP '93: 7th European Conference Proceedings, (707), 406-431.
  • G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP'97---Object-Oriented Programming, 11th European Conference, LNCS 1241, pages 220--242, 1997.

• Coding and Verification & Validation

• Proofs of Correctness

  • Go To Statement Considered Harmful, Edsger W. Dijkstra, Letter to the Editor in Communications of the ACM, 11(3), March 1968, p. 147-148.
  • An Axiomatic Basis for Computer Programming, C. A. R. Hoare, Communications of the ACM, 12(10), Oct. 1969, p. 576-583
  • Social Processes and Proofs of Theorems and Programs, Richard A. De Millo, Richard J. Lipton, Alan J. Perlis, Communications of the ACM, 22(5), May 1979, p. 271-280.

• Program Analysis Techniques

  • S. Horwitz and T. Reps. The Use of Program Dependence Graphs in Software Engineering. Proceedings of the 14th international Conference on Software engineering (May 1992).
  • M. Weiser. Program Slicing, IEEE Transactions on Software Engineering, SE-10(4):352-357, July 1984.
  • R. O'Callahan and D. Jackson. Lackwit: A program understanding tool based on type inference. Proceedings of the 1997 International Conference on Software Engineering, Boston, USA, 1997
  • M.D. Ernst, J. Cockrell, W.G. Griswold, D. Notkin. Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Transactions in Software Engineering, v27#2, Feb 2001, pp 1-25.
  • The Model Checker SPIN. Gerard J. Holzmann, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY 1997.
  • Boolean Programs: A Model and Process for Software Analysis, T. Ball, S.K. Rajamani, MSR Technical Report 2000-14, February 2000.

• Testing

  • Goodenough, J. B. AND Gerhardt, S. L. 1975. Toward a theory of test data selection. IEEE Trans. Softw. Eng. SE-3.
  • Hierarchical GUI test case generation using automated planning, Memon, A.M.; Pollack, M.E.; Soffa, M.L. 144-155, IEEE Transactions on Software Engineering, Volume: 27,   Issue: 2,   Feb 2001

• Debugging

  • A. Zeller, R. Hildebrandt, "Simplifying and Isolating Failure-Inducing Input", IEEE Transactions on Software Engineering, Vol. 28 No. 2, Feb 2002
  • Isolating Cause-Effect Chains from Computer Programs. Andreas Zeller; Proc. ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE-10), Charleston, South Carolina, November 2002.

• Inspection

  • Fag76 M.E. Fagan. Design and code inspections to reduce errors in program development. IBM Systems Journal , Vol. 15, No. 3, 1976, pages 182-211.
  • A. A. Porter, H. Siy, C.A. Toman and L.G. Votta, An Experiment to Assess the Cost-Benefits of Code Inspections in Large Scale Software Development. IEEE Transactions on Software Engineering, 23(6): 329-346, June, 1997.
  • D. E. Perry, A. Porter, M. Wade, L. Votta and J. Perpich, Reducing inspection interval in large-scale software development. IEEE Transactions on Software Engineering. Volume: 28,   Issue: 7,   Jul 2002

• Evolution

  • L. Belady, and M. Lehman. A model of large program development. IBM Systems Journal , Vol. 15, No. 3, 1976, pages 225-252.
  • Reps, T., Ball, T., Das, M., and Larus, J., " The use of program profiling for software maintenance with applications to the Year 2000 Problem," ESEC/FSE '97: Sixth European Software Engineering Conference and Fifth ACM SIGSOFT
  • D. Atkins, T. Ball, T. Graves, and A. Mockus. Using Version Control Data to Evaluate the Effectiveness of Software Tools: A Case Study of the Version Editor, with Ball, Graves, Mockus, IEEE Transactions on Software Engineering, July 2002.

• Miscellaneous

  • T. Ball & S. Eick (1996). Software visualization in the large. Computer, 29 (4), 33-43
  • Leveson, N. G. and C. S. Turner. An investigation of the Therac-25 accidents. Computer, 26(7): 18-41, 1993.

Remote Analysis of Software Systems

• A. Memon, A. Porter, C. Yilmaz, and A. Nagarajan D. Schmidt and B. Natarajan. Skoll: Distributed Continuous Quality Assurance, in Proceedings of the International Conference on Software Engineering, Edinburgh, Scotland, UK, May 2004. 
• (Sandro) Leveraging Field Data for Impact Analysis and Regression Testing. Alessandro Orso, Taweesup Apiwattanapong, and Mary Jean Harrold. Proceedings of the 11th European Software Engineering Conference and 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), Helsinki, Finland, September 2003.
• (Christian) Hilbert, D., Redmiles, D. An Approach to Large-Scale Collection of Application Usage Data Over the Internet, Proceedings of the Twentieth International Conference on Software Engineering (ICSE ‘98, Kyoto, Japan), IEEE Computer Society Press, April 19-25, 1998, pp. 136-145.
• (Adam) John Clark, Jose Javier Dolado, Mark Harman, Rob Hierons, Bryan Jones, Mary Lumkin, Brian Mitchell, Spiros Mancoridis, Kearton Rees, Marc Roper and Martin Shepperd, Reformulating Software Engineering as a Search Problem  IEE Proceedings - Software  150(3): 161-175, 2003.
• (Scott) Ben Liblit, Alex Aiken, Alice X. Zheng, and Michael I. Jordan.  Bug Isolation via Remote Program Sampling. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation.
• (Dan) Yuriy Brun and Michael D. Ernst. Finding latent code errors via machine learning over program executions,  in Proceedings of the International Conference on Software Engineering, Edinburgh, Scotland, UK, May 2004. 
• 01.Marenic.pdf (Sandro)
• 02.Williams.A4.pdf (Christian)
• 03.Castaldi.pdf (Dan)
• 04.Diaconescu.pdf (Sandro) 
• 05.Mos.pdf (Christian)
• 06.Heimbigner.pdf (Dan)
• 07.Hardojo.pdf (Sandro) 
• 08.Naslavsky.pdf (Christian)
• 09.Robles.pdf (Dan)
• 10.Liblit.pdf (Sandro)  
• 11.Bowring.pdf (Christian)
• 12.Yilmaz.pdf (Dan)