Mutation testing has been used mostly at the unit level. To support its application few tools
have been developed and used, mainly in the academic environment. Interface Mutation …

This paper describes intra‐method control‐flow and data‐flow testing criteria for the Java
bytecode language. Six testing criteria are considered for the generation of testing …

Software testing is one of the hardest and most expensive activities in software
development. The need for test adequacy criteria is widely recognized. Several of them …

O teste de software é uma atividade fundamental para garantir a qualidade de software.
Além disso, teste de software é uma das atividades mais caras e demoradas no processo …

The concept of developing an automatic simulation method in connection with the design of
an automated guided vehicle system (AGVS) is considered. A simulation code generator …

Research in software testing has been carried out for approximately forty years, but its
importance has escalated very quickly in the last ten or fifteen years. In particular, structural …

Mutation testing is a testing criterion used to measure the quality of a test suite. In mutation, a
test suite is executed against the set of mutants of a given program under testing. A score is …

Several software testing criteria have been proposed during last years with the goal of
aiming the test set generation and revealing many faults as possible. They are considered …

Structural testing, or white-box testing, is a technique to generate test cases based on
analysis of an application source code. Currently, there are a lot of tools that perform this …

Structured testing criteria are usually used to assess the adequacy of test case sets, defining
coverage measures. Control and data flow based criteria employ information about the …