共 50 条
- [31] Teaching students Property-based Testing [J]. 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 437 - 442
- [32] Advances in Property-Based Testing for αProlog [J]. TESTS AND PROOFS, TAP 2016, 2016, 9762 : 37 - 56
- [33] Property-based remote attestation model [J]. Tongxin Xuebao/Journal on Communications, 2010, 31 (08): : 1 - 8
- [34] PrologCheck - Property-Based Testing in Prolog [J]. FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, 2014, 8475 : 1 - 17
- [35] A property-based attestation protocol for TCM [J]. Science China(Information Sciences), 2010, 53 (03) : 454 - 464
- [36] Property-Based Testing for Spark Streaming [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2019, 19 (04) : 574 - 602
- [37] A property-based attestation protocol for TCM [J]. SCIENCE CHINA-INFORMATION SCIENCES, 2010, 53 (03) : 454 - 464
- [38] An Improved Protocol for Property-Based Attestation [J]. 2013 32ND CHINESE CONTROL CONFERENCE (CCC), 2013, : 6343 - 6348
- [39] Property-Based Testing of Sensor Networks [J]. 2015 12TH ANNUAL IEEE INTERNATIONAL CONFERENCE ON SENSING, COMMUNICATION, AND NETWORKING (SECON), 2015, : 100 - 108
- [40] On privacy of property-based remote attestation [J]. Tongxin Xuebao/Journal on Communications, 2009, 30 (11 A): : 146 - 152