1. P. Ammann, J. Offutt, Using formal methods to derive test frames in category-partition testing, in: Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS’94), Gaithersburg, MD, USA, 1994, pp. 69–80.
2. AI planner assisted test generation;Andrews;Software Quality Journal,2002
3. Testing web applications by modeling with FSMs;Andrews;Software and Systems Modeling,2004
4. Testing Object-Oriented Systems: Models, Patterns, and Tools;Binder,2000
5. Testing software design modeled by finite-state machines;Chow;IEEE Transactions on Software Engineering,1978