A Formal Approach for Functional and Structural Test Case Generation in Multi-Agent Systems.

Yacine Kissoum Zaïdi Sahnoun

Published in: AICCSA (2007)

Keyphrases

test case generation
multi agent systems
test cases
software testing
object oriented systems
multi agent
test data generation
test suite
computational logic
cooperative
object oriented
java programs
software systems
formal specification
static analysis
search algorithm
artificial intelligence