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).