Abdelwahab Hamou-Lhadj

Latest

• Lossless compaction of model execution traces
• Model execution tracing: a systematic mapping study