1. Mining specifications;Ammons;SIGPLAN Not.,2002
2. Bartetzko, D., C. Fischer, M. Moller and H. Wehrheim, Jass - java with assertions (2001)
3. Automatic synthesis of specifications from the dynamic observation of reactive programs;Boigelot,1997
4. Burdy, L., Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. Leavens, K. Leino and E. Poll, An overview of JML tools and applications (2003)
5. Algorithms for approximate FSM traversal based on state space decomposition;Cho;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,1996