An expert system for checking the correctness of memory systems using simulation and metamorphic testing
作者：
Highlights：
• A novel expert system for checking the correctness of memory systems.
• The expert system properly combines simulation and metamorphic testing.
• The expert system automatically generates test cases to check memory models.
• Mutation testing has been applied to check the effectiveness of the ES.
• The ES provides promising results, detecting 99.
摘要
•A novel expert system for checking the correctness of memory systems.•The expert system properly combines simulation and metamorphic testing.•The expert system automatically generates test cases to check memory models.•Mutation testing has been applied to check the effectiveness of the ES.•The ES provides promising results, detecting 99.
论文关键词：Memory systems,Metamorphic testing,Simulation,Mutation testing,Expert systems,Memory scheduling
论文评审过程：Received 17 August 2018, Revised 5 April 2019, Accepted 30 April 2019, Available online 1 May 2019, Version of Record 6 May 2019.
论文官网地址：https://doi.org/10.1016/j.eswa.2019.04.070
