共 50 条
- [31] PrologCheck - Property-Based Testing in Prolog FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, 2014, 8475 : 1 - 17
- [32] Robust predictive control design based on frequency analysis DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES A-MATHEMATICAL ANALYSIS, 2006, 13 : 2023 - 2030
- [36] Property-Based Testing of SPARQL Queries PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017), 2017,
- [37] Towards Substructural Property-Based Testing LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), 2022, 13290 : 92 - 112
- [38] Property-based integration for sustainable development EUROPEAN SYMPOSIUM ON COMPUTER-AIDED PROCESS ENGINEERING - 14, 2004, 18 : 1069 - 1074
- [39] An Improved Protocol for Property-Based Attestation 2013 32ND CHINESE CONTROL CONFERENCE (CCC), 2013, : 6343 - 6348
- [40] Property-Based Testing of Sensor Networks 2015 12TH ANNUAL IEEE INTERNATIONAL CONFERENCE ON SENSING, COMMUNICATION, AND NETWORKING (SECON), 2015, : 100 - 108