TY  - RPRT
TI  - Practical Constraint Solving for Generating System Test Data
AU  - Ghanem Soltana
AU  - Mehrdad Sabetzadeh
AU  - Lionel C. Briand
PY  - 2020
DO  - 10.1145/3381032
UR  - https://arxiv.org/abs/1902.00397
ID  - 1902.00397
ER  -