External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 24, Issue 6

    413 -- 415Jeff Offutt. Editorial: how to get your paper rejected from STVR
    416 -- 437Shao-Pu Luan, Chin-Yu Huang. An improved Pareto distribution for modelling the fault data of open source software
    438 -- 471María-del-Mar Gallardo, Laura Panizo. Extending model checkers for hybrid system verification: the case study of SPIN
    472 -- 495Jan Malburg, Gordon Fraser. Search-based testing using constraint-based mutation
    runs on