Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study.

Sriteja Kummita, Fabian Schiebel, Eric Bodden, Miao Miao, Shiyi Wei

Browse the full SANER paper archive.