External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 30, Issue 7-8

    0 -- 0Alireza Salahirad, Hussein Almulla, Gregory Gay. Choosing the fitness function for the job: Automated generation of test suites that detect real faults
    0 -- 0Ina Schieferdecker, Atif Memon, Hironori Washizaki. Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017)
    0 -- 0Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma 0003, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers
    0 -- 0Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu. Complexity vulnerability analysis using symbolic execution

    Volume 30, Issue 6

    0 -- 0Robert M. Hierons, Tao Xie. On automation in software engineering
    0 -- 0Sundeuk Kim, Ilhyun Suh, Yon Dohn Chung. Automatic monitoring of service reliability for web applications: a simulation-based approach
    0 -- 0Thomas A. Walsh, Gregory M. Kapfhammer, Phil McMinn. Automatically identifying potential regressions in the layout of responsive web pages

    Volume 30, Issue 4-5

    0 -- 0Lucas Andrade, Patrícia D. L. Machado, Wilkerson de L. Andrade. Can operational profile coverage explain post-release bug detection?
    0 -- 0Robert M. Hierons, Tao Xie. Conference Virtualization
    0 -- 0Yanqiang Liu, Fangge Yan, Mingyuan Xia, Zhengwei Qi, Xue Liu. TimelyRep: Timing deterministic replay for Android web applications

    Volume 30, Issue 3

    0 -- 0Anthony J. H. Simons, Raluca Lefticaru. A verified and optimized Stream X-Machine testing method, with application to cloud service certification
    0 -- 0Pouria Derakhshanfar, Xavier Devroey, Gilles Perrouin, Andy Zaidman, Arie van Deursen. Search-based crash reproduction using behavioural model seeding
    0 -- 0Robert M. Hierons, Tao Xie. Working Across Boundaries

    Volume 30, Issue 2

    0 -- 0Josie Holmes, Alex Groce. Using mutants to help developers distinguish and debug (compiler) faults
    0 -- 0Thomas Durieux, Youssef Hamadi, Martin Monperrus. Fully Automated HTML and JavaScript Rewriting for Constructing a Self-healing Web Proxy
    0 -- 0Matteo Camilli, Angelo Gargantini, Patrizia Scandurra. Model-based hypothesis testing of uncertain software systems
    0 -- 0Andrea Aquino, Pietro Braione, Giovanni Denaro, Pasquale Salza. Facilitating program performance profiling via evolutionary symbolic execution
    0 -- 0Roberto Pietrantuono, Stefano Russo, Antonio Guerriero. Testing microservice architectures for operational reliability
    0 -- 0Roberto Natella, Sudipto Ghosh. Special issue: ISSRE 2018, the 29th IEEE International Symposium on Software Reliability Engineering

    Volume 30, Issue 1

    0 -- 0Mehrdad Saadatmand, Birgitta Lindström, Bernhard K. Aichernig. Special issue on testing extra-functional properties
    0 -- 0Tiyash Basu, Kartik Aggarwal, Chundong Wang 0001, Sudipta Chattopadhyay 0001. An exploration of effective fuzzing for side-channel cache leakage
    0 -- 0Henning Schulz, André van Hoorn, Alexander Wert. Reducing the maintenance effort for parameterization of representative load tests using annotations
    0 -- 0Mohamed Boussaa, Olivier Barais, Gerson Sunyé, Benoit Baudry. Leveraging metamorphic testing to automatically detect inconsistencies in code generator families
    runs on