Software Fault Localization Based on Testing Requirement and Program Slice.
Jirong SunZhishu LiJiancheng NiFeng YinPublished in: IEEE NAS (2007)
Keyphrases
- fault localization
- software testing
- program understanding
- test cases
- program slicing
- software development
- software systems
- quality assurance
- software engineering
- regression testing
- test suite
- model based diagnosis
- formal verification
- source code
- data abstraction
- search based software testing
- fault detection
- formal specification
- software maintenance
- development process
- information systems
- reverse engineering
- dynamic systems
- multi agent systems