Fingerprint Dive into the research topics of 'Characteristic studies of loop problems for structural test generation via symbolic execution'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Characteristic studies of loop problems for structural test generation via symbolic execution
Xusheng Xiao, Sihan Li, Tao Xie, Nikolai Tillmann
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution