Software Engineering and Learning Technologies: Establishing Supporting Mechanisms...
A contribution to the definition and automation activity testing for virtual reali...
Study and definition of project attributes for selection of testing techniques for...
Providing automated mechanisms for the mutation testing of Java and Aspect J programs
Validation of smart city applications: a fault-based approach
Model-based Testing of Service-oriented Applications: Experimental Studies and Aut...