Download Now Free registration required
Bug localization in object oriented program has always been an important issue in software engineering. In this paper, the author proposes a source level bug localization technique for object oriented embedded programs. The author proposed technique, presents the idea of debugging an object oriented program in class level, incorporating the object state information into the Class Dependence Graph (ClDG). Given a program (having buggy statement) and an input that fails and others pass, his approach uses concrete as well as symbolic execution to synthesize the passing inputs that marginally from the failing input in their control flow behavior.
- Format: PDF
- Size: 536 KB