Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Metallaxis-FL: mutation-based fault localization
Papadakis, Mike, Le Traon, Yves
Published in Software testing, verification & reliability (01.08.2015)
Published in Software testing, verification & reliability (01.08.2015)
Get full text
Journal Article
A taxonomy of model-based testing approaches
Utting, Mark, Pretschner, Alexander, Legeard, Bruno
Published in Software testing, verification & reliability (01.08.2012)
Published in Software testing, verification & reliability (01.08.2012)
Get full text
Journal Article
A survey of code-based change impact analysis techniques
Li, Bixin, Sun, Xiaobing, Leung, Hareton, Zhang, Sai
Published in Software testing, verification & reliability (01.12.2013)
Published in Software testing, verification & reliability (01.12.2013)
Get full text
Journal Article
testar – scriptless testing through graphical user interface
Vos, Tanja E. J., Aho, Pekka, Pastor Ricos, Fernando, Rodriguez‐Valdes, Olivia, Mulders, Ad
Published in Software testing, verification & reliability (01.05.2021)
Published in Software testing, verification & reliability (01.05.2021)
Get full text
Journal Article
Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines
Weiss, Michael, Tonella, Paolo
Published in Software testing, verification & reliability (01.09.2023)
Published in Software testing, verification & reliability (01.09.2023)
Get full text
Journal Article
Scenario‐Driven Metamorphic Testing for Autonomous Driving Simulators
Zhang, Yifan, Towey, Dave, Pike, Matthew, Cheng Han, Jia, Quan Zhou, Zhi, Yin, Chenghao, Wang, Qian, Xie, Chen
Published in Software testing, verification & reliability (01.11.2024)
Published in Software testing, verification & reliability (01.11.2024)
Get full text
Journal Article
Ensuring Syntactic Interoperability Using Consumer‐Driven Contract Testing
Schwarz, Georg‐Daniel, Quast, Felix, Riehle, Dirk
Published in Software testing, verification & reliability (01.08.2025)
Published in Software testing, verification & reliability (01.08.2025)
Get full text
Journal Article
PSC‐SBFL: Combining PSC With SBFL to Improve Software Fault Localization
Guo, Zhonghao, Ji, Siwei, Xu, Xinyue, Chen, Xiangxian
Published in Software testing, verification & reliability (01.08.2025)
Published in Software testing, verification & reliability (01.08.2025)
Get full text
Journal Article
Delta4Ms: Improving mutation‐based fault localization by eliminating mutant bias
Liu, Hengyuan, Li, Zheng, Han, Baolong, Liu, Yangtao, Chen, Xiang, Liu, Yong
Published in Software testing, verification & reliability (01.06.2024)
Published in Software testing, verification & reliability (01.06.2024)
Get full text
Journal Article
Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study
Somers, Richard, Walkinshaw, Neil, Mark Hierons, Robert, Elliott, Jackie, Iqbal, Ahmed, Walkinshaw, Emma
Published in Software testing, verification & reliability (01.03.2025)
Published in Software testing, verification & reliability (01.03.2025)
Get full text
Journal Article
Metamorphic Relation Patterns for Metamorphic Testing, Exploration and Robustness
Ying, Zhihao, Towey, Dave, Bellotti, Anthony, Chua, Caslon, Quan Zhou, Zhi
Published in Software testing, verification & reliability (01.03.2025)
Published in Software testing, verification & reliability (01.03.2025)
Get full text
Journal Article