Behaviour Preservation across Code Versions in Erlang

Listing 12

SecEr reports the result of comparing the performance POI.

$  ./secer -pois "[’string0.erl’, LINE_timer:now_diff, call, 1, ’string1.erl’, LINE_timer:now_diff,

call, 1]"

     -funs "test_string:funs()" -to 15 -cfun "secer:comp_perf(30)"

Function: tokens/2

----------------------------

Generated test cases: 127573

Both versions of the program generate identical traces for the defined points of interest