Citation to this article as recorded by
Tang, J., Q. Zhu and M. Jiang, 2013. Towards an interface-based automation testing framework for silverlight applications. Inform. Technol. J., 12: 829-834. CrossRefDirect Link |
How to cite this article
Long Yuejin and Xiao Jianyu, 2009. Conditioning for State Space Reduction in Program Model Checking. Information Technology Journal, 8: 990-997.
DOI: 10.3923/itj.2009.990.997
URL: https://scialert.net/abstract/?doi=itj.2009.990.997
DOI: 10.3923/itj.2009.990.997
URL: https://scialert.net/abstract/?doi=itj.2009.990.997