A framework for computer-aided validation.

Doron Drusinsky James Bret Michael Man-tak Shing A framework for computer-aided validation. 161-168 2008 4 ISSE 2 http://dx.doi.org/10.1007/s11334-008-0047-2 db/journals/isse/isse4.html#DrusinskyMS08