External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 18, Issue 4

    191 -- 192Jeff Offutt. Editorial: Software testing is an elephant
    193 -- 219Supaporn Kansomkeat, Wanchai Rivepiboon. An analysis technique to increase testability of object-oriented components
    221 -- 249Jyh-Wen Ho, Chih-Chiang Fang, Yeu-Shiang Huang. The determination of optimal software release times at different confidence levels with consideration of learning effects
    251 -- 252Richard F. Paige. Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700

    Volume 18, Issue 3

    123 -- 124Jeff Offutt. Editorial: Science Fiction and Fantasy
    125 -- 148Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence. IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing
    149 -- 188Garrett Kaminski, Gregory Williams 0002, Paul Ammann. Reconciling perspectives of software logic testing
    189 -- 190Gerald Lüttgen. Modeling and verification using UML Statecharts. By Doron Drusinsky. Published by Newnes Publishers, 2006, ISBN 0-7506-7617-5, 306 pages

    Volume 18, Issue 2

    69 -- 70Mark Harman, Zheng Li, Phil McMinn. Editorial: Testing practice and research
    71 -- 97Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski, Paul Baker, Dominic Evans. Quality assurance for TTCN-3 test specifications
    99 -- 121Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe. Automated discovery of state transitions and their functions in source code

    Volume 18, Issue 1

    1 -- 3Jeff Offutt. Editorial: The journal impact factor
    5 -- 28Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani. Modular formal verification of specifications of concurrent systems
    29 -- 49Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova. Simulated time for host-based testing with TTCN-3
    51 -- 68Lihua Duan, Jessica Chen. Error-preserving reductions on communication protocols
    runs on