Conformance Testing of BDI Properties in Agent-based Software Systems.

Mao Zheng, Vangalur S. Alagar

Browse the full APSEC paper archive.