External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 23, Issue 8

    583 -- 584Jeff Offutt. A tribute to Mary Jean Harrold
    585 -- 612Lehilton Lelis Chaves Pedrosa, Arnaldo Vieira Moura. Incremental testing of finite state machines
    613 -- 646Bixin Li, Xiaobing Sun, Hareton Leung, Sai Zhang. A survey of code-based change impact analysis techniques
    647 -- 668Sang-Woon Kim, Yu-Seung Ma, Yong Rae Kwon. Combining weak and strong mutation for a noninterpretive Java mutation system

    Volume 23, Issue 7

    529 -- 0Mark Harman, Bogdan Korel. Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011)
    531 -- 551David Schuler, Andreas Zeller. Checked coverage: an indicator for oracle quality
    553 -- 582Gordon Fraser, Andrea Arcuri. Handling test length bloat

    Volume 23, Issue 6

    437 -- 0Mark Harman, Bogdan Korel. Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (extended selected papers from ICST 2011)
    439 -- 464Sara Sprenkle, Lori L. Pollock, Lucy Simko. Configuring effective navigation models and abstract test cases for web applications by analysing user behaviour
    465 -- 497Waldemar Hummer, Orna Raz, Onn Shehory, Philipp Leitner, Schahram Dustdar. Testing of data-centric and event-based dynamic service compositions
    499 -- 528Raúl A. Santelices, Mary Jean Harrold. Demand-driven propagation-based strategies for testing changes

    Volume 23, Issue 5

    351 -- 0Ana R. Cavalli, Sudipto Ghosh. ICST 2010 Special Issue
    353 -- 374David Schuler, Andreas Zeller. Covering and Uncovering Equivalent Mutants
    375 -- 403Milos Gligoric, Vilas Jagannath, Qingzhou Luo, Darko Marinov. Efficient mutation testing of multithreaded code
    405 -- 435Márk Asztalos, László Lengyel, Tihamer Levendovszky. Formal specification and analysis of functional properties of graph rewriting-based model transformation

    Volume 23, Issue 4

    259 -- 260Jeff Offutt. Editorial: globalization - language and dialects
    261 -- 313Mustafa Bozkurt, Mark Harman, Youssef Hassoun. Testing and verification in service-oriented architecture: a survey
    315 -- 350Pedro Reales Mateo, Macario Polo Usaola. Parallel mutation testing

    Volume 23, Issue 3

    169 -- 170Jeff Offutt. The globalization of software engineering
    171 -- 198Márcio Eduardo Delamaro, Fátima de Lourdes dos Santos Nunes, Rafael Alves Paes de Oliveira. Using concepts of content-based image retrieval to implement graphical testing oracles
    199 -- 239Domenico Cotroneo, Salvatore Orlando 0002, Roberto Pietrantuono, Stefano Russo. A measurement-based ageing analysis of the JVM
    241 -- 258Benny Godlin, Ofer Strichman. Regression verification: proving the equivalence of similar programs

    Volume 23, Issue 2

    89 -- 0Jeff Offutt. What I have learned from usability
    91 -- 117Adilson Luiz Bonifácio, Arnaldo Vieira Moura. A new method for testing timed systems
    119 -- 147Andrea Arcuri. It really does matter how you normalize the branch distance in search-based software testing
    149 -- 168R. K. Garg, Kapil Sharma, C. K. Nagpal, Rakesh Garg, Rajpal Garg, Rajive Kumar, Sandhya. Ranking of software engineering metrics by fuzzy-based matrix methodology

    Volume 23, Issue 1

    3 -- 25Monika Kapus-Kolar. Error-preserving local transformations on communication protocols
    27 -- 51Marc Fisher II, Sebastian G. Elbaum, Gregg Rothermel. An automated analysis methodology to detect inconsistencies in web services with WSDL interfaces
    53 -- 76Abdeslam En-Nouaary. A test purpose-based approach for testing timed input output automata
    77 -- 88Yoshinobu Tamura, Shigeru Yamada. Reliability assessment based on hazard rate model for an embedded OSS porting-phase
    runs on