You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Scratching the surface of configurable systems: understanding how compile-time options have effects on binary size and gadget (surface attack); build predictor …
Implementation of an AI planning system that I've derived from Robert Sasak's works. Some of the available planning configurations are "mutants" (hand-coded var…
Prototype that implements the metamorphic testing framework for checking optimality in AI planners I've figured out during my six month internship at Inria.
Sintaks takes advantage of metamodels to generate fully operational tools for concrete syntaxes. It uses bidirectional mapping-models to support both model-to-t…