Finding robust solutions in requirements models Gregory GayTim MenziesJames Kiper OriginalPaper 02 December 2009 Article: 87
Operational definition and automated inference of test-driven development with Zorro Hongbing KouPhilip M. JohnsonHakan Erdogmus OriginalPaper 10 November 2009 Article: 57
Estimating the feasibility of transition paths in extended finite state machines Karnig DerderianRobert M. HieronsQiang Guo OriginalPaper 03 November 2009 Article: 33
Test input reduction for result inspection to facilitate fault localization Dan HaoTao XieHong Mei OriginalPaper 19 August 2009 Article: 5