Cited By
View all- Baxter JCarvalho GCavalcanti AJúnior F(2023)RoboWorld: Verification of Robotic Systems with Environment in the LoopFormal Aspects of Computing10.1145/362556335:4(1-46)Online publication date: 27-Sep-2023
- Besnard VJouault FBrun MTeodorov CDhaussy PDelatour JGuerra EIovino L(2020)Modular deployment of UML models for V&V activities and embedded executionProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3417990.3419227(1-10)Online publication date: 16-Oct-2020
- Carver RLei Y(2018)Stateless techniques for generating global and local test oracles for message-passing concurrent programsJournal of Systems and Software10.1016/j.jss.2017.11.026136:C(237-265)Online publication date: 1-Feb-2018
- Show More Cited By