External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 32, Issue 8

    0 -- 0Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae. MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software
    0 -- 0João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante. TRANSMUT-Spark: Transformation mutation for Apache Spark
    0 -- 0Rahul Gopinath, Jie M. Zhang, Marinos Kintis, Mike Papadakis. Mutation analysis and its industrial applications
    0 -- 0Jong-In Jang, Duksan Ryu, Jongmoon Baik. HOTFUZ: Cost-effective higher-order mutation-based fault localization
    0 -- 0Henrique Neves da Silva, Jackson A. Prado Lima, Silvia Regina Vergilio, André Takeshi Endo. A mapping study on mutation testing for mobile applications

    Volume 32, Issue 7

    0 -- 0Manar H. Alalfi, Sajeda Parveen, Bara' Nazzal. A mutation framework for evaluating security analysis tools in IoT applications
    0 -- 0Khaled El-Fakih, Ayman Alzaatreh, Uraz Cengiz Türker. Assessing test suites of extended finite state machines against model- and code-based faults
    0 -- 0Rahul Gopinath, Jie M. Zhang, Marinos Kintis, Mike Papadakis. Mutation analysis and its industrial applications
    0 -- 0Yunho Kim, Shin Hong. Learning-based mutant reduction using fine-grained mutation operators

    Volume 32, Issue 6

    0 -- 0Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo. Comprehensive evaluation of file systems robustness with SPIN model checking
    0 -- 0Bernhard Garn, Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos. Combinatorial methods for dynamic gray-box SQL injection testing
    0 -- 0Yves Le Traon, Tao Xie 0001. Combinatorial testing and model checking

    Volume 32, Issue 5

    0 -- 0Lucas Cabral, Breno Miranda, Igor Lima, Marcelo d'Amorim. RVprio: A tool for prioritizing runtime verification violations
    0 -- 0Julien Leveau, Xavier Blanc 0001, Laurent Réveillère, Jean-Rémy Falleri, Romain Rouvoy. Fostering the diversity of exploratory testing in web applications
    0 -- 0Davide Corradini, Amedeo Zampieri, Michele Pasqua, Emanuele Viglianisi, Michael Dallago, Mariano Ceccato. Automated black-box testing of nominal and error scenarios in RESTful APIs
    0 -- 0Corina S. Pasareanu, Andreas Zeller. IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)

    Volume 32, Issue 4

    0 -- 0Robert M. Hierons. Farewell after an 11-year journey as joint editor-in-chief
    0 -- 0Yves Le Traon, Tao Xie 0001. Integration testing and metamorphic testing
    0 -- 0Matt Windsor, Alastair F. Donaldson, John Wickerson. High-coverage metamorphic testing of concurrency support in C compilers
    0 -- 0Dominik Hellhake, Justus Bogner, Tobias Schmid, Stefan Wagner 0001. Towards using coupling measures to guide black-box integration testing in component-based systems

    Volume 32, Issue 3

    0 -- 0Madhusudan Srinivasan, Upulee Kanewala. Metamorphic relation prioritization for effective regression testing
    0 -- 0Robert M. Hierons, Tao Xie. Metamorphic testing and test automation
    0 -- 0Yuqing Wang, Mika V. Mäntylä, Zihao Liu, Jouni Markkula, Päivi Raulamo-Jurvanen. Improving test automation maturity: A multivocal literature review

    Volume 32, Issue 2

    0 -- 0Bernhard Garn, Dominik-Philip Schreiber, Dimitris E. Simos, Rick Kuhn, Jeffrey M. Voas, Raghu Kacker. Combinatorial methods for testing Internet of Things smart home systems
    0 -- 0Robert Sachtleben, Jan Peleska 0001. Effective grey-box testing with partial FSM models
    0 -- 0Robert M. Hierons, Tao Xie 0001. Combinatorial testing and model-based testing

    Volume 32, Issue 1

    0 -- 0Robert M. Hierons, Tao Xie 0001. Model checking, testing and debugging
    0 -- 0Vanya Yaneva, Ajitha Rajan, Christophe Dubach. GPU acceleration of finite state machine input execution: Improving scale and performance
    0 -- 0Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro. Model checking C++ programs
    0 -- 0Zahra Sadri-Moshkenani, Justin M. Bradley, Gregg Rothermel. Survey on test case generation, selection and prioritization for cyber-physical systems
    0 -- 0Justin Chu, Tingting Yu, Jane Huffman Hayes, Xue Han, Yu Zhao 0010. Effective fault localization and context-aware debugging for concurrent programs
    runs on