共 50 条
- [22] Property-Based Mutation Testing [J]. 2023 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST, 2023, : 222 - 233
- [25] Getting the ADME properties right through property-based design. [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2002, 223 : U348 - U348
- [26] Property-based Locking in Collaborative Modeling [J]. 2017 ACM/IEEE 20TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2017), 2017, : 199 - 209
- [28] Towards Substructural Property-Based Testing [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), 2022, 13290 : 92 - 112
- [29] Property-based integration for sustainable development [J]. EUROPEAN SYMPOSIUM ON COMPUTER-AIDED PROCESS ENGINEERING - 14, 2004, 18 : 1069 - 1074
- [30] Property-Based Testing of SPARQL Queries [J]. PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017), 2017,