References

Aggarwal, M. and S. Sabharwal, 2012. Test case generation from UML state machine diagram: A survey. Proceedings of the 3rd International Conference on Computer and Communication Technology (ICCCT’12), November 23-25, 2012, IEEE, Allahabad, India, ISBN:978-1-4673-3149-4, pp: 133-140.

Ali, M.A., K. Shaik and S. Kumar, 2014. Test case generation using UML state diagram and OCL expression. Intl. J. Comput. Appl., 95: 7-11.
Direct Link  |  

Ansari, G.A., 2012. A modeling and detection of dead lock in early stage of system using UML. Int. J. Comput. Appli., 39: 16-20.
Direct Link  |  

Ashfield, B., D. Deugo, F. Oppacher and T. White, 2002. Distributed deadlock detection in mobile agent systems. Proceedings of the 15th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems: Developments in Applied Artificial Intelligence (IEA-AIE’02), June 17-20, 2002, ACM, Cairns, Queensland, Australia, ISBN:3-540-43781-9, pp: 146-156.

Beck, K., 2003. Test-Driven Development: By Example. Addison-Wesley, Boston, Massachusetts, ISBN:0-321-14653-0, Pages: 219.

Bell, D., 2003. UML basics part II: The activity diagram. Rational Software, San Jose, California, USA. http://isabelle.vincentvanrooijen.com/container%5Cprocess%5CRisk%20reduction%20with%20the%20RUP%20Phase%20Plan.pdf

Berardi, D., D. Calvanese amd G. de Giacomo, 2005. Reasoning on UML class diagrams. Artif. Intell., 168: 70-118.
CrossRef  |  

Bihani, A. and S. Badyal, 2014. Optimizing software testing and test case generation by using the concept of Hamiltonian paths. Intl. J. Eng. Trends Technol., 10: 318-322.
Direct Link  |  

Datla, D., H.I. Volos, S.M. Hasan, J.H. Reed and T. Bose, 2011. Task allocation and scheduling in wireless distributed computing networks. Analog Integr. Circuits Signal Process., 69: 341-341.
Direct Link  |  

Diestel, R., 2012. Graph Theory. Springer, Berlin, Germany, Pages: 437.

Doungsa-ard, C., K. Dahal, A. Hossain and T. Suwannasart, 2008. GA-Based Automatic Test Data Generation for UML State Diagrams with Parallel Paths. In: Advanced Design and Manufacture to Gain a Competitive Edge, Yan, X.T., C. Jiang and B. Eynard (Eds.). Springer, Berlin, Germany, ISBN:978-1-84800-240-1, pp: 147-156.

Gabow, H.N., 2000. Path-based depth-first search for strong and biconnected components. Inf. Process. Lett., 74: 107-114.
Direct Link  |  

Geldenhuys, J. and A. Valmari, 2005. More efficient on-the-fly LTL verification with Tarjan’s algorithm. Theor. Comput. Sci., 345: 60-82.
Direct Link  |  

Hakansson, J. and S. Badran, 2016. Evaluating cyclomatic complexity on functional JavaScript. BA Thesis, Linnaeus University, Sweden.

Jain, E.S. and E.M. Sheikh, 2014. A novel test case generation method through metamorphic priority for 2-way testing method UMBCA implementation criteria. Intl. J. Eng. Manage. Res., 4: 157-163.
Direct Link  |  

Jena, A.K., S.K. Swain and D.P. Mohapatra, 2014. A novel approach for test case generation from UML activity diagram. Proceedings of the 2014 International Conference on Issues and Challenges in Intelligent Computing Techniques (ICICT’14), February 7-8, 2014, IEEE, Ghaziabad, India, ISBN:978-1-4799-2900-9, pp: 621-629.

Kamalraj, R. and A. Rajivkannan, 2016. Test case classification using tuned fuzzy logic with test case reusability for test suite reduction. Asian J. Inf. Technol., 15: 1437-1442.
Direct Link  |  

Karatkevich, A., 2003. Deadlock analysis in statecharts. Proceedings of the 2003 Conference Forum on Specification and Design Languages (FDL’03), September 23-26, 2003, Goethe University Frankfurt, Frankfurt, Germany, pp: 414-425.

Korel, B., 1990. Automated software test data generation. IEEE. Trans. Software Eng., 16: 870-879.
CrossRef  |  

Kot, M., 2003. The state explosion problem. MCS Thesis, Faculty of Electrical Engineering and Computer Science, Technical University of Ostrava, Ostrava, Czech Republic.

Lowe, G., 2016. Concurrent depth-first search algorithms based on Tarjan’s algorithm. Intl. J. Software Tools Technol. Transfer, 18: 129-147.
Direct Link  |  

Mallick, A., N. Panda and A.A. Acharya, 2014. Generation of test cases from UML sequence diagram and detecting deadlocks using loop detection algorithm. Intl. J. Comput. Sci. Eng., 2: 199-203.
Direct Link  |  

Ramesh, S.V., 2010. Principles of Operating Systems. Laxmi Publications Pvt. Ltd., Ghaziabad, India, ISBN:978-93-80386-17-1, Pages: 189.

Samuel, P., R. Mall and A.K. Bothra, 2008. Automatic test case generation using Unified Modeling Language (UML) state diagrams. IET. Software, 2: 79-93.
CrossRef  |  Direct Link  |  

Santiago, V., N.L. Vijaykumar, D. Guimaraes, A.S. Amaral and E. Ferreira, 2008. An environment for automated test case generation from statechart-based and finite state machine-based behavioral models. Proceedings of the IEEE International Conference on Software Testing Verification and Validation Workshop ICSTW'08, April 9-11, 2008, IEEE, Sao Jose Dos Campos, Brazil, ISBN: 978-0-7695-3388-9, pp: 63-72.

Sharir, M., 1981. A strong-connectivity algorithm and its applications in data flow analysis. Comput. Math. Appl., 7: 67-72.
Direct Link  |  

Silberschatz, A., P.B. Galvin and G. Gagne, 2013. Operating System Concepts Essentials. 2nd Edn., John Wiley & Sons, Hoboken, New Jersey, USA., ISBN:9781118844007, Pages: 784.

Singh, R., 2014. Test case generation for object-oriented systems: A review. Proceedings of the 4th International Conference on Communication Systems and Network Technologies (CSNT’14), April 7-9, 2014, IEEE, Bhopal, India, ISBN:978-1-4799-3069-2, pp: 981-989.

Straunstrup, J., H.R. Andersen, H. Hulgaard, J. Lind-Nielsen and G. Behrmann et al., 2000. Practical verification of embedded software. Comput., 33: 68-75.
CrossRef  |  Direct Link  |  

Swain, R.K., P.K. Behera and D.P. Mohapatra, 2012. Generation and optimization of test cases for object-oriented software using state chart diagram. Software Eng., Vol. 1,

Swain, R.K., P.K. Behera and D.P. Mohapatra, 2012. Minimal test-case generation for object-oriented software with state charts. Intl. J. Software Eng. Appl., 3: 1-21.
Direct Link  |  

Tarjan, R., 1972. Depth-first search and linear graph algorithms. SIAM J. Comput., 1: 146-160.

Tewari, A. and A.K. Misra, 2015. An approach to model based test case generation for student admission process. Intl. J. Innovative Sci. Eng. Technol., 2: 818-825.
Direct Link  |