MIDAS Outcomes at International Journal on Software Tools and Technology Transfer
The special section on the project results is now published in Volume 19, Issue 3 of the International Journal on Software Tools and
Technology Transfer.
-
MBTCloud
Automation and intelligent scheduling of distributed system functional testing
Pages 281-308
-
Regular Paper
Fully automated runtime enforcement of component-based systems with formal and sound recovery
Pages 341-365