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
