External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 33, Issue 7

    0 -- 0Li Huang 0003, Bertrand Meyer 0001. A failed proof can yield a useful test
    0 -- 0Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella. In vivo test and rollback of Java applications as they are
    0 -- 0Yves Le Traon, Tao Xie 0001. In vivo testing and integration of proving and testing
    runs on