![]() Cordy, Maxime ![]() in From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (2019) Detailed reference viewed: 57 (3 UL)![]() ; ; Papadakis, Mike ![]() in Journal of Systems and Software (2018) Detailed reference viewed: 121 (3 UL)![]() ; Perrouin, Gilles ![]() ![]() in 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017) (2017) Detailed reference viewed: 137 (5 UL)![]() ; ; Papadakis, Mike ![]() in 38th International Conference on Software Engineering (ICSE'16) (2016) Detailed reference viewed: 111 (2 UL)![]() ; ; et al in Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014) (2014) Detailed reference viewed: 122 (2 UL) |
||