Author:
Le Traon Y.,Baudry B.,Jezequel J.-M.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TC4MT: A Specification-Driven Testing Framework for Model Transformations;International Journal of Software Engineering and Knowledge Engineering;2023-05-29
2. Mutation Analysis of Specification-Based Contracts in Software Testing;2021 15th Turkish National Software Engineering Symposium (UYMS);2021-11-17
3. How much Specification is Enough? Mutation Analysis for Software Contracts;2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE);2021-05
4. Cyber Resilience Meta-Modelling: The Railway Communication Case Study;Electronics;2021-03-02
5. Mutation Operators for Decision Table-Based Contracts Used in Software Testing;2020 Turkish National Software Engineering Symposium (UYMS);2020-10-07