Dr Christophe Meudec
Maitrise (Rennes I), PhD
- Research Interests
- Research Supervision
- Automatic Test Data Generation from Source Code;
- Symbolic Execution using Constraints Logic Programming.
- Mobile, Cloud and Web Entrepreneurship;
- Blended Learning in Higher Education.
- Founder of IT Carlow Spin-Off Company, My People Care: a Cloud-Based Solution for Carers.
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.