...
机译:Advanced testing and debugging support for reactive executable DSLs
Ecole Centrale Nantes CNRS, LS2N, UMR 6004, IMT Atlantique. Nantes Universite, 44000 Nantes, France;
Reactive executable DSL; Testing; Test description language; Debugging; Mutation analysis;