Software Testing, Verification & Reliability, Volume 31

Volume 31, Numbers 1-2, January 2021

Special Issue: IEEE International Conference on Software Testing, Validation & Verification 2018
Editorial

• 
  Robert Feldt, Shin Yoo:
  Special Issue: IEEE International Conference on Software Testing, Validation & Verification 2018.

Special Issue Papers

• 
  Yunho Kim, Shin Hong:
  DEMINER: test generation for high test coverage through mutant exploration.
• 
  Sonal 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.

Volume 31, Number 3, May 2021

Special Issue: New Generations of UI Testing
Editorial

• 
  Emil Alégroth, Luca Ardito, Riccardo Coppola, Robert Feldt:
  Special issue on new generations of UI testing.

Special Issue Papers

• 
  Yavuz Köroglu, Alper Sen:
  Functional test generation from UI test scenarios using reinforcement learning for android applications.
• 
  Tanja E. J. Vos, Pekka Aho, Fernando Pastor Ricós, Olivia Rodriguez Valdes, Ad Mulders:
  testar - scriptless testing through graphical user interface.
• 
  Sergio 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.
• 
  Vu Nguyen, Thanh To, Gia-Han Diep:
  Generating and selecting resilient and maintainable locators for Web automated testing.
• 
  Maurizio Leotta, Filippo Ricca, Paolo Tonella:
  Sidereal: Statistical adaptive generation of robust locators for web testing.

Volume 31, Number 4, June 2021

Special Issue: The IEEE 12th International Conference on Software Testing, Verification & Validation
Editorial

• 
  Atif M. Memon, Myra B. Cohen:
  The IEEE 12th International Conference on Software Testing, Verification & Validation.

Special Issue Papers

• 
  Ibrahim Althomali, Gregory M. Kapfhammer, Phil McMinn:
  Automated visual classification of DOM-based presentation failure reports for responsive web pages.
• 
  Péter Gyimesi, Béla Vancsics, Andrea Stocco, Davood Mazinanian, Árpád Beszédes, Rudolf Ferenc, Ali Mesbah:
  BUGSJS: a benchmark and taxonomy of JavaScript bugs.
• 
  Valerio Terragni, Mauro Pezzè:
  Statically driven generation of concurrent tests for thread-safe classes.

Volume 31, Number 5, August 2021

Editorial

• 
  Robert M. Hierons, Tao Xie:
  Editorial: Testing, Debugging, and Defect Prediction.

Research Papers

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

Volume 31, Number 6, September 2021

Featured Cover

• 
  Kai Hu, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai:
  Cover Image.

Editorial

• 
  Robert M. Hierons, Tao Xie:
  Editorial: Verification, reliability and performance.

Research Papers

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

Volume 31, Number 7, November 2021

Editorial

• 
  Robert M. Hierons, Tao Xie:
  Adaptive or embedded software testing and mutation testing.

Survey Paper

• 
  Bento R. Siqueira, Fabiano Cutigi Ferrari, Kathiani Elisa de Souza, Valter Vieira de Camargo, Rogério de Lemos:
  Testing of adaptive and context-aware systems: approaches and challenges.

Research Articles

• 
  Il-Seok (Benjamin) Choi, Chang-Sung Jeong:
  Remote embedded devices test framework on the cloud.
• 
  Macario Polo Usaola, Isyed Rodriguez:
  Analysing the combination of cost reduction techniques in Android mutation testing.
• 
  Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi:
  An ensemble-based predictive mutation testing approach that considers impact of unreached mutants.

Erratum

• 
  Kai Hu, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai:
  Erratum.

Volume 31, Number 8, December 2021

Editorial

• 
  Robert M. Hierons, Tao Xie:
  Property generation/verification and empirical studies.

Research Articles

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