PyCT: A Python Concolic TesterVirtual
Sun 17 Oct 2021 19:20 - 19:30 at Zurich D - Analysis / Synthesis (mirror) Chair(s): Kihong Heo
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.
Among the existing testers for Python, PyExZ3 is the most well-known and advanced. However, we found some issues of PyExZ3: (1) it implements only a limited number of base types’ (e.g., integer, string) member functions and(2) it automatically downcasts concolic objects and discards related symbolic information as it encounters built-in types’ constructors.
Based on the concept of PyExZ3, we develop a new tool called PyCT to alleviate these two issues. PyCT supports a more complete set of member functions of data types including integer, string, and range. We also proposes a new method to upcast constants to concolic ones to prevent unnecessary downcasting. Our evaluation shows that with more member functions being supported, the coverage rate is raised to (80.20%) from (71.55%). It continues to go up to (85.68%) as constant upcasting is also implemented.
Sun 17 OctDisplayed time zone: Central Time (US & Canada) change
10:50 - 12:10 | Analysis / Synthesis Research Papers at Zurich D +8h Chair(s): Jiasi Shen Massachusetts Institute of Technology | ||
10:50 15mTalk | Scalable and Modular Robustness Analysis of Deep Neural NetworksVirtual Research Papers Yuyi Zhong School of Computing, National University of Singapore, Quang-Trung Ta National University of Singapore, Tianzuo Luo School of Computing, National University of Singapore, Fanlong ZHANG School of Computer, Guangdong University of Technology, Siau-Cheng Khoo National University of Singapore | ||
11:05 15mTalk | Server-Side Computation of Package Dependencies in Package-Management SystemsVirtual Research Papers | ||
11:20 10mTalk | PyCT: A Python Concolic TesterVirtual Research Papers Wei-Lun Tsai Academia Sinica, Wei-Cheng Wu University of Southern California, USA, Di-De Yen Academia Sinica, Fang Yu National Chengchi University, Yu-Fang Chen Academia Sinica, Taiwan | ||
11:30 10mTalk | Program Synthesis for Musicians: A Usability Testbed for Temporal Logic SpecificationsVirtual Research Papers Wonhyuk Choi Columbia University, Michel Vazirani Columbia University, Mark Santolucito Barnard College, Columbia University, USA | ||
11:40 10mTalk | Function Pointer Eliminator for C ProgramsVirtual Research Papers Daisuke Kimura Toho University , Mahmudul Faisal Al Ameen University of Tokyo, Makoto Tatsuta National Institute of Informatics, Koji Nakazawa Nagoya University | ||
11:50 20mLive Q&A | Q&A and discussionVirtual Research Papers | ||
18:50 - 20:10 | |||
18:50 15mTalk | Scalable and Modular Robustness Analysis of Deep Neural NetworksVirtual Research Papers Yuyi Zhong School of Computing, National University of Singapore, Quang-Trung Ta National University of Singapore, Tianzuo Luo School of Computing, National University of Singapore, Fanlong ZHANG School of Computer, Guangdong University of Technology, Siau-Cheng Khoo National University of Singapore | ||
19:05 15mTalk | Server-Side Computation of Package Dependencies in Package-Management SystemsVirtual Research Papers | ||
19:20 10mTalk | PyCT: A Python Concolic TesterVirtual Research Papers Wei-Lun Tsai Academia Sinica, Wei-Cheng Wu University of Southern California, USA, Di-De Yen Academia Sinica, Fang Yu National Chengchi University, Yu-Fang Chen Academia Sinica, Taiwan | ||
19:30 10mTalk | Program Synthesis for Musicians: A Usability Testbed for Temporal Logic SpecificationsVirtual Research Papers Wonhyuk Choi Columbia University, Michel Vazirani Columbia University, Mark Santolucito Barnard College, Columbia University, USA | ||
19:40 10mTalk | Function Pointer Eliminator for C ProgramsVirtual Research Papers Daisuke Kimura Toho University , Mahmudul Faisal Al Ameen University of Tokyo, Makoto Tatsuta National Institute of Informatics, Koji Nakazawa Nagoya University | ||
19:50 20mLive Q&A | Q&A and discussionVirtual Research Papers | ||