From: Strategy maintenance in smart healthcare systems
study case 1
study case 2
study case 3
# redundant stmt pairs before TAnom-HS
22
8
17
# redundant stmt pairs after TAnom-HS
2
0