Definition of a Framework for Systematic Testing Techniques Evaluation Applied to ...
Definition of Empirical Study Design in Testing Techniques for Concurrent Programs
Study and definition of project attributes for selection of testing techniques for...
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...