Evaluate the collective function of references cited together in a given text segment.
Classify their combined role into one of the following categories: 'method', 'background', or 'result'.

Text:We implemented our approach in a tool called Shadow, which is built on top of the KLEE symbolic execution engine [5] and uses the concolic execution functionality from the ZESTI extension [19].
Category: