Publications

Executable Domain-Specific Languages (DSLs) are commonly defined with either operational semantics (i.e., interpretation) or …

Dynamic verification and validation (V&V) techniques are used to verify and validate the behavior of software systems early in the …