search

bolzzzz / AutoMR

Help to discover polynomial metamorphic relations (MRs).
GNU Lesser General Public License v3.0
0 stars 0 forks source link

How to use the inferred MRs to test program? #1

Open Annlean opened 3 months ago

Annlean commented 3 months ago

Hi, The MRs inferred by AutoMR are very effective, but how to use the inferred MRs to test the corresponding programs in actual tests? Can you give an example of applying MRs to test the subject programs? Looking forward to the update, thanks!

Annlean commented 3 months ago
  1. "Provide the information of program under test. Information of the program and the types of MRs should be set up in ProgramToInfer.py." already stated in "AutoMR: Automatic Discovery and Cleansing of Numerical Metamorphic Relations". But, ProgramToInfer.py not in the project.
  2. Can you provide the 625 mutants of program under test?