Home

Skip to end of metadata
Go to start of metadata

Topics in Software Engineering, Fall 2011

Meeting Time: Tuesday and Thursday, 2-3:15pm
Meeting Room: 1302 SC
Instructor: Darko Marinov (NetID: marinov)
TA: Shin Hwei Tan (NetID: stan6)

Schedule

Unless specified otherwise, all paper reports are due before the beginning of the respective class (2pm CST). Please see the Syllabus for the report format and submission instructions.

Date Presenter Reading Slides Videos
08/23 Darko Marinov Introduction 1 1
08/25 Darko How to Read an Engineering Research Paper
William G. Griswold
Writing Good Software Engineering Research Papers
Mary Shaw (ICSE 2003)
2 2
08/30 Darko HW0 DUE (at 2pm, Champaign time)
Paper reports NOT due for this meeting
Iterative Context Bounding for Systematic Testing of Multithreaded Programs
Madan Musuvathi and Shaz Qadeer (PLDI 2007)
Website: CHESS
3
3'
3
09/01 Vilas Jagannath Paper reports still NOT due for this meeting
Improved Multithreaded Unit Testing
V. Jagannath, M. Gligoric, D. Jin, Q. Luo, G. Rosu, and D. Marinov (ESEC/FSE 2011)
Website: IMUnit
4 4
09/06
Qingzhou Luo

Samira Tasharofi
Paper reports still NOT due for this meeting
Change-Aware Preemption Prioritization
V. Jagannath, Q. Luo, and D. Marinov (ISSTA 2011)
Setac: A Framework for Phased Deterministic Testing of Scala Actor Programs
S. Tasharofi, M. Gligoric, D. Marinov, and R. Johnson (Scala Days 2011)

5

