CSC 8110: Software Engineering Research Seminar

Fall Term 2012
Meetings: Tuesday and Thursday 1:30PM - 2:50PM
Room: 050A SCLB
Professor: Prof. Marwan Abi-Antoun
E-mail: (Please include CSC 8110 in the subject line for faster replies.)
Phone: (313) 577-2831 (Please call only during regular office hours. You may send email anytime.)
Office: Suite 14.110.2, 14th floor of  5057 Woodward Avenue (Maccabees Building)
Office Hours: By appointment only.

Blackboard: Important information will be posted on Blackboard (

Schedule of Topics, Readings, and Assignments (subject to change)

The slides for the lectures will be in Blackboard. This schedule is tentative and subject to change. Please check back regularly. A date with an asterisk * indicates an exception to the office hours. Please make an appointment to see the instructor at a different time if needed. The important deadlines are highlighted. Generally, all assignments will be due before class, i.e., 1:30PM on the due date.

# Date
1 Aug 30
Organizational Meeting
2 Sep 04
Radu -- Practice Research Talk Vanciu, R. and Abi-Antoun, M. Ownership Object Graphs with Dataflow Edges. In Working Conference on Reverse Engineering (WCRE), 2012. To appear. A1: Preliminary Paper Selection for Literature Survey
(Due: Sep. 13)
Note: Sep. 5 is the Last Day for Late Registration, Late Adds
3 Sep 06 Nariman --  Practice Research Talk Ammar, N. and Abi-Antoun, M. Empirical Evaluation of Diagrams of the Run-time Structure for Coding Tasks. In Working Conference on Reverse Engineering (WCRE), 2012. To appear.  
4 Sep 11
Radu -- Conference Dry-run Same as before. A2: Continue Updating Literature Survey.
Read and summarize individual paper selections.
Upload summaries to shared Google Docs folder.
Note: Sep. 12 is the Last Day to Drop w/ Tuition Cancellation
5 Sep 13
Nariman -- Conference Dry-run Same as before.  
6 Sep 18
Paper Discussion Giriprasad Sridhara, Emily Hill, Divya Muppaneni, Lori Pollock, and K. Vijay-Shanker. Towards automatically generating summary comments for Java methods. In IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 43-52, 2010.  
7 Sep 20 Paper Discussion Maarten De Mol and Marko Van Eekelen and Rinus Plasmeijer. Theorem proving for functional programmers - Sparkle: A functional theorem prover. In Selected Papers from the 13th International Workshop on Implementation of Functional Languages, IFL,  volume 2312 of LNCS, pp. 55--72, 2001.  
8 Sep 25
Paper Discussion Hugo de Brito; Humberto Torres Marques-Neto; Ricardo Terra; Henrique Rocha; Marco Tulio Valente. On-the-fly Extraction of Hierarchical Object Graphs. Journal of the Brazilian Computer Society, Springer.  
9 Sep 27
Paper Discussion F. Asadi, M. Di Penta, G. Antoniol, and Y.-G. Guéhéneuc, A Heuristic-Based Approach to Identify Concepts in Execution Traces. In European Conference on Software Maintenance and Reengineering (CSMR), 2010, pp. 31–40.
10 Oct 02 Paper Discussion Johnson, P.M.; Kou, H.; Paulding, M.; Zhang, Q.; Kagawa, A.; Yamashita, T.; "Improving software development management through software project telemetry," Software, IEEE , vol.22, no.4, pp. 76- 85, July-Aug. 2005. A3: Identify the 5-10 papers that will serve as the core of the survey.
Identify the initial axes of  your survey;
Prepare a draft of a table placing the key papers along the axes (not all the cells have to be filled in).
11 Oct 04
Paper Discussion Weidenbach, Cristoph. SPASS: Combining Superposition, Sorts and Splitting. Robinson A., Voronkov A., eds. Handbook of Automated Reasoning. Elsevier Science, 1999.  
12 Oct 09 Paper Discussion Mark Marron, Cesar Sanchez, Zhendong Su, and Manuel Fahndrich. Abstracting Runtime Heaps for Program Understanding. arXiv Tech. Report.  
13 Oct 11 Paper Discussion Earl T. Barr, Christian Bird, Mark Marron. Collecting a Heap of Shapes. Tech. Report.  
14 Oct 16 WCRE12 -- no class    
15 Oct 18    
16 Oct 23 Paper Discussion Seokhyun Han, Verification of Java programs in Coq. In Computer Science and Electronic Engineering Conference (CEEC), 2010, pp.1-8, 2010.  
17 Oct 25 Paper Discussion Aybüke Aurum, Claes Wohlin, and Andrew Porter,  Aligning Software Project Decisions: a Case Study. In Int. J. Soft. Eng. Knowl. Eng. 16, 795 (2006).  
18 Oct 30 Nariman -- Practice Talk Evaluation of Diagrams and Tools for Object-Oriented Code Comprehension: a Survey  
19 Nov 01 Paper Discussion Soumaya Medini, Giuliano Antoniol, Yann-Gaël Guéhéneuc, Massimiliano Di Penta and Paolo Tonella.
SCAN: an Approach to Label and Relate Execution Trace Segments. In Working Conference on Reverse Engineering (WCRE), 2012.
20 Nov 06 Paper Discussion Bernhard J. Berger, Karsten Sohr: An Approach to Detecting Inter-Session Data Flow Induced by Object Pooling. In International Information Security and Privacy Conference (SEC) 2012: 25-36.  
21 Nov 08 Paper Discussion Klein, Gerwin. seL4: Formal Verification of an OS Kernel. In ACM Symposium on Operating Systems Principles (SOSP), 2009. Note: Sat Nov 10 is the Last Day to Withdraw.
22 Nov 13 Paper Discussion Haiduc, S., Bavota, G., Oliveto, R., De Lucia, A., Marcus, A. Automatic Query Performance Assessment during the Retrieval of Software Artifacts. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), 2012, pp.90-99.  
23 Nov 15 Formal Presentation Evaluation of Diagrams and Tools for Object-Oriented Code Comprehension: a Survey  
24 Nov 20 No formal presentation    
  Nov 22 University Holiday -- no class  
