Home

Skip to end of metadata
Go to start of metadata

Topics in Software Engineering, Fall 2010

Lecture Time: Tuesday and Thursday, 2-3:15pm
Lecture Room: 1302 SC
Instructor: Darko Marinov (NetID: marinov)
TA: Sandro Badame (NetID: badame1)

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/24 Darko Marinov How to Read an Engineering Research Paper
William G. Griswold
Writing Good Software Engineering Research Papers, through library, old link
Mary Shaw (ICSE 2003)
1 1
08/26 Brett Daniel Paper reports NOT due for this lecture
ReAssert: Suggesting repairs for broken unit tests
Brett Daniel, Vilas Jagannath, Danny Dig, and Darko Marinov (ASE 2009)
(optional) On Test Repair using Symbolic Execution
Brett Daniel, Tihomir Gvero, and Darko Marinov (ISSTA 2010)
Website: ReAssert
2

2'
2
08/31 Darko HW0 DUE (at 2pm, Champaign time)
Paper reports still NOT due for this lecture
Test Generation through Programming in UDITA
Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, and Darko Marinov (ICSE 2010)
(optional) Automated testing of refactoring engines
Brett Daniel, Danny Dig, Kely Garcia, and Darko Marinov (ESEC/FSE 2007)
Websites: UDITA, ASTGen
3

3'
3
09/02 Darko Paper reports DUE (at 2pm, Champaign time)
Do NOT buy papers (see Accessing Papers in Online Collections)
Pex – White Box Test Generation for .NET
Nikolai Tillmann and Jonathan de Halleux (TAP 2008)
(optional) Moles: Tool-Assisted Environment Isolation with Closures
Jonathan de Halleux and Nikolai Tillmann (TOOLS 2010)
Websites: Pex by Nikolai Tillmann and Peli de Halleux, TeachPex by Tao Xie
4

4'
4
09/07 Darko Feedback-directed random test generation
by Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, and Thomas Ball (ICSE 2007)
(optional) Finding Errors in .NET with Feedback-directed Random Testing
by Carlos Pacheco, Shuvendu K. Lahiri, and Thomas Ball (ISSTA 2008)
Website: Randoop
5 5
09/09 Darko Note: this is a journal paper, so feel free to skip/skim some sections (3.2, 3.3, 4)
Model Checking Programs
by W. Visser, K. Havelund, G. Brat, S. Park and F. Lerda (J-ASE, vol. 10, no. 2, April 2003)
(optional) Sample course project based on JPF (from CMU course 17-654 taught by Jonathan Aldrich)
Evaluating Java PathFinder on Log4J
by David A. Dickey, B. Sinem Dorter, J. Michael German, Benjamin D. Madore, Mark W. Piper, Gabriel L. Zenarosa
Website: JPF
6

6'
6
09/14 Darko Iterative Context Bounding for Systematic Testing of Multithreaded Programs
by Madan Musuvathi and Shaz Qadeer (PLDI 2007)
Website: CHESS
7

7'
7
09/16 Darko Note: this is a journal paper and a survey 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
by Shin Yoo and Mark Harman (STVR 2010)
8 8
09/21 Darko Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
by Dawson Engler, Benjamin Chelf, Andy Chou, Seth Hallem (OSDI 2000)
9
9'
9
09/23 Darko Maintaining and evolving GUI-directed test scripts
by Mark Grechanik, Qing Xie, Chen Fu (ICSE 2009)
10 10
09/28 Darko /* iComment: Bugs or Bad Comments? */
by Lin Tan, Ding Yuan, Gopal Krishna and Yuanyuan Zhou (SOSP 2007)
11
11'
11
09/30   NO LECTURE AND NO PAPER REPORT DUE
Project proposals due
   
10/05   NO LECTURE
Project-specific paper reports and problem set
   
10/07
N.K.

C.L.

J.S.
READ ONE PAPER AND EMAIL A THREE-ITEM REPORT TO THE PRESENTER AND SANDRO
Effectively prioritizing tests in development environment
by Amitabh Srivastava and Jay Thiagarajan (ISSTA 2002)
Practical Fault Localization for Dynamic Web Applications
by Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia (ICSE 2010)
An experimental evaluation of continuous testing during development
by David Saff and Michael D. Ernst (ISSTA 2004)
  12
10/12 N.S.

J.G.

