Input decomposition by clusterization for symbolic execution.

Roman P. Bazylevych, Andrii Franko

Browse the full CSIT paper archive.