External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 32, Issue 6

    0 -- 0Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo. Comprehensive evaluation of file systems robustness with SPIN model checking
    0 -- 0Bernhard Garn, Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos. Combinatorial methods for dynamic gray-box SQL injection testing
    0 -- 0Yves Le Traon, Tao Xie 0001. Combinatorial testing and model checking
    runs on