Copertina

MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems

Fuente: Wiley Open Access

Salvato in:

Dettagli Bibliografici
Autori principali:	Jaime Cuartas, David Cortés, Joan Betancourt, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre‐Yves Schobbens
Natura:	Artículo Open Access
Pubblicazione:	Wiley 2024
Soggetti:	Software Testing, Verification and Reliability
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Enhancing Mutation Testing Efficiency: A Comparative Study of Machine Learning Models for Equivalent Mutant Identification
di: Terrence Pugh, et al.
Pubblicazione: (2025)

DNN Testing, Regression Testing and Software Reliability Prediction
di: Yves Le Traon, et al.
Pubblicazione: (2024)

Fault tolerance and metamorphic relation prediction
di: Yves Le Traon, et al.
Pubblicazione: (2024)

Test code evolution and mutation testing
di: Yves Le Traon, et al.
Pubblicazione: (2024)

Metamorphic Testing and Web Element Localization
di: Yves Le Traon, et al.
Pubblicazione: (2024)

Investigating fault injection techniques in hardware‐based deep neural networks and mutation‐based fault localization
di: Yves Le Traon, et al.
Pubblicazione: (2024)

HGA: Heuristic Black‐Box Test Case Generation for NLP Intelligent Software
di: Mingxuan Xiao, et al.
Pubblicazione: (2026)

Issue Information
Pubblicazione: (2024)

Boosting Multimode Ruling in DHR Architecture With Metamorphic Relations
di: Ruosi Li, et al.
Pubblicazione: (2024)

SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation‐based approach
di: Yan Dong, et al.
Pubblicazione: (2024)

PSC‐SBFL: Combining PSC With SBFL to Improve Software Fault Localization
di: Zhonghao Guo, et al.
Pubblicazione: (2025)

Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study
di: Richard Somers, et al.
Pubblicazione: (2025)

Search‐Based MC/DC Test Data Generation With OCL Constraints
di: Hassan Sartaj, et al.
Pubblicazione: (2024)

Tempus: An Evolutionary Mutation Testing System on Event‐Based Systems With Profile‐Based Individual Generation
di: Lorena Gutiérrez‐Madroñal, et al.
Pubblicazione: (2025)

Issue Information
Pubblicazione: (2024)

MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation
di: Chuyang Chen, et al.
Pubblicazione: (2024)

Issue Information
Pubblicazione: (2024)

Issue Information
Pubblicazione: (2024)

Mutation‐Guided Metamorphic Testing of Optimality in AI Planning
di: Quentin Mazouni, et al.
Pubblicazione: (2024)

Scenario‐Driven Metamorphic Testing for Autonomous Driving Simulators
di: Yifan Zhang, et al.
Pubblicazione: (2024)

An Approach of Structure‐Enhanced Code‐Centric Graph Learning for Just‐in‐Time Software Vulnerability Detection
di: Phu Pham, et al.
Pubblicazione: (2026)

Issue Information
Pubblicazione: (2026)

Delta4Ms: Improving mutation‐based fault localization by eliminating mutant bias
di: Hengyuan Liu, et al.
Pubblicazione: (2024)

Improving Web Element Localization by Using a Large Language Model
di: Michel Nass, et al.
Pubblicazione: (2024)

Automated Game Testing With Online Search Agent and Model Construction, a Study
di: Samira Shirzadehhajimahmood, et al.
Pubblicazione: (2025)

MetaSem: metamorphic testing based on semantic information of autonomous driving scenes
di: Zhen Yang, et al.
Pubblicazione: (2024)

Vulnerability Detection in AI‐Generated and Human‐Written Code of Multiple Programming Languages With Structured Learning
di: Nithya A, et al.
Pubblicazione: (2026)

Issue Information
Pubblicazione: (2024)

MRGS‐ART: Metamorphic Relation and Group Selection Based on Adaptive Random Testing
di: Zhihao Ying, et al.
Pubblicazione: (2024)

Automated Feature Extraction for Testing Deep Learning Systems Through Illumination Search
di: Tahereh Zohdinasab, et al.
Pubblicazione: (2026)

Mobile Open‐Source Software Reliability Growth Model Based on Extended Weibull Distribution and Introduced Faults With Multiple Change‐Points
di: Jinyong Wang, et al.
Pubblicazione: (2026)

Towards automatically identifying the co‐change of production and test code
di: Yuan Huang, et al.
Pubblicazione: (2024)

Tracing Service Request Processing in Cloud
di: Yinqin Zhao, et al.
Pubblicazione: (2025)

Issue Information
Pubblicazione: (2025)

Software Reliability Prediction by Adaptive Gated Recurrent Unit‐Based Encoder‐Decoder Model With Ensemble Empirical Mode Decomposition
di: Minghao Yang, et al.
Pubblicazione: (2024)

Issue Information
Pubblicazione: (2025)

Issue Information
Pubblicazione: (2026)

Issue Information
Pubblicazione: (2026)

DialTest‐EA: An Enhanced Fuzzing Approach With Energy Adjustment for Dialogue Systems via Metamorphic Testing
di: Haibo Chen, et al.
Pubblicazione: (2024)

Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults
di: Ayoosh Bansal, et al.
Pubblicazione: (2024)