Validation of the reactive systems specifications: definition and analysis of the...

Cost and efficacy evaluation of the mutation analysis criterion in the program testing...

A contribution to the SDL specification testing: empirical and theoretical aspec...

PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts...

Not available

Educational games: a contribution to the software testing education

Object-oriented: definition, implementation and analysis of validation and testing...

Subsidies for the establishment of testing strategy based on mutation technique

Mutation Testing Study in SML functional programs