Definition of a Framework for Systematic Testing Techniques Evaluation Applied to ...
Study and definition of project attributes for selection of testing techniques for...
Definition of Empirical Study Design in Testing Techniques for Concurrent Programs
Evaluation of a new structural testing model for concurrent programs
Chatterbot: a contribution to the software engineering teaching
A search approach for supporting the identification of infeasible sequences in con...