  The adequate testing of stateful software systems is a hard and costly
activity. Failures that result from complex stateful interactions can be of
high impact, and it can be hard to replicate failures resulting from erroneous
stateful interactions. Addressing this problem in an automatic way would save
cost and time and increase the quality of software systems in the industry. In
this paper, we propose an approach that uses agents to explore software systems
with the intention to find faults and gain knowledge.
