Symbolic Execution Techniques for Refinement Testing.

Pascale Le Gall, Nicolas Rapin, Assia Touil

Browse the full TAP paper archive.