Topics (UNDER CONSTRUCTION)

• Overview (Aug 31)

  • 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

• Remote Analysis and Measurement of Software Systems (Sept. 5)

  • Murali Haran, Alan Karr, Michael Last, Alessandro Orso, Adam Porter, Ashish Sanil and Sandro Fouche, Techniques for Classifying Executions of Deployed Software to Support Software Engineering Tasks. (Submitted to IEEE Transactions on Software Engineering, June 2006).
  • Cemal Yilmaz, Adam Porter, Arvind Krishna, Atif Memon, Douglas C. Schmidt, Aniruddha Gokhale, and Bala Natarajan, Reliable Effects Screening: A Distributed Continuous Quality Assurance Process for Monitoring Performance Degradation in Evolving Software Systems. (submitted to IEEE Transactions on Software Engineering, Dec. 2005).
  • Adam Porter, Atif Memon, Cemal Yilmaz, Douglas C. Schmidt, Bala Natarajan, Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance. (submitted to IEEE Transactions on Software Engineering, August 2005). 

  Software Process (Sept. 12)

  • 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.
  • 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 (Sept. 19)

  • J.M. Wing. A Specifier's Introduction to Formal Methods. IEEE Computer, 23(9):8-24, September 1990.
  • 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.
  • D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtul-Trauring, Statemate: a working environment for the development of complex reactive systems. In Proceedings of the 10th International Conference on Software Engineering, Singapore, Pages: 396 - 406,1988.
  • The Model Checker SPIN. Gerard J. Holzmann, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY 1997.

• Design Concepts (Sept. 26)

  • 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.
  • G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, W. G. Griswold, An Overview of AspectJ', 15th European Conference on Object-Oriented Programming (ECOOP 2001), pp. 327-353, June 2001
  • 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.

• Software Architecture & Component-Based Development (Oct. 5)

  • An Introduction to Software Architecture, David Garlan and Mary Shaw, in Advances in Software Engineering and Knowledge Engineering, 1993.
  • Jonathan Aldrich, Vibha Sazawal, David Notkin, and Craig Chambers Language Support for Connector Abstractions , Jonathan Aldrich, Vibha Sazawal, David Notkin, and Craig Chambers European Conference on Object-Oriented Programming (ECOOP 2003), Darmstadt, Germany, July 21-25 2003.
  • A Formal Basis for Architectural Connection , Robert J. Allen and David Garlan.

  Coding and Verification & Validation

  • Proofs of Correctness (Oct. 12)

    • 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 (Oct. 17)

    • M. Weiser. Program Slicing, IEEE Transactions on Software Engineering, SE-10(4):352-357, July 1984.
    • 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).
    • Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, and David Wagner, Detecting Format-String Vulnerabilities with Type Qualifiers. In Proceedings of the 10th USENIX Security Symposium. Washington, D.C., August 2001.
    • Boolean Programs: A Model and Process for Software Analysis, T. Ball, S.K. Rajamani, MSR Technical Report 2000-14, February 2000.

  • Testing (First two papers due Oct. 31. The last two Nov. 2)

    • Goodenough, J. B. AND Gerhardt, S. L. 1975. Toward a theory of test data selection. IEEE Trans. Softw. Eng. SE-3.
    • Michael Harder, Jeff Mellen and Michael D. Ernst, Improving test suites via operational abstraction The International Conference on Software Engineering, Portland, Oregon, May 2003.
    • 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
    • Christoph Csallner and Yannis Smaragdakis Check 'n' Crash: Combining static checking and testing In Proc. 27th International Conference on Software Engineering, May 2005, pp. 422-431.

    Inspection (Nov. 7)

    • 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 (Nov. 9)

    • L. Belady, and M. Lehman. A model of large program development. IBM Systems Journal , Vol. 15, No. 3, 1976, pages 225-252.
    • Dewayne E. Perry , Harvey P. Siy , Lawrence G Votta, Parallel changes in large scale software development: an observational case study, Proceedings of the 20th international conference on Software engineering, p.251-260, April 19-25, 1998, Kyoto, Japan

  • Risk (Nov. 14)

    • Leveson, N. G. and C. S. Turner. An investigation of the Therac-25 accidents. Computer, 26(7): 18-41, 1993.

    Debugging & Fault Discovery

    • (Nat) David Hovemeyer, Jaime Spacco, and William Pugh. Evaluating and Tuning a Static Analysis to Find Null Pointer Bugs , in Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005), Lisbon, Portugal, September, 2005.
    • ( Charles)M.D. Ernst, J. Cockrell, W.G. Griswold, D. Notkin. Dynamically Discovering Likely Program Invariants to Support Program Evolution."
      In Proceedings of the 21st international conference on Software Engineering. Los Angeles, California, United States Pages: 213 - 224, 1999.
    • (Hamid) Andy Podgurski, David Leon, Patrick Francis, Wes Masri, Melinda Minch, Jiayang Sun, Bin Wang: Automated Support for Classifying Software Failure Reports. 465-477 Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon.
    • ( Nir) Andreas Zeller and Ralf Hildebrandt. Simplifying and Isolating Failure-Inducing Input IEEE Transactions on Software Engineering 28(2), February 2002, pp. 183-200.
    • ( Mustafa ) Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken and Michael I. Jordan, Scalable Statistical Bug Isolation. In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago Ill.
    • ( Elena ) Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, and Manuvir Das. Perracotta: Mining Temporal API Rules from Imperfect Traces In the 28th International Conference on Software Engineering (ICSE 2006). May 20-28, 2006, Shanghai, China.
    • ( Amy ) 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
    • (Glenessha)Sunghun Kim, Kai Pan, and E. James Whitehead, Jr. Memories of Bug Fixes U. California, Santa Cruz. Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering, Portland, Oregon, USA, November 5-11 2006