Di Nardo, D., Alshahwan, N., Briand, L., Fourneret, E., Nakic-Alfirevic, T., & Masquelier, V. (2013). Model Based Test Validation and Oracles for Data Acquisition Systems. In IEEE/ACM International Conference on Automated Software Engineering. doi:10.1109/ASE.2013.6693111 Peer reviewed |
Fourneret, E., Bouquet, F., Ochoa, M., Jurjens, J., & Wenzel, S. (2012). Vérification et test pour des systemes évolutifs. In Congrès Approches Formelles dans l'Assistance au Développement de Logiciels (pp. 150-164). Peer reviewed |
Fourneret, E., Bouquet, F., Dadeau, F., & Debricon, S. (2011). Selective Test Generation Method for Evolving Critical Systems. Proceedings of 4th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2011), 125-134. doi:10.1109/ICSTW.2011.95 Peer reviewed |
Fourneret, E., Ochoa, M., Bouquet, F., Botella, J., Jurjens, J., & Parvaneh, Y. (2011). Model-based security verification and testing for smart-cards. Proceedings of 6th International Conference on Availability, Reliability and Security (ARES 2011), 272-279. doi:10.1109/ARES.2011.46 Peer reviewed |