Cited By
View all- Britikov KZlatkin IFedyukovich GAlt LSharygina N(2024)SolTG: A CHC-Based Solidity Test Case GeneratorComputer Aided Verification10.1007/978-3-031-65627-9_23(466-479)Online publication date: 26-Jul-2024
- Bombarda AGargantini A(2023)Incremental generation of combinatorial test suites starting from existing seed tests2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW58534.2023.00044(197-205)Online publication date: Apr-2023