Author:
Belli Fevzi,Budnik Christof J.,Hollmann Axel,Tuglular Tugkan,Wong W. Eric
Reference70 articles.
1. An introduction to the Testing and Test Control Notation (TTCN-3);Grabowski;Int. J. Comput. Telecommun. Netw.,2003
2. Event-based modeling, analysis and testing of user interactions: approach and case study;Belli;Softw. Test. Verif. Reliab.,2006
3. Test generation and minimization with ‘basic’ statecharts;Belli,2008
4. Design of mutant operators for the C programming language;Agrawal,1989
5. A Fortran language system for mutation-based software testing;King;Softw. Pract. Exp.,1991
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Agile model-driven re-engineering;Innovations in Systems and Software Engineering;2024-06-18
2. Assessing the Coverage of W-Based Conformance Testing Methods Over Code Faults;2024
3. Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
4. Program Abstraction and Re-Engineering: An Agile MDE Approach;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
5. Test Derivation against Timed Finite State Machines with Output Timed Guards;2023 International Russian Automation Conference (RusAutoCon);2023-09-10