AEMOS
AEMOS or AI Enabled Multi Objective Scheduler is a system written in Python used for optimizing software test cases by using a combination of classic AI techniques (heuristics and Simulated Annealing), clustering and an extensible language based on STRIPS.
The language used as input is Python but I exploited the syntax to make it look like prolog.
This code implements the research I did for my Master's Degree Thesis.
Firmware testing using genetic algorithms
A project created as a final assignment for an Intelligent Systems class, it is a C++ application that uses the EASEA Genetics framework to find the optimal sequence of functional tests in order to minimize runtime and maximize coverage.
Part of this theory was used as reference for my Master's Degree Thesis.
There are other smaller research projects in my <Github>.