External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 10, Issue 4

    201 -- 202Robert M. Hierons, John Derrick. Editorial: special issue on specification-based testing
    203 -- 227Hyoung Seok Hong, Young-gon Kim, Sung Deok Cha, Doo-Hwan Bae, Hasan Ural. A test sequence selection method for statecharts
    229 -- 248Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch. Specification based test sequence generation with propositional logic
    249 -- 262Stephen H. Edwards. Black-box testing using flowgraphs: an experimental assessment of effectiveness and automation potential
    runs on