Author:
Krenn Willibald,Schlick Rupert,Tiran Stefan,Aichernig Bernhard,Jobstl Elisabeth,Brandl Harald
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
2. Property-Based Mutation Testing;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04
3. Research on CTCS-N Onboard Equipment Testing Method Based on Timed Automata Mutation Model;Lecture Notes in Electrical Engineering;2023
4. A Model-Based Testing System for Safety of Railway Interlocking;2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC);2022-10-08
5. µBert: Mutation Testing using Pre-Trained Language Models;2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2022-04