Skip to main content

Table 3 Results of resolving redundancy

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

0