In recent years, search-based software testing (SBST) is the active research topic in software
testing. SBST is the process of generating test cases that use metaheuristics for optimization …

Abstract Domain-specific languages (DSLs) assist a software developer (or end-user) in
writing a program using idioms that are similar to the abstractions found in a specific …

Metamodeling has become a crucial technique in the process of software development.
However, the level of metamodeling acceptance is still very low in software development …

Most of the time, customers request complex business logic to be implemented in software
applications. Therefore, as long as business requirements grow, the pressure increases on …

Test coverage is an effective technique to measure test case quality and to enable fault
localization. However, for Executable Domain-Specific Languages (xDSLs), coverage …

Model-driven engineering is a well-established software development methodology that
uses models to develop applications where the end-users with visual elements model …

Testing is one of the most prevalent and successful verification and validation (V&V)
techniques used in the field of software engineering. While a large number of testing …

Abstract Executable Domain-Specific Languages (xDSLs) allow the definition and the
execution of behavioral models. Some behavioral models are reactive, meaning that during …

End-user programming may utilize Domain-Specific Modeling Languages (DSMLs) to
develop applications in the form of models, using only abstractions found in a specific …

To test a system efficiently, we need to know how good are the defined test cases and to
localize detected faults in the system. Measuring test coverage can address both concerns …