Documents publiés en "2018"

Communication écrite

Oakes, B., Troya, J., Lucio, L., & Wimmer, M. (septembre 2015). Full contract verification for ATL using symbolic execution [Communication écrite]. 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada. Publié dans Software and Systems Modeling, 17(3). Lien externe

Oakes, B., Verbrugge, C., Lúcio, L., & Vangheluwe, H. (octobre 2018). Debugging of Model Transformations and Contracts in SyVOLT [Communication écrite]. MDEbug Workshop, colocated with 21st Model Driven Engineering Languages and Systems (MODELS MDEbug 2018), Copenhagen, Denmark. Lien externe

Mémoire ou thèse hors Polytechnique

Oakes, B. (2018). A Symbolic Execution-Based Approach to Model Transformation Verification Using Structural Contracts [Thèse de doctorat, McGill University]. Lien externe