PyCT: A Python Concolic Tester
Abstract elided by the publisher.
Related papers
- Sound and Complete Concolic Testing for Higher-order Functions ESOP 2021
- Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs GPCE 2018
- Checking for CFFD-Preorder with Tester Processes TACAS 2000
- Abstracting Concolic Execution for Soft Contract Verification SAS 2025
- Concurrent Test Generation Using Concolic Multi-trace Analysis APLAS 2012
- CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools CAV 2006
- Automated transpilation of imperative to functional code using neural-guided program synthesis OOPSLA 2022
- COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution) TACAS 2020