Personal tools
You are here: Home Lab Seminar 2009

2009

  • Extended Static Checking for Java

    Yuyang Liu / Oct., 28, 2009 / [Presentation Material]

    Original Paper : Extended Static Checking for Java by Cormac Flanagan , K. Rustan M. Leino , K. Rustan , M. Leino , Mark Lillibridge , Greg Nelson , James B. Saxe , Raymie Stata, 2002

  • Supporting Controlled Experimentation with Testing Techniques

    Yuyang Liu / Sep., 23, 2009 / [Presentation Material]

    Original Paper : Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact by Hyunsook Do, Sebastian Elbaum1 and Gregg Rothermel, Emperical S.E.,Volume 10, Number 4 / October, 2005

Document Actions
« June 2017 »
June
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
2627282930