Clarisó, R., Gonzalez Perez, C. A., & CABOT, J. (In press). Smart Bound Selection for the Verification of UML/OCL Class Diagrams. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2017.2777830 Peer reviewed |
Gonzalez Perez, C. A., Varmazyar, M., Nejati, S., Briand, L., & isasi, Y. (2018). Enabling Model Testing of Cyber-Physical Systems. In Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18). doi:10.1145/3239372.3239409 Peer reviewed |
Gonzalez Perez, C. A., Varmazyar, M., Nejati, S., Briand, L., & Isasi, Y. (2018). A SysML-Based Methodology for Model Testing of Cyber-Physical Systems. (TR-SNT-2018-2). Luxembourg, Luxembourg: University of Luxembourg. |