Research Article

Behaviour Preservation across Code Versions in Erlang

Listing 11

SecEr reports discrepancies in the multiple-POI execution (cont.).
------ Detected Error ------
Call: tokens([11,6,4,4],[4])
Error Type: The second trace is longer
POI: (’string0.erl’,6,call,1) trace:
[[[11,6]]]
POI: (’string1.erl’,14,call,1) trace:
[[[11,6]],[[11,6]]]
----------------------------
------ Detected Error ------
Call: tokens([47,3,19,7,1,10,1,25,4,16],[16])
Error Type: The first trace is empty
POI: (’string0.erl’,6,call,1) trace:
[]
POI: (’string1.erl’,14,call,1) trace:
[[[47,3,19,7,1,10,1,25,4]]]
----------------------------
------ Detected Error ------
Call: tokens([4,24,0,4,13,10,1,0],[2,8,12,1,0])
Error Type: Unexpected trace value
POI: (’string0.erl’,6,call,1) trace:
[[[4,24],[4,13,10]]]
POI: (’string1.erl’,28,call,1) trace:
[[10,24,[4,24],[4,13,10]],[10,24,[4,24],[4,13,10]]]
----------------------------
------ Detected Error ------
Call: tokens([13,7],[1,1,2,3,6,4,11,8,7])
Error Type: The first trace is empty
POI: (’string0.erl’,6,call,1) trace:
[]
POI: (’string1.erl’,28,call,1) trace:
[[13,[13]]]
----------------------------
------ Detected Error ------
Call: tokens([6,3,1,7,4,9,5,7,28],[1,10,46,3,4,8,34,6])
Error Type: The first trace is longer
POI: (’string0.erl’,6,call,1) trace:
[[[7],[9,5,7,28]],[[7],[9,5,7,28]],[[7],[9,5,7,28]]]
POI: ([’string1.erl’,28,call,1,
’string1.erl’,14,call,1]) trace:
[[[7],[9,5,7,28]],[[7],[9,5,7,28]]]
----------------------------
------ Detected Error ------
Call: tokens([12,1],[2,10,0,4,12,4,6,2,22])
Error Type: The second trace is empty
POI: (’string0.erl’,6,call,1) trace:
[[[1]]]
POI: ([’string1.erl’,28,call,1,
’string1.erl’,14,call,1]) trace:
[]
----------------------------