1. jMoped: A test environment for Java programs,
http://www.fmi.uni-stuttgart.de/szs/tools/moped/jmoped/
2. JUnit: Testing resources for extreme programming,
http://www.junit.org/
3. Lecture Notes in Computer Science;D. Suwimonteerabuth,2005
4. Eclipse: An open development platform,
http://www.eclipse.org
5. Schwoon, S.: Model-Checking Pushdown Systems. PhD thesis, Technische Universität München (2002)