1. Maintaining knowledge about temporal intervals;Allen;Communications of the ACM,1983
2. Handbook of Algorithms and Theory of Computation;Atallah,1999
3. The automatic generation of load test suites and the assessment of the resulting software;Avritzer;IEEE Transactions on Software Engineering,1995
4. Towards a practice of autonomous systems;Back;Proceeding of European Conference on Artificial Life,1992
5. Testing Object-Oriented Systems: Models, Patterns, and Tools;Binder,1999