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
« March 2017 »
March
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
2728293031