STVR - volume 31 - 2021 论文列表 |
| 点击这里查看 Software Testing, Verification & Reliability 的JCR分区、影响因子等信息 |
Volume 31, Number 8, December 2021
Azeem Ahmad Ola Leifler Kristian Sandahl
Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers.
Thuy Nguyen Takashi Tomita Junpei Endo Toshiaki Aoki
An empirical study of Linespots: A novel past-fault algorithm.Maximilian Scholz Richard Torkar
Documentation-based functional constraint generation for library methods.Renhe Jiang Zhengzhao Chen Yu Pei Minxue Pan Tian Zhang Xuandong Li
Property generation/verification and empirical studies.Volume 31, Number 7, November 2021
Kai Hu Ji Wan Kan Luo Yuzhuang Xu Zijing Cheng Wei-Tek Tsai
An ensemble-based predictive mutation testing approach that considers impact of unreached mutants.Alireza Aghamohammadi Seyed-Hassan Mirian-Hosseinabadi
Analysing the combination of cost reduction techniques in Android mutation testing.Macario Polo Usaola Isyed Rodriguez
Remote embedded devices test framework on the cloud.Il-Seok (Benjamin) Choi Chang-Sung Jeong
Testing of adaptive and context-aware systems: approaches and challenges.Bento R. Siqueira Fabiano Cutigi Ferrari Kathiani E. Souza Valter Vieira de Camargo Rogério de Lemos
Adaptive or embedded software testing and mutation testing.Volume 31, Number 6, September 2021
Yoshinobu Tamura Shigeru Yamada
Entropy based enhanced particle swarm optimization on multi-objective software reliability modelling for optimal testing resources allocation. Verification algebra for multi-tenant applications in VaaS architecture. Editorial: Verification, reliability and performance. Cover Image.Volume 31, Number 5, August 2021
Zeinab Eivazpour Mohammad Reza Keyvanpour
How detrimental is coincidental correctness to coverage-based fault detection and localization? An empirical study.Rawad Abou Assi Wes Masri Chadi Trad
Localizing software performance regressions in web applications by comparing execution timelines.Frolin S. Ocariza Jr. Boyang Zhao
Performance mutation testing.Pedro Delgado-Pérez Ana Belén Sánchez Sergio Segura Inmaculada Medina-Bulo
Editorial: Testing, Debugging, and Defect Prediction.Volume 31, Number 4, June 2021
Péter Gyimesi Béla Vancsics Andrea Stocco Davood Mazinanian Árpád Beszédes Rudolf Ferenc Ali Mesbah
Automated visual classification of DOM-based presentation failure reports for responsive web pages. The IEEE 12th International Conference on Software Testing, Verification & Validation.Volume 31, Number 3, May 2021
Maurizio Leotta Filippo Ricca Paolo Tonella
Generating and selecting resilient and maintainable locators for Web automated testing.Vu Nguyen Thanh To Gia-Han Diep
Comparing the effectiveness of capture and replay against automatic input generation for Android graphical user interface testing.Sergio Di Martino Anna Rita Fasolino Luigi Libero Lucio Starace Porfirio Tramontana
testar - scriptless testing through graphical user interface.Tanja E. J. Vos Pekka Aho Fernando Pastor Ricós Olivia Rodriguez Valdes Ad Mulders
Functional test generation from UI test scenarios using reinforcement learning for android applications. Special issue on new generations of UI testing.Volume 31, Numbers 1-2, January 2021
Sonal Mahajan Abdulmajeed Alameer Phil McMinn William G. J. Halfond
DEMINER: test generation for high test coverage through mutant exploration. Special Issue: IEEE International Conference on Software Testing, Validation & Verification 2018.