QuickCheck, Input Generation, Hypothesis Testing, Test Refinement
Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models
arxiv.org·2d
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
arxiv.org·2d
Loading...Loading more...