Author:
David Alexandre,Larsen Kim. G.,Legay Axel,Nyman Ulrik,Wąsowski Andrzej
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;B.T. Adler,2006
2. Lecture Notes in Computer Science;S.S. Bauer,2010
3. Lecture Notes in Computer Science;P. Bhaduri,2005
4. Lecture Notes in Computer Science;F. Cassez,2005
5. Chic (2003),
http://www-cad.eecs.berkeley.edu/~tah/chic/
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04
2. Refinement of Systems with an Attacker Focus;Formal Methods for Industrial Critical Systems;2023
3. Static detection of equivalent mutants in real-time model-based mutation testing;Empirical Software Engineering;2022-09-20
4. Temporal Multi-view Contracts for Efficient Test Models;Communications in Computer and Information Science;2022
5. Simulation Relations and Applications in Formal Methods;Lecture Notes in Computer Science;2022