Dr Christophe Meudec

Maitrise (Rennes I), PhD

 
  • Research Interests
  • Publications
  • Research Supervision

Fundamental Research 

  • Automatic Test Data Generation from Source Code;
  • Symbolic Execution using Constraints Logic Programming.

Applied Research

  • Mobile, Cloud and Web Entrepreneurship;
  • Blended Learning in Higher Education.

Current Project

  • Founder of IT Carlow Spin-Off Company, My People Care: a Cloud-Based Solution for Carers. 
 

 

Sample Publications

C. Meudec, Under Pressure: How to do More and Better with Less by Using Google Docs at Third Level, In Proceedings EdTech 2014 Conference of the Irish Learning Technology Association, UCD, Dublin, May 2014. 

E. Dillon and C. Meudec, Automatic Test Data Generation from Embedded C Code, 23rd International conference on Computer Safety, reliability and Security (SAFECOMP 2004) pp. 180-194, Potsdam, Germany, September 2004. (also in LCNS 3219/2204).

E. Dillon and C. Meudec, CSET: Symbolic Execution and Automatic Test Data Generation of Embedded C Code, 16th IFIP TC 6 / WG 6.1 International Conference on Testing of Communicating Systems, March, 2004, Oxford UK.

J. Doyle and C. Meudec, IBIS: an Interactive Bytecode Inspection System, using Symbolic Execution and Constraint Logic Programming, Second International Conference on the Principles and Practice of Programming in Java, June, 2003, Kilkenny Ireland, pp. 55-58.

J. Doyle and C. Meudec, Automatic Structural Coverage Testing of Java Bytecode, Third Workshop on Automated Verification of Critical Systems : AVoCS 2003, April, 2003, Southampton UK. 

C. Meudec, ATGen: Automatic Test Data Generation using Constraint Logic Programming and Symbolic Execution, Software Testing, Verification & Reliability Journal, 2001, Vol. 11, pp. 81-96.

C. Meudec, ATGen: Automatic Test Data Generation using Constraint Logic Programming and Symbolic Execution, IEEE/ACM First International Workshop on Automated Program Analysis, Testing and Verification, 22nd International Conference on Software Engineering (ICSE 2000), June, 2000, Limerick Ireland, pp. 22-31. 

Research Supervision

Supervised MSc by research:
Eileen Dillon, Hybrid Approach for the Automatic Determination of the Worst Case Execution Time of Embedded Software Written in C, 2005, MSc.
 
Martin Grogan, Visual Symbolic Execution, 2002, MSc.