共 50 条
- [1] Efficient Bounded Exhaustive Input Generation from Program APIs FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2023, 2023, 13991 : 111 - 132
- [2] Detection of constitutionally equivalent sites from a connection table JOURNAL OF CHEMICAL INFORMATION AND COMPUTER SCIENCES, 1996, 36 (04): : 654 - 659
- [3] Manipulation of deformable linear objects: From geometric model towards program generation 2005 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-4, 2005, : 1541 - 1547
- [5] Comparison Table Generation from Knowledge Bases SEMANTIC WEB, ESWC 2021, 2021, 12731 : 179 - 194
- [6] Multi-input DC/DC converters in connection with distributed generation units - A review RENEWABLE & SUSTAINABLE ENERGY REVIEWS, 2016, 66 : 360 - 379
- [7] Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, 2017, 10205 : 301 - 318
- [8] FROM PLATO TO THE LINEAR PROGRAM JOURNAL OF THE OPERATIONS RESEARCH SOCIETY OF AMERICA, 1955, 3 (03): : 239 - 254
- [9] Disturbance Decoupled Residual Generation with Unknown Input Observer for Linear Systems 2013 2ND INTERNATIONAL CONFERENCE ON CONTROL AND FAULT-TOLERANT SYSTEMS (SYSTOL), 2013, : 178 - 183
- [10] Flexible Generation from Fragmentary Linguistic Input PROCEEDINGS OF THE 60TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2022), VOL 1: (LONG PAPERS), 2022, : 8176 - 8196