Treffer: StriCT-Bj:A String Constraint Benchmark from Real Java Programs

Title:
StriCT-Bj:A String Constraint Benchmark from Real Java Programs
Authors:
Zhang, Chi, Zhang, Jian
Source:
2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) SANER Software Analysis, Evolution and Reengineering (SANER), 2025 IEEE International Conference on. :418-429 Mar, 2025
Relation:
2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
Database:
IEEE Xplore Digital Library