共 50 条
- [1] Agent-based tool for model-based test case generation and execution [J]. V JORNADAS COSTARRICENSES DE INVESTIGACION EN COMPUTACION E INFORMATICA (JOCICI 2021), 2021,
- [2] A model checking based test case generation framework for web services [J]. INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, PROCEEDINGS, 2007, : 715 - +
- [3] Model Based Test Case Generation and Optimization Using Intelligent Optimization Agent [J]. INFORMATION SYSTEMS DESIGN AND INTELLIGENT APPLICATIONS, VOL 1, 2015, 339 : 479 - 488
- [4] Threat Model-based Security Test Case Generation Framework and Tool [J]. Ruan Jian Xue Bao/Journal of Software, 2024, 35 (10): : 4573 - 4603
- [5] Software Test Data Generation Based on Multi-agent [J]. ADVANCES IN SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 59 : 188 - 195
- [6] A formal approach for functional and structural test case generation in multi-agent systems [J]. 2007 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2, 2007, : 76 - 83
- [7] A model framework for knowledge capture based on multi-agent [J]. PROCEEDINGS OF 2003 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING, VOLS I AND II, 2003, : 156 - 161
- [8] Towards a Framework for Constraint-Based Test Case Generation [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2010, 6037 : 128 - +