25 Nov 27 Paper Discussion Carmen Zannier, Mike Chiasson, and Frank Maurer. 2007. A model of design decision making based on empirical results of interviews with software designers. Inf. Softw. Technol. 49, 6 (June 2007), 637-653.  
26 Nov 29 Discussion of outlines    
27 Dec 04 Paper Discussion
Official Course Evaluations‡
Rene Witte, Qiangqiang Li, Yonggang Zhang, Juergen Rilling. Text mining and software engineering: an integrated source code and document analysis approach. IEE Proceedings - Software, 2(1):3-16, 2008. ‡ Instructor will not be present while students complete the official evaluations.
28 Dec 06 Paper Discussion    
  Dec 12 (Wed) Due date for final survey   Note: Classes End Mon Dec 10.
Please note the different day and time, based on the University's official schedule for finals.

Academic integrity: Violations of academic integrity will be handled in accordance with the WSU policy.

Special accommodations: If you have a documented disability that requires accommodations, you will need to register with Student Disability Services for coordination of your academic accommodations. The Student Disability Services (SDS) office is located at 1600 David Adamany Undergraduate Library in the Student Academic Success Services department. SDS telephone number is 313-577-1851 or 313-577-3365 (TDD only). Once you have your accommodations in place, I will be glad to meet with you privately during my office hours to discuss your special needs. Student Disability Services’ mission is to assist the university in creating an accessible community where students with disabilities have an equal opportunity to fully participate in their educational experience at Wayne State University.

Credits and Acknowledgements

This course reuses material by Professor Mary Shaw from Carnegie Mellon University.

Last Updated: Tuesday, December 04, 2012 11:02:07 AM