C.R.
Finding Errors in .NET with Feedback-directed Random Testing
by Carlos Pacheco, Shuvendu K. Lahiri, and Thomas Ball (ISSTA 2008)
Moles: Tool-Assisted Environment Isolation with Closures
Jonathan de Halleux and Nikolai Tillmann (TOOLS 2010)
Automatically finding patches using genetic programming
by Westley Weimer, ThanhVu Nguyen, Claire Goues, Stephanie Forrest (ICSE '09)
  13
10/14 A.S.

D.O.

J.B.
An Overview of the K Semantic Framework (With focus on sections 3 and 5 )
by Grigore Rosu and Traian Florin Serbanuta
GenRed: A Tool for Generating and Reducing Object-Oriented Test Cases
by Hojun Jaygarl, Kai-Shin Lu and Carl K. Chang (COMPSAC 2010)
Unit testing concurrent software
by William Pugh and Nathaniel Ayewah (ASE 2007)
  14
10/19 H.Y.

S.T.

A.A.
Stable Deterministic Multithreading through Schedule Memoization
by Heming Cui, Jingyue Wu, Chia-che Tsai, Junfeng Yang (OSDI'10)
Retrofitting Unit Tests for Parameterized Unit Testing
by Madhuri R. Marri, Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleu (Tech Report)
A framework for state-space exploration of Java-based actor programs
by Steven Lauterburg, Mirco Dotta, Darko Marinov and Gul Agha (ASE 2009)
  15
10/21 M.M.

T.B.

D.M.
Evolutionary Testing of Classes
Paolo Tonella (ISSTA 2004)
Hybrid Concolic Testing
by R. Majumdar and K. Sen (ICSE'07)
On Test Repair Using Symbolic Execution
by Brett Daniel, Tihomir Gvero, and Darko Marinov (ISSTA 2010)
  16
10/26 M.G.

B.R.

J.N.
Tackling Large Verification Problems with the Swarm Tool
by Gerard J. Holzmann, Rajeev Joshi, Alex Groce (SPIN 2008)
Automatic Error Correction of Java Programs
Authors: Christian Kern and Javier Esparza
Automatically Repairing Test Cases for Evolving Method Declarations
by Mehdi Mirzaaghaei, Fabrizio Pastore, Mauro Pezze (ICSM 2010)
  17
10/28 A.G.

M.S.

Q.L.
Clustering Test Cases to Achieve Effective & Scalable Prioritisation Incorporating Expert Knowledge
by Shin Yoo, Mark Harman, Paolo Tonella, and Angelo Susi (ISSTA 2009)
Design by Contract with JML
by Gary T. Leavens. Yoonsik Cheon
Multithreaded Java program test generation
by O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, S. Ur (IBM System Journal)
  18
11/02 S.K.

M.L.

L.S.
Eclat: Automatic generation and classification of test inputs
by Carlos Pacheco and Michael D. Ernst(ECOOP 2005)
Putting It All Together: Using Socio-technical Networks to Predict Failures
by Bird, C. Nagappan, N. Gall, H. Murphy, B. Devanbu, P. Software Reliability Engineering, 2009. ISSRE '09
Fault Localization Using Value Replacement
by by Dennis Jeffrey (jeffreyd@cs.ucr.edu) Neelam Gupta (guptajneelam@gmail.com) and Rajiv Gupta (gupta@cs.ucr.edu)
  19
11/04 H.S.

G.H.

J.O.
Using AOP for Discovering and Defining Executable Test Cases
by Philipp Kumar and Thomas Baar
An Automated Refactoring Tool for Dataflow Visual Programming Language
by Yang-Yi Sui, Jun Lin, Xiao-Tuo Zhang
Self-healing Assurance Based on Bounded Model Checking
by Vendula Hrub´a, Bohuslav Kˇrena, and Tom´aˇs Vojnar
  20
11/09   Work on projects    
11/11   Project progress due    
11/16 A.S.

C.T.

M.M.
An empirical comparison of automated generation and classification techniques for object-oriented unit testing
by M. d'Amorim, C. Pacheco, T. Xie, D. Marinov, and M. D. Ernst
OCAT: Object Capture based Automated Testing 
by Hojun Jaygarl, Tao Xie, Sunghun Kim, Carl K. Chang
Debugging in Parallel
by JA Jones, JF Bowring, MJ Harrold.
  21
11/18 A.B.

M.H.

R.G.
A Metric for Software Readability
by Raymond P.L. Buse and Westley R. Weimer.
SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values
by Colin Runciman, Matthew Naylor, Fredrik Lindblad (Haskell '08)
Improving Test Suites for Efficient Fault Localization
by B Baudry, F Fleurey, and YL Traon
  22
11/23 Thanksgiving Break    
11/25 Thanksgiving Break    
11/30 G.G.

N.T.

A.L.
A Graph-Based Algorithm for Automated Refactoring
by Rodrigo E.Caballero and Steven A. Demerjian Sr.
Towards Automatically Generating Comments for Java Methods.
by Giriprasad Sridhara, Emily Hill, Divya Muppaneni, Lori Pollock, and K. Vijay-Shanker.
Yesterday, my program worked. Today, it does not. Why?
by Andreas Zeller
  23
12/02 M.K.

E.D.

J.C.
GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing
by Atif M. Memon, Ishan Banerjee, and Adithya Nagarajan
Stepping Stones over the Refactoring Rubicon
By: Max Schafer, Mathieu Verbaere, Torbjorn Ekman, and Oege de Moor
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports
By: Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner
   
12/07   Final project reports due    

http://whitepapers.hackerjournals.com/wp-content/uploads/2010/01/Manual-Testing-vs.-Random+-Testing-vs.-User-Reports.pdf

Enter labels to add to this page:
Please wait 
Looking for a label? Just start typing.