Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification.

Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas

Browse the full ICST paper archive.