Pasda: A Partition-based Semantic Differencing Approach with Best Effort Classification of Undecided Cases

Keyphrases

• Semantic Differencing 100%
• Non-equivalence 100%
• Equivalence Checking 100%
• Partitioning Method 100%
• Symbolic Execution 33%
• Classification Results 33%
• Runtime Performance 33%
• Accuracy Performance 33%
• Am(III) 33%
• Equivalence Classification 33%
• Equivalent Input 33%
• Equivalence Proof 33%
• Classification Basis 33%

Computer Science

• Equivalence Checking 100%
• Timeouts 66%
• Symbolic Execution 33%
• classification result 33%