https://library.snu.edu.in/cgi-bin/koha/opac-search.pl?q=ccl=index-term-genre%3A%22%20Computer%20programs%20--%20Testing.%20%22&sort_by=&format=rss 3 0 20 ISBN:9780321228628 https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=23509 ]]> By Holzmann, Gerard J..
Boston ; Addison-Wesley, 2004 .
xii, 596 p. ; 25 cm..
9780321228628

]]> Place hold on The spin model checker

]]> https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=23509 ISBN:9780974514017 https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=23600 ]]> By Hunt, Andrew. | Thomas, David..
Raleigh, N.C. ; Pragmatic Bookshelf, 2004 .
xv, 159 p. ; 23 cm..
9780974514017

]]> Place hold on Pragmatic unit testing

]]> https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=23600 ISBN:0138543739 https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=32995 ]]> By Perry, William E..
Wellesley, MA. QED Information Sciences 1983 : ill..
0138543739

]]> Place hold on A structured approach to systems testing

]]> https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=32995