3 papers
cs.SE2025
Integrating Artificial Intelligence with Human Expertise: An In-depth Analysis of ChatGPT's Capabilities in Generating Metamorphic Relations
Yifan Zhang, Dave Towey, Matthew Pike +3
Context: This paper provides an in-depth examination of the generation and evaluation of Metamorphic Relations (MRs) using GPT models developed by OpenAI, with a particular focus o…
cs.RO2024
A novel framework for adaptive stress testing of autonomous vehicles in multi-lane roads
Linh Trinh, Quang-Hung Luu, Thai M. Nguyen +1
Stress testing is an approach for evaluating the reliability of systems under extreme conditions which help reveal vulnerable scenarios that standard testing may overlook. Identify…
cs.DS2024
TreePIR: Efficient Private Retrieval of Merkle Proofs via Tree Colorings with Fast Indexing and Zero Storage Overhead
Son Hoang Dau, Quang Cao, Rinaldo Gagiano +9
A Batch Private Information Retrieval (batch-PIR) scheme allows a client to retrieve multiple data items from a database without revealing them to the storage server(s). Most exist…