Teaching‎ > ‎

Master thesis

Design and Implementation of applications using distributed functional programming: a case study.
Supervisor: Víctor M. Gulías.
Computer Engineering. A Coruña, October 8th, 2003.


Looking for a master thesis supervisor? If you fancy any of this proposals, contact me.
  • Study, re-factor and automate (part of) WebKit's test infrastructure.
  • Study and compare Randoop with QuickCheck.
  • Automatic generation of QuickCheck test models from Petri Nets models.
  • Automatic generation of MAUDE skeletons from Petri Nets, FSMs, activity diagrams (co-sup. A.Boucherit).
  • Concurrent systems analysis and testing using MAUDE LTL model-checker (co-sup. A.Boucherit).