Author:
David Alexandre,Larsen Kim G.,Legay Axel,Nyman Ulrik,Traonouez Louis-Marie,Wąsowski Andrzej
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mutant Equivalence as Monotonicity in Parametric Timed Games;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05
2. Static detection of equivalent mutants in real-time model-based mutation testing;Empirical Software Engineering;2022-09-20
3. Safe Reinforcement Learning for CPSs via Formal Modeling and Verification;2021 International Joint Conference on Neural Networks (IJCNN);2021-07-18
4. A linear-time–branching-time spectrum for behavioral specification theories;Journal of Logical and Algebraic Methods in Programming;2020-01
5. Behavioral Specification Theories: An Algebraic Taxonomy;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020