Dema project is over!

After three years of PhD thesis and two years on the DEMA project, the work on model-centric debugging and mcGDB is over! There is currently no plan of continuation, so the project will stay in its current state.

These presentations summarize the five years of work:

• Summary presentation (Dec 2016)
• PhD thesis defence (Feb 2014)

And these documents describe it with more details:

• DEMA D1 to D4 reports (Dec 2016)
• PhD thesis manuscript (Feb 2014)