Funder
Fundação de Amparo à Pesquisa do Estado de São Paulo
Royal Statistical Society
Publisher
Springer Science and Business Media LLC
Subject
Safety, Risk, Reliability and Quality,Software
Reference38 articles.
1. Alberto, A., Cavalcanti, A.L.C., Gaudel, M.-C., Simao, A. (2017). Formal mutation testing for Circus. Information and Software Technology, 81, 131–153.
2. Andrews, Z., Payne, R., Romanovsky, A., Didier, A., Mota, A. (2013). Model-based development of fault tolerant systems of systems. In 2013 IEEE International Systems Conference (SysCon) (pp. 356–363).
3. Cavalcanti, A.L.C., & Gaudel, M.-C. (2007). Testing for refinement in CSP. In 9th International Conference on Formal Engineering Methods, volume 4789 of Lecture Notes in Computer Science (pp. 151–170): Springer-Verlag.
4. Cavalcanti, A.L.C., & Gaudel, M.-C. (2011). Testing for refinement in Circus. Acta Informatica, 48(2), 97–147.
5. Cavalcanti, A.L.C., & Gaudel, M.-C. (2014). Data flow coverage for Circus-based testing. In Fundamental Approaches to Software Engineering, volume 8441 of Lecture Notes in Computer Science (pp. 415–429).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bringing RoboStar and RT-Tester Together;Lecture Notes in Computer Science;2023