Research Article
Behaviour Preservation across Code Versions in Erlang
Table 1
Experimental evaluation of three SecEr configurations with a timeout of 15 seconds.
| ā | CUTER + MUTATION | NO CUTER | NO MUTATION | ā | Generated | Mismatching | % | Generated | Mismatching | % | Generated | Mismatching | % |
| ackermann | 13.9 | 12.9 | 93.274% | 21.8 | 21.8 | 100.0% | 12.85 | 11.65 | 91.27% | caesar | 37765.94 | 1615.1 | 4.2714% | 103072.0 | 4534.95 | 4.3997% | 38830.55 | 1702.7 | 4.3865% | complex_number | 69420.2 | 67236.55 | 96.8549% | 89670.2 | 86891.75 | 96.9015% | 67451.75 | 65349.95 | 96.8825% | erlson1 | 14780.05 | 1.55 | 0.0105% | 14966.2 | 2.65 | 0.0177% | 14872.5 | 1.9 | 0.0127% | erlson2 | 15494.5 | 0.95 | 0.0059% | 16758.59 | 0.8 | 0.0047% | 15553.8 | 0.95 | 0.0061% | mergesort | 29718.35 | 25634.45 | 86.2585% | 34315.1 | 29622.9 | 86.3259% | 29994.3 | 25884.2 | 86.299% | rfib | 28.05 | 28.05 | 100.0% | 29.0 | 29.0 | 100.0% | 28.4 | 28.4 | 100.0% | roman | 513.79 | 101.95 | 19.8415% | 535.35 | 108.05 | 20.1801% | 512.2 | 101.7 | 19.8461% | sum_digits | 426.3 | 422.3 | 99.0615% | 534.0 | 534.0 | 100.0% | 434.0 | 430.0 | 99.078% | ternary | 85.9 | 28.05 | 29.4187% | 1005.4 | 323.25 | 32.2485% | 130.0 | 39.7 | 27.8311% | turing | 41828.65 | 28268.95 | 67.5825% | 77247.45 | 52651.5 | 68.1595% | 41573.1 | 28150.95 | 67.7135% | vigenere | 115.55 | 2.1 | 1.269% | 308.7 | 4.59 | 1.1849% | 114.9 | 1.95 | 1.4849% |
|
|