8 citations · 16 across the 12 of their papers we have counts for
1 paper · 2 filters
Laboni Sarker, Abdus Satter, Tevfik Bultan
Traditional equivalence checking classifies programs as equivalent or non-equivalent, providing insufficient information for tasks like patch impact analysis where it is expected t…