共 50 条
- [41] HOMAJ: A Tool for Higher Order Mutation Testing in AspectJ and Java']Java 2014 SEVENTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2014), 2014, : 165 - 170
- [42] Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution) FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2024, 2024, 14573 : 326 - 330
- [44] OCELOT: A Search-Based Test-Data Generation Tool for C PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18), 2018, : 868 - 871
- [45] First international competition on software testing International Journal on Software Tools for Technology Transfer, 2021, 23 : 833 - 846
- [46] JCOMIX: A Search-Based Tool to Detect XML Injection Vulnerabilities in Web Applications ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2019, : 1090 - 1094
- [47] CoVeriTest with Adaptive Time Scheduling (Competition Contribution) FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2021), 2021, 12649 : 358 - 362
- [48] AI-Based Enhancement of Test Models in an Industrial Model-Based Testing Tool 2021 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER 2021), 2021, : 636 - 638
- [50] Competition in Electric Autonomous Mobility-on-Demand Systems IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2022, 9 (01): : 295 - 307