Login / Signup

Indexing Noncrashing Failures: A Dynamic Program Slicing-Based Approach.

Chao LiuXiangyu ZhangYu ZhangJiawei HanBharat K. Bhargava
Published in: ICSM (2007)
Keyphrases
  • program slicing
  • fault localization
  • database
  • data model
  • formal verification