Testing Static Analyzers via Semantic-Preserving Mutators Learned from Real-World Refactoring Practice
Shi-Yu Qiu, Ming Wen, Hong-Yu Zhang et al.
· 0 citations
We have 2 of 12 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Aug 2026
Understanding and Detecting Android R8 Compiler Bugs
An automated testing tool named R8Scan is developed that utilizes a novel idea to synthesize seeds from prioritized real-world functions and construct the corresponding arguments empowered by Large Language Models to test R8, thus enabling the exploration of a broader range of semantics.
Zi-Fan Xie, Ming Wen, Shi-Yu Qiu et al.
· ACM Transactions on Software... · 0 citations