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 proceedingConference contribution

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.

Engineering & Materials Science