Favourable test sequence generation in state-based testing using bat algorithm. - Praveen Ranjan Srivastava; Kumar Pradyot; Deepshikha Sharma; K. P. Gouthami (Int. J. Comput. Appl. Technol., 2015)