OSMOSE: automatic structural testing of executables

Sébastien Bardin, Philippe Herrmann. OSMOSE: automatic structural testing of executables. Softw. Test., Verif. Reliab., 21(1):29-54, 2011. [doi]

Abstract

Abstract is missing.