This repo is for "Detecting Logic Discrepancies in Cross-Layer Communications within the WeChat Mini-Program Framework"

The folder Discrepancies contains the examples of Discrepancies codes:
-WeChat:WeChat Mini-Program Discrepancies
--C1-C20,P1-P8 : All sample codes
--readme.md : Introduction and Code snippet links
-Alipay:Alipay Mini-Program Discrepancies
--C21-C27,P9-P11 : sample code
--readme.md : Introduction
-TikTok:TikTok Mini-Program Discrepancies
--P12-P18 : All sample codes
--readme.md : Introduction

The folder templates contains the document of templates and domain knowledge:
-templates.pdf:WeChat, TikTok and AlipayMini-Program
--readme.md : Introduction

The folder autotest contains the MiniDiff code：
-code : main code
--readme.md : Introduction
--auto.spec.js : main code, generate code and run Wechat test case.
--auto.spec-gen.js : generator code, part of main code.
--AlipayT : template for Alipay.
--TikTokT : template for TikTok.
--WeChatT : template for WeChat.
---index.**ml : xml code of template
---index.js : rjs code of template
---index.**s : rjs code of template
---app.json : project config code of template
-ATcode: Executor for Alipay and TikTok