External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 31, Issue 8

    0 -- 0Thuy Nguyen, Takashi Tomita, Junpei Endo, Toshiaki Aoki. Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers
    0 -- 0Robert M. Hierons, Tao Xie 0001. Property generation/verification and empirical studies
    0 -- 0Azeem Ahmad, Ola Leifler, Kristian Sandahl. Empirical analysis of practitioners' perceptions of test flakiness factors
    0 -- 0Renhe Jiang, Zhengzhao Chen, Yu Pei 0001, Minxue Pan, Tian Zhang 0001, Xuandong Li. Documentation-based functional constraint generation for library methods
    0 -- 0Maximilian Scholz, Richard Torkar. An empirical study of Linespots: A novel past-fault algorithm

    Volume 31, Issue 7

    0 -- 0Robert M. Hierons, Tao Xie 0001. Adaptive or embedded software testing and mutation testing
    0 -- 0Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi. An ensemble-based predictive mutation testing approach that considers impact of unreached mutants
    0 -- 0Macario Polo Usaola, Isyed Rodriguez. Analysing the combination of cost reduction techniques in Android mutation testing
    0 -- 0Bento R. Siqueira, Fabiano Cutigi Ferrari, Kathiani E. Souza, Valter Vieira de Camargo, Rogério de Lemos. Testing of adaptive and context-aware systems: approaches and challenges
    0 -- 0Il-Seok (Benjamin) Choi, Chang-Sung Jeong. Remote embedded devices test framework on the cloud
    0 -- 0Kai Hu, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai. Erratum

    Volume 31, Issue 6

    0 -- 0Kai Hu, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai. Cover Image
    0 -- 0Yoshinobu Tamura, Shigeru Yamada. Performance assessment based on stochastic differential equation and effort data for edge computing
    0 -- 0Kai Hu, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai. Verification algebra for multi-tenant applications in VaaS architecture
    0 -- 0Pooja Rani 0003, G. S. Mahapatra. Entropy based enhanced particle swarm optimization on multi-objective software reliability modelling for optimal testing resources allocation
    0 -- 0Robert M. Hierons, Tao Xie 0001. Editorial: Verification, reliability and performance

    Volume 31, Issue 5

    0 -- 0Robert M. Hierons, Tao Xie. Editorial: Testing, Debugging, and Defect Prediction
    0 -- 0Rawad Abou Assi, Wes Masri, Chadi Trad. How detrimental is coincidental correctness to coverage-based fault detection and localization? An empirical study
    0 -- 0Frolin S. Ocariza Jr., Boyang Zhao. Localizing software performance regressions in web applications by comparing execution timelines
    0 -- 0Zeinab Eivazpour, Mohammad Reza Keyvanpour. CSSG: A cost-sensitive stacked generalization approach for software defect prediction
    0 -- 0Pedro Delgado-Pérez, Ana Belén Sánchez, Sergio Segura, Inmaculada Medina-Bulo. Performance mutation testing

    Volume 31, Issue 4

    0 -- 0Atif M. Memon, Myra B. Cohen. The IEEE 12th International Conference on Software Testing, Verification & Validation
    0 -- 0Valerio Terragni, Mauro Pezzè. Statically driven generation of concurrent tests for thread-safe classes
    0 -- 0Ibrahim Althomali, Gregory M. Kapfhammer, Phil McMinn. Automated visual classification of DOM-based presentation failure reports for responsive web pages
    0 -- 0Péter Gyimesi, Béla Vancsics, Andrea Stocco 0001, Davood Mazinanian, Árpád Beszédes, Rudolf Ferenc, Ali Mesbah 0001. BUGSJS: a benchmark and taxonomy of JavaScript bugs

    Volume 31, Issue 3

    0 -- 0Maurizio Leotta, Filippo Ricca, Paolo Tonella. Sidereal: Statistical adaptive generation of robust locators for web testing
    0 -- 0Sergio Di Martino, Anna Rita Fasolino, Luigi Libero Lucio Starace, Porfirio Tramontana. Comparing the effectiveness of capture and replay against automatic input generation for Android graphical user interface testing
    0 -- 0Yavuz Köroglu, Alper Sen 0001. Functional test generation from UI test scenarios using reinforcement learning for android applications
    0 -- 0Vu Nguyen 0003, Thanh To, Gia-Han Diep. Generating and selecting resilient and maintainable locators for Web automated testing
    0 -- 0Tanja E. J. Vos, Pekka Aho, Fernando Pastor Ricós, Olivia Rodriguez Valdes, Ad Mulders. testar - scriptless testing through graphical user interface
    0 -- 0Emil Alégroth, Luca Ardito, Riccardo Coppola, Robert Feldt. Special issue on new generations of UI testing

    Volume 31, Issue 1-2

    0 -- 0Robert Feldt, Shin Yoo. Special Issue: IEEE International Conference on Software Testing, Validation & Verification 2018
    0 -- 0Yunho Kim, Shin Hong. DEMINER: test generation for high test coverage through mutant exploration
    0 -- 0Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond. Effective automated repair of internationalization presentation failures in web applications using style similarity clustering and search-based techniques
    runs on