2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
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…