共 50 条
- [41] Property-Based Testing via Proof Reconstruction PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), 2019,
- [42] PROPR: Property-Based Automatic Program Repair 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2022), 2022, : 1768 - 1780
- [43] Checking Laws of the Blockchain with Property-Based Testing 2018 IEEE 1ST INTERNATIONAL WORKSHOP ON BLOCKCHAIN ORIENTED SOFTWARE ENGINEERING (IWBOSE), 2018, : 40 - 47
- [45] Property-Based Brittleness Analysis of Temporal Networks JOURNAL OF AEROSPACE INFORMATION SYSTEMS, 2023, 20 (07): : 398 - 417
- [46] Property-Based Test Case Generators for Free TESTS AND PROOFS (TAP 2019), 2019, 11823 : 186 - 206
- [47] Polyvariant Program Specialisation with Property-based Abstraction ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (299): : 34 - 48
- [50] A Property-Based Method for Acquiring Commonsense Knowledge KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, PT I, 2021, 12815 : 53 - 65