共 50 条
- [41] Property-based optimal tailoring of composite materials PHYSICAL PROPERTIES OF COMPOSITES, 1996, : 1 - 10
- [42] Property-Based Testing via Proof Reconstruction PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), 2019,
- [43] PROPR: Property-Based Automatic Program Repair 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2022), 2022, : 1768 - 1780
- [44] Aggregation over Property-Based Preference Domains AGGREGATION FUNCTIONS IN THEORY AND IN PRACTICE, 2018, 581 : 130 - 137
- [45] Checking Laws of the Blockchain with Property-Based Testing 2018 IEEE 1ST INTERNATIONAL WORKSHOP ON BLOCKCHAIN ORIENTED SOFTWARE ENGINEERING (IWBOSE), 2018, : 40 - 47
- [47] Property-Based Brittleness Analysis of Temporal Networks JOURNAL OF AEROSPACE INFORMATION SYSTEMS, 2023, 20 (07): : 398 - 417
- [48] Property-Based Test Case Generators for Free TESTS AND PROOFS (TAP 2019), 2019, 11823 : 186 - 206
- [49] Polyvariant Program Specialisation with Property-based Abstraction ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (299): : 34 - 48