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
new news item 12/5/2005 There will be no meeting on December 9.
key news item 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.
key news item 11/14/2005 This web page now has a RSS feed.
key news item 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.
key news item 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.
key news item 11/9/2005 Gary's presentation on the JML/JUnit paper, by Cheon and Leavens, is now available from the talks directory.
key news item 11/9/2005 Neeraj's presentation on the Daikon paper, by Ernst et al, is now available from the talks directory.
key news item 10/15/2005 Yaping's presentation on the ESC/Java paper, by Flanagan, et al., is now availble from the talks directory.
key news item 9/26/2005 Janet's presentation on the model variables paper, by Cheon, et al., is now availble from the talks directory.
key news item 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.