no code implementations • 16 Sep 2016 • Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
In this paper, we compare using Belief-Desire-Intention (BDI) agents as models for test generation with more conventional automata-based techniques that exploit model checking, in terms of practicality, performance, transferability to different scenarios, and exploration (`coverage'), through two case studies: a cooperative manufacturing task, and a home care scenario.