Property-Based Mutation Testing-Reference-Cited by-同舟云学术

Property-Based Mutation Testing

Published:2023-04 Issue: Volume: Page:
ISSN:
Container-title:2023 IEEE Conference on Software Testing, Verification and Validation (ICST)
language:
Short-container-title:

Author:

Bartocci Ezio¹,Mariani Leonardo²,Ničković Dejan³,Yadav Drishti¹

Affiliation:

1. TU Wien,Vienna,Austria

2. University of Milano-Bicocca,Milan,Italy

3. Austrian Institute of Technology,Vienna,Austria

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/10132156/10132162/10132190.pdf?arnumber=10132190

Reference66 articles.

1. Mutation testing optimisations using the clang front-end;vercammen;arXiv preprint arXiv 2210 17215,2022

2. MoMut::UML Model-Based Mutation Testing for UML

3. Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation Testing

4. Model-based fault injection experiments for the safety analysis of exoskeleton system;fabarisov;arXiv preprint arXiv 2101 01863,2021

5. Static analysis of mutant sub-sumption;kurtz;2015 IEEE Eighth International Conference on Software Testing Verification and Validation Workshops (ICSTW),2015

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. A Systematic Literature Review on Requirements Engineering and Maintenance for Embedded Software;IEEE Access;2024

3. Mining Hyperproperties using Temporal Logics;ACM Transactions on Embedded Computing Systems;2023-09-09