You will be presented with a citation segment from the section of a research paper. Classify the intent behind this citation by choosing from one of the following categories:

- Method: Cites the paper for its methodology or procedure.
- Background: Cites the paper to provide background information.
- Result: Cites the paper for its findings or results.

Your answer should be a single word from the following list of options: ["Method", "Background", "Result"]. Do not include any other text in your response.

Citation sentence:

MT has been used to check the functional correctness of various applications [6], [7], [8], [9], [10], [11], [12], [13], [14] and has also been applied to program proving and debugging [15], [16].
Method