Publisher
Springer Nature Switzerland
Reference37 articles.
1. Alberto, A., Cavalcanti, A.L.C., Gaudel, M.C., Simao, A.: Formal mutation testing for Circus. Inf. Softw. Technol. 81, 131–153 (2017)
2. Baxter, J., Cavalcanti, A.L.C., Gazda, M., Hierons, R.: Testing using CSP models: time, inputs, and outputs - extended version. Technical report, RoboStar Centre on Software Engineering for Robotics (2022). robostar.cs.york.ac.uk/publications/reports/BCGH22.pdf
3. Baxter, J., Ribeiro, P., Cavalcanti, A.L.C.: Sound reasoning in tock-CSP. Acta Informatica 59, 125–162 (2022)
4. Cavalcanti, A., et al.: RoboStar technology: a roboticist’s toolbox for combined proof, simulation, and testing. In: Software Engineering for Robotics, pp. 249–293. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-66494-7_9
5. Lecture Notes in Computer Science;A Cavalcanti,2021