共 50 条
- [43] COMPLEXITYPARSER: An Automatic Tool for Certifying Poly-Time Complexity of Java']Java Programs THEORETICAL ASPECTS OF COMPUTING, ICTAC 2021, 2021, 12819 : 357 - 365
- [44] InputGen: A Tool for Automatic Generation of Prototype Inputs to Support Rapid Requirements Validation 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION, 2023, : 122 - 126
- [46] SIMULATION AS A DECISION SUPPORT TOOL IN MAINTENANCE FLOAT SYSTEMS - The Automatic Generation of Simulation Programs EUROPEAN SIMULATION AND MODELLING CONFERENCE 2011, 2011, : 53 - +