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
{"_id":"LJrR2t8QadDumYrYo","bibbaseid":"chen-tsai-wu-yen-yu-pyctapythonconcolictester-2021","author_short":["Chen, Y.","Tsai, W.","Wu, W.","Yen, D.","Yu, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Chen"],"firstnames":["Yu-Fang"],"suffixes":[]},{"propositions":[],"lastnames":["Tsai"],"firstnames":["Wei-Lun"],"suffixes":[]},{"propositions":[],"lastnames":["Wu"],"firstnames":["Wei-Cheng"],"suffixes":[]},{"propositions":[],"lastnames":["Yen"],"firstnames":["Di-De"],"suffixes":[]},{"propositions":[],"lastnames":["Yu"],"firstnames":["Fang"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Oh"],"firstnames":["Hakjoo"],"suffixes":[]}],"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","bibtex":"@InProceedings{10.1007/978-3-030-89051-3_3,\nauthor=\"Chen, Yu-Fang\nand Tsai, Wei-Lun\nand Wu, Wei-Cheng\nand Yen, Di-De\nand Yu, Fang\",\neditor=\"Oh, Hakjoo\",\ntitle=\"PyCT: A Python Concolic Tester\",\nbooktitle=\"Programming Languages and Systems\",\nyear=\"2021\",\npublisher=\"Springer International Publishing\",\naddress=\"Cham\",\npages=\"38--46\",\nabstract=\"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.\",\nisbn=\"978-3-030-89051-3\"\n}\n\n","author_short":["Chen, Y.","Tsai, W.","Wu, W.","Yen, D.","Yu, F."],"editor_short":["Oh, H."],"bibbaseid":"chen-tsai-wu-yen-yu-pyctapythonconcolictester-2021","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/aSdAxvcuTkFxnXZjg/wwu.bib","dataSources":["YWgSDDpCXg94hahkt"],"keywords":[],"search_terms":["pyct","python","concolic","tester","chen","tsai","wu","yen","yu"],"title":"PyCT: A Python Concolic Tester","year":2021}