Material

Introduction to Software Engineering [pdf]

Assignment 1

Software Testing, JUnit [pdf]

Assignment 2

READING: Software debugging, testing, and verification
READING: Programmer's Dozen

Agile Development Methodologies: Extreme Programming [pdf],
SE Projects [pdf]

Assignment 3

5-MIN TALK: Automatic Discovery of API-Level Vulnerabilities (jv)

Software Design Pattern [pdf] part 2 [pdf]

Papers on the expression problem: Wadler [txt], Zenger [pdf], Torgersen [pdf], Krishnamurthi [pdf], Grothoff [pdf], and as a practical example: Palacz [pdf]

5-MIN TALK: Locating Causes of Program Failures  (boley)

Refactoring [pdf]

5-MIN TALK: Is Mutation an Appropriate Tool for Testing Experiments?  (xbin)

Refactoring & Coding Standards [pdf] and [pdf]
Aspect Oriented Programming [pdf] and [pdf]

--no friday project progress meeting--

5-MIN TALK: Fragment Class Analysis for Testing of Polymorphism in Java Software  (etapia)

Data Flow Analysis [pdf]

Principles of Program Analysis; Flemming Nielson, Hanne R. Nielson, Chris Hankin, Springer-Verlag, 1999.

Tuesday: Improving Effectiveness of Automated Software Testing, Tao Xie (University of Washington), 10:30 CS111 (blurb)

Thursday: Run-Time Error Handling and Program Reliability, Westley Weimer (Berkeley), 10:30 CS111 (blurb)

5-MIN TALK: Check ’n Crash: Combining Static Checking and Testing  (ssjordan)
5-MIN TALK: Automated Support for Development in the Presence of Implicit Control Flow (lziarek)

Data Flow Analysis

Data Flow Analysis
-- No class on Wed. => Midterm! 5min talks on Monday!

Solving the midterm

5-MIN TALK: Finding latent code errors via machine learning over program executions (johnsobr)

Monotone Frameworks

Inteprocedural Analysis

5-MIN TALK: Generating Tests from Counterexamples  (jthomas)

Shape Analysis

5-MIN TALK: DiscoTect: A System for Discovering Architectures from Running Systems  (schatzp)