How Test Generation Helps Software Specification and Deductive Verification in Frama-C.

Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Browse the full TAP paper archive.