Program Slicing and Execution Tracing for Differential Testing at Adobe Analytics.

Darryl Jarman Scott Hunt Dave Towey

Published in: ICPC (2020)

Keyphrases

program slicing
formal verification
software testing
fault localization
source code
description languages
regression testing
test cases
reverse engineering
business intelligence
test set
quality assurance
data management
open source
case study
dynamic systems
model checking
software metrics