JML Seminar (Com S 610 GL, Fall 2005) Home Page
This is the home page of the Fall 2005 JML Seminar (Com S 610 GL) led by Gary T. Leavens at Iowa State University.
Date | News Item | |
---|---|---|
12/5/2005 | There will be no meeting on December 9. | |
11/14/2005 | Homework 11, for December 2 (after break) is now available. We'll pass out the paper for that at our November 18 meeting, or see Gary to get a copy earlier. | |
11/14/2005 | This web page now has a RSS feed. | |
11/13/2005 | Homework 10 is to attend Eric van Wyk's colloquium on Thursday (November 17) in 223 Atanasoff, and be prepared to discuss it. | |
11/9/2005 | Homework 9 will be discussed Friday November 11, 2005. Clyde Ruby will lead the discussion. There are extra copies of the paper outside Gary Leavens's office. | |
11/9/2005 | Gary's presentation on the JML/JUnit paper, by Cheon and Leavens, is now available from the talks directory. | |
11/9/2005 | Neeraj's presentation on the Daikon paper, by Ernst et al, is now available from the talks directory. | |
10/15/2005 | Yaping's presentation on the ESC/Java paper, by Flanagan, et al., is now availble from the talks directory. | |
9/26/2005 | Janet's presentation on the model variables paper, by Cheon, et al., is now availble from the talks directory. | |
8/15/2005 | Course meetings will be held every Friday at 4:10pm to 5:00pm in 217 Atanasoff Hall. |
Last modified Monday, December 5, 2005.