External Links

    Journal: Information \& Software Technology

    Volume 48, Issue 10

    947 -- 948Siddhartha R. Dalal, Ashish Jain, Jesse H. Poore. Guest co-editor s comments
    949 -- 959Amit M. Paradkar. A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques
    960 -- 970Renée C. Bryce, Charles J. Colbourn. Prioritized interaction testing for pair-wise coverage with seeding and constraints
    971 -- 980Mikhail Auguston, James Bret Michael, Man-tak Shing. Environment behavior models for automation of testing and assessment of system safety
    981 -- 992Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz. Extended state identification and verification using a model checker
    runs on