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
« August 2017 »
August
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031