共 50 条
- [21] Property-based remote attestation model Tongxin Xuebao/Journal on Communications, 2010, 31 (08): : 1 - 8
- [22] PrologCheck - Property-Based Testing in Prolog FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, 2014, 8475 : 1 - 17
- [26] Property-Based Testing of SPARQL Queries PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017), 2017,
- [27] Towards Substructural Property-Based Testing LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), 2022, 13290 : 92 - 112
- [28] An Improved Protocol for Property-Based Attestation 2013 32ND CHINESE CONTROL CONFERENCE (CCC), 2013, : 6343 - 6348
- [29] Property-Based Testing of Sensor Networks 2015 12TH ANNUAL IEEE INTERNATIONAL CONFERENCE ON SENSING, COMMUNICATION, AND NETWORKING (SECON), 2015, : 100 - 108
- [30] AN APPROACH TO THE PROPERTY-BASED PLANNING OF SIMULATIONS ICED 15, VOL 5: DESIGN METHODS AND TOOLS - PT 1, 2015,