5'
5
09/08 Shin Hwei Tan Paper reports DUE (email submission to stan6 with title CS527 HW1)
/* iComment: Bugs or Bad Comments? */
Lin Tan, Ding Yuan, Gopal Krishna and Yuanyuan Zhou (SOSP 2007)
6 6
09/13 Darko Paper reports DUE (email Darko and presenter from now on, it won't be repeated)
Do NOT buy papers (see Accessing Papers in Online Collections)
Note: this is a survey journal paper, so read only one of sections 3, 4, or 5, and feel free to skip sections 6 and 7
Regression Testing Minimization, Selection and Prioritization: A Survey
Shin Yoo and Mark Harman (STVR 2010)
7 7
09/15 Darko Model-based quality assurance of protocol documentation: tools and methodology
Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie and Victor Braberman (STVR 2010)
Websites: SpecExplorer, NModel
8 8
09/20 Darko Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking
Tao Xie (ECOOP 2006)
9 9
09/22 Darko Moles: Tool-Assisted Environment Isolation with Closures
Jonathan de Halleux and Nikolai Tillmann (TOOLS 2010)
Website: Pex and Moles
10 10
09/27   NO MEETING AND NO PAPER REPORT DUE
Project proposals due
   
09/29   NO MEETING
Project-specific paper reports and problem set
   
10/04




D.G.

C.M.
For paper reports, if presenting this week, no need to send any
If not presenting this week, then
1. read one paper for each meeting,
2. write a report with three points (good, bad, question, NO project), and
3. email the report inlined NOT attached to the presenter (find on People map from initials to NetId) and CC Darko
Towards a framework and a benchmark for testing tools for multi-threaded programs.
Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur (C&C: P&E 19(3): 267-279 (2007))
Intentional Software (gloss over section 3)
Charles Simonyi, Magnus Christerson, and Shane Clifford (OOPSLA Onward! 2006)
  11
10/06 A.H.

A.K.
ModelTester: a tool for teaching model-based testing (VPN), library, public (large)
James Slack (Journal of Computing Sciences in Colleges 27, 1 (October 2011), 37-46)
Detection of Asynchronous Message Passing Errors Using Static Analysis
Maria Christakis and Konstantinos Sagonas (PADL'11)
  12
10/11 B.L.

Dw.G.
Change Bursts as Defect Predictors Alternate Download
Nachiappan Nagappan, Andreas Zeller, Thomas Zimmermann, Kim Herzig, and Brendan Murphy (ISSRE 2010)
Assessing Oracle Quality with Checked Coverage
David Schuler, Andreas Zeller (ICST 2011)
  13
10/13 D.F.

S.B.
CTrigger: Exposing Atomicity Violation Bugs from Their Hiding Places
Soyeon Park, Shan Lu, and Yuanyuan Zhou (ASPLOS 2009)
What you see is what you test: a methodology for testing form-based visual programs
Gregg Rothermel, Lixin Li, Christopher DuPuis, Margaret Burnett (ICSE '98)
  14
10/18 Y.L. Falcon: Fault Localization in Concurrent Programs
Sangmin Park, Richard W. Vuduc, and Mary Jean Harrold (ICSE 2010)
  15
10/20 B.O.

S.O.
Automated Model Checking and Testing for Composite Web Services
H. Huang, W-T. Tsai, R. Paul (ISORC 2005)                                                 
How Do Programs Become More Concurrent? A Story of Program Transformations
Danny Dig, John Marrero, Michael Ernst (WMSSE 2011)
  16
10/25 D.R.

A.D
Using Benchmarking to Advance Research: A Challenge to Software Engineering
Susan Elliott Sim, Steve M. Easterbrook, Richard C. Holt (ICSE 2003)
Understanding the Rationale for Updating a Function’s Comment
Haroon Malik, Istehad Chowdhury, Hsiao-Ming Tsou, Zhen Ming Jiang, Ahmed E. Hassan
  17
10/27 N.D.

A.Y.
Learning from Mistakes — A Comprehensive Study on Real World Concurrency Bug Characteristics
Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou (2008)
A Metric of Software Readability
Raymond P.L. Buse and Westley R. Weimer
  18
11/01 D.P.

K.N.
Unit Testing Concurrent Software
William Pugh and Nathaniel Ayewah
Regression Testing of GUIs
Atif M. Memon and Mary Lou Soffa (2003)
  19
11/03 A.P.

F.S.
RADBench: A Concurrency Bug Benchmark Suite
N. Jalbert, C. Pereira, G. Pokam, and K. Sen (HotPar 2011)
Confirmation of Deadlock Potentials Detected by Runtime Analysis
Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier (PADTAD 2006)
  20
11/08 C.L.

XL.W.
Integration Testing of Composite Applications
Liam Peyton, Bernard Stepien, Pierre Seguin (HICSS 2008)
A human study of fault localization accuracy
Zachary P. Fry and Westley Weimer (2010)
  21
11/10   NO MEETING AND NO PAPER REPORT DUE
Project progress reports due
   
11/15 P.S.

De.G.
Trends and research issues in SOA validation
Antonia Bertolino, Guglielmo De Angelis, Andrea Polini, Antonino Sabetta (2011)
Strategy Logic
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Strategy logic. Inf. Comput. 208(6): 677-693 (2010)
SL 22
11/17 A.V.

J.T.
Achieving Both Model and Code Coverage with Automated Gray-Box Testing
Nicolas Kicillof, Wolfgang Grieskamp, Victor Braberman (2007)
Mining Software Repositories to Study Co-Evolution of Production & Test Code
Andy Zaidman, Bart Van Rompaey, Serge Demeyer, Arie van Deursen (ICST 2008)
  23
11/22 Thanksgiving Break    
11/24 Thanksgiving Break    
11/29 D.K. NO PAPER REPORT DUE, THIS IS A RETRY OF A PRESENTATION THAT DIDN'T WORK ON 10/18
A Bayesian Approach for the Detection of Code and Design Smells
Foutse Khomh, Stephane Vaucher, Yann-Gael Gueheneuc, Houari Sahraoui (QSIC 2009)
  24
12/01 C.P.

K.B.
CORD: Cost-effective (and nearly overhead-free)Order-Recording and Data race detection
Milos Prvulovic (HPCA-12)
Is Data Privacy Always Good For Software Testing?
Mark Grechanik, Christoph Csallner, Chen Fu, and Qing Xie (ISSRE 2010)
  25
12/06   Last meeting
Final project reports due
   
Enter labels to add to this page:
Please wait 
Looking for a label? Just start typing.