PyCT: A Python Concolic Tester. Chen, Y., Tsai, W., Wu, W., Yen, D., & Yu, F. In Programming Languages and Systems, pages 38–46, Cham, 2021. Springer International Publishing.
abstract   bibtex   
Concolic testing is a software testing technique for generating concrete inputs of programs to increase code coverage and has been developed for years. For programming languages such as C, JAVA, x86 binary code, and JavaScript, there are already plenty of available concolic testers. However, the concolic testers for Python are relatively less. Since Python is a popular programming language, we believe there is a strong need to develop a good one.
@InProceedings{10.1007/978-3-030-89051-3_3,
author="Chen, Yu-Fang
and Tsai, Wei-Lun
and Wu, Wei-Cheng
and Yen, Di-De
and Yu, Fang",
editor="Oh, Hakjoo",
title="PyCT: A Python Concolic Tester",
booktitle="Programming Languages and Systems",
year="2021",
publisher="Springer International Publishing",
address="Cham",
pages="38--46",
abstract="Concolic testing is a software testing technique for generating concrete inputs of programs to increase code coverage and has been developed for years. For programming languages such as C, JAVA, x86 binary code, and JavaScript, there are already plenty of available concolic testers. However, the concolic testers for Python are relatively less. Since Python is a popular programming language, we believe there is a strong need to develop a good one.",
isbn="978-3-030-89051-3"
}

Downloads: 0