Software fault localization is one of the (if not the) most expensive, tedious and time consuming activities in program debugging. Therefore, there is a high demand for automatic fault localization techniques that can guide programmers to the locations of faults, with minimal human intervention. This demand has led to the proposal and development of various methods, each of which seeks to make the fault localization process more effective in its own unique and creative way. In this article we provide an overview of several such methods and discuss some of the key issues and concerns that are relevant to fault localization.

Abstract.About a decade after the initial proposal to use model checkers for the generation of test cases we take a look at the achievements in this field of research. Model checkers are formal verification tools, capable of providing counterexamples to violated properties. Normally, these counterexamples are meant to guide an analyst when searching for the root cause of a property violation. They are, however, also very useful as test cases. Many different approaches have been presented, many problems have been solved, yet many issues remain. This survey paper reviews the state of the art in testing with model checkers.

No abstract

No abstract

No abstract

No abstract

No abstract

No abstract