PyCT: A Python Concolic Tester.

Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu

Browse the full APLAS paper archive.