Accepting PhD Students

PhD projects

Symbolic Execution using Prolog

Calculated based on number of publications stored in Pure and citations from Scopus

Research activity per year

Personal profile


Dr. Christophe Meudec, a Software Engineering academic at the South East Technological University in Ireland, has engaged in various research topics related to software analysis and development. Here are some of the intriguing areas he has explored:


Symbolic Execution using Constraint Logic Programming:

Dr. Meudec’s fundamental research interests lie in symbolic execution. Symbolic execution is a technique used to analyze software code by exploring different execution paths symbolically rather than concretely.

He employs Constraint Logic Programming (CLP) to perform symbolic execution. CLP combines logic programming with constraint solving, allowing for more expressive and efficient analysis.

His work in this area contributes to improving software reliability, identifying vulnerabilities, and enhancing code quality.

Automatic Test Data Generation from Source Code:

Another significant research focus for Dr. Meudec is automatic test data generation. This involves creating test cases automatically based on the source code of a program.

By generating diverse and comprehensive test data, developers can verify the correctness and robustness of their software.

His contributions in this field help streamline the testing process and ensure better software quality.

Static and Dynamic Analysis of Software Code:

Dr. Meudec investigates both static and dynamic analysis techniques for software code.

Static analysis involves examining the code without executing it, identifying potential issues (such as bugs or security vulnerabilities) through code inspection.

Dynamic analysis, on the other hand, observes the behavior of a running program to detect runtime errors, memory leaks, and performance bottlenecks.

His research aims to enhance code understanding, optimize performance, and improve overall software development practices.

Agile Development of Web, Cloud, and Mobile Apps:

Beyond research, Dr. Meudec is actively involved in promoting agile development practices.

He lectures widely on topics related to Web, Cloud, and Mobile App development, emphasizing agility, collaboration, and efficient delivery.

His practical insights benefit both students and industry professionals seeking to build robust and responsive applications.

Teaching Technologies and Student Engagement:

Dr. Meudec’s applied interests extend to novel teaching technologies. He explores innovative ways to engage students and enhance their learning experiences.

His MA in Teaching and Learning focuses on the introduction of blended collaborative cloud learning in third-level computer science education.

By leveraging cloud-based tools, he aims to create an interactive and effective learning environment for students.

In summary, Dr. Christophe Meudec’s research spans symbolic execution, automatic test data generation, software analysis, and agile development practices. His contributions impact both academia and industry, fostering advancements in software engineering.

Education/Academic qualification

Masters Degree, Master of Arts (MA) Teaching and Learning, SETU Carlow


Award Date: 01 Jun 2016

PhD, Automatic Test Cases Generation From Formal Specifications, Queens University Belfast

01 Sep 199201 Jan 1998

Award Date: 01 Jan 1998

Bachelors Degree, B.Sc. Honors, Computer Science, Queens University Belfast


Award Date: 01 Jun 1992

License, Informatique, Université de Rennes 1


Award Date: 01 Jun 1991

National Diploma, DEUG Mathematics, Physics, Computing, Université du Maine


Award Date: 01 Jun 1990

External positions

Research Associate, University of York

Jan 1996Sep 1997

Teaching Assistant, Queens University Belfast

Oct 1992Dec 1995


  • QA76 Computer software
  • software testing
  • symbolic execution
  • Prolog
  • Constraint Logic Programming


Dive into the research topics where Christophe Meudec is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles