Model based vulnerability testing report
Peter Provost Sr. Program Manager Microsoft Corporation TL15.
Boston 2009 q1_kappler_chris
Model Based Testing for WS
Towards Mining Software Repositories Research that Matters
Csise15 codehunt
Formal Black Box Testing
SEFM_2012
Habib Heydarian Lead Program Manager Microsoft Corporation Justin Marks Program Manager Microsoft Corporation TL03.
VBSE Theory, and SimVBSE CSE, Annual Research Review Apurva Jain, Barry Boehm Version 1.0 (modified March 02, 2006)
Database State Generation via Dynamic Symbolic Execution for Coverage Criteria
Development Testing – Is It Worth It?