Papers

8-Mar: Program Analysis Techniques

• 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).

Bin

• 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.

15-Mar: Testing

• Goodenough, J. B. AND Gerhardt, S. L. 1975. Toward a theory of test data selection. IEEE Trans. Softw. Eng. SE-3.

Christian Halaschek-Wiener

• 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

• Thomas Ball. A Theory of Predicate-Complete Test Coverage and Generation, MSR-TR-2004-28.

Cristian Lumenazu

• Atif Memon, Adam Porter, Cemal Yilmaz, Adithya Nagarajan, Douglas C. Schmidt, and Bala Natarajan, Skoll: Distributed Continuous Quality Assurance, Proceedings of the 26^th IEEE/ACM International Conference on Software Engineering (ICSE), Edinburgh, Scotland, May 2004

29-Mar: Debugging & Fault Discovery

 Nick

• 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.

 Cyntrica

• 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.

Sadagopan Srinivasan

• Holger Cleve and Andreas Zeller. Locating Causes of Program Failures. Saarland University, September 2004. To appear in Proc. 27^th International Conference on Software Engineering, St. Louis, Missouri, May 2005.

Vladmir

• 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.

5-Apr: Inspection

Ankush

• 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

12-Apr: Evolution

• L. Belady, and M. Lehman. A model of large program development. IBM Systems Journal , Vol. 15, No. 3, 1976, pages 225-252.

 Sumesh

• 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

• Cemal Yilmaz, Arvind Krishna, Atif Memon, Adam Porter, Douglas C. Schmidt, Aniruddha Gokhale, and Bala Natarajan, Main Effects Screening: A Distributed Continuous Quality Assurance Process for Monitoring Performance Degradation in Evolving Software Systems, To appear in the 27^th International Conference on Software Engineering, St. Louis, MO, May 15-21, 2005

 Brinda

•  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

19-Apr: Development Tools and Environments

 Xu

• T. Ball & S. Eick (1996). Software visualization in the large. Computer, 29 (4), 33-43.

26-Apr: Miscellaneous

 Jack

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