NanoSTIMA

Macedo N, Jorge T, Cunha A.  2016.  A feature-based classification of model repair approaches. IEEE Transactions on Software Engineering. repair16.pdf

Paper accepted at TSE

Our survey on model repair techniques has just been accepted at the IEEE Transactions on Software Engineering (TSE).

Joined NanoSTIMA project

I joined the NanoSTIMA project on high-assurance medical cyber-physical systems as a post-doctoral researcher.