Login / Signup

A synergistic approach to improving symbolic execution using test ranges.

Guowei YangRui QiuSarfraz KhurshidCorina S. PasareanuJunye Wen
Published in: Innov. Syst. Softw. Eng. (2019)
Keyphrases