Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Automated Test Case Generation for BDI Agents
Autonomous Agents and Multi-Agent Systems
Coverage criteria for state based specifications
Formal methods and testing
Hi-index | 0.00 |