Author:
Siavashi Faezeh,Truscan Dragos,Vain Juri
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Time for Networks: Mutation Testing for Timed Automata Networks;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14
2. Securing Cross-Site Request Forgery Vulnerabilities in Web Applications Using Mutation Analysis;2024 2nd International Conference on Software Engineering and Information Technology (ICoSEIT);2024-02-28
3. Improving Conformance of Web Services: A Constraint-based Model-driven Approach;ACM Transactions on the Web;2023-03-27
4. Automatic test amplification for executable models;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23
5. Advanced testing and debugging support for reactive executable DSLs;Software and Systems Modeling;2022-09-25