DSpot view: Notes: Test Class name can be taken from file .json (example: dhell.json) from property fullQualifiedName Amplification time can be taken from same file as about in timeInMs property Other properties, for each test are collected from files with names: _instr_coverage.json Example: eu.stamp_project.examples.dhell.HelloAppTest_jacoco_instr_coverage.json For Jacoco selector, properties are: "name": "eu.stamp_project.examples.dhell.HelloAppTest", "nbOriginalTestCases": 7, "initialInstructionCovered": 540, "initialInstructionTotal": 1055, "percentageinitialInstructionCovered": 51.18483412322274, "amplifiedInstructionCovered": 540, "amplifiedInstructionTotal": 1055, "percentageamplifiedInstructionCovered": 51.18483412322274, "testCases": [] The number of amplified tests can be taken from files with names: _instr_coverage_report.txt Example: eu.stamp_project.examples.dhell.HelloAppTest_jacoco_instr_coverage_report.txt Parse file and take from a line like: Amplification results with 4 amplified tests. In this case = 4 Layout: key value -------------------------------------|------------------------------------------------- Test Class name: | .json:fullQualifiedName - Amplification time: | .json:timeInMs - Initial instruction coverage: | initialInstructionCovered / initialInstructionTotal (percentageinitialInstructionCovered %) - Amplified instruction coverage: | amplifiedInstructionCovered / amplifiedInstructionTotal (percentageamplifiedInstructionCovered %) - Amplified tests/original tests | / nbOriginalTestCases