A Comprehensive Review of AI Advancement Using testFAILS and testFAILS-2 for the Pursuit of AGI

Y Kumar, M Lin, C Paredes, D Li, G Yang… - …, 2024 - search.proquest.com
In a previous paper we defined testFAILS, a set of benchmarks for measuring the efficacy of
Large Language Models in various domains. This paper defines a second-generation …

[PDF][PDF] Demystifying React Native Android Apps for Static Analysis

L Yonghui, X Chen, P Liu, J Samhi, J Grundy… - ACM Transactions on …, 2024 - orbilu.uni.lu
Authors' addresses: Yonghui Liu, Yonghui. Liu@ monash. edu, Monash University,
Melbourne, Australia; **ao Chen, **ao. Chen@ newcastle. edu. au, University of Newcastle …

Smart Software Analysis for Software Quality Assurance

L Li - Proceedings of the ACM Turing Award Celebration …, 2024 - dl.acm.org
In this position paper, we introduce our research objective in applying smart software
analysis for software quality assurance. We start by introducing the concepts of software …