A Test Execution Framework for Lucid