Search Results for author:
Found 8 papers, 6 papers with code
Automatically Testing Functional Properties of Code Translation Models
To this purpose, we develop the first property-guided search procedure for code translation models, where a model is repeatedly queried with slightly different parameters to produce alternative and potentially more correct translations.
Specifying and Testing $k$-Safety Properties for Machine-Learning Models
Here, we show the wide applicability of $k$-safety properties for machine-learning models and present the first specification language for expressing them.
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing
Formal methods use SMT solvers extensively for deciding formula satisfiability, for instance, in software verification, systematic test generation, and program synthesis.
Software Engineering
RAID: Randomized Adversarial-Input Detection for Neural Networks
In recent years, neural networks have become the default choice for image classification and many other learning tasks, even though they are vulnerable to so-called adversarial attacks.
Perfectly Parallel Fairness Certification of Neural Networks
Recently, there is growing concern that machine-learning models, which currently assist or even automate decision making, reproduce, and in the worst case reinforce, bias of the training data.
Targeted Greybox Fuzzing with Static Lookahead Analysis
In this paper, we introduce a novel technique for targeted greybox fuzzing using an online static analysis that guides the fuzzer toward a set of target locations, for instance, located in recently modified parts of the program.
Software Engineering Cryptography and Security
Harvey: A Greybox Fuzzer for Smart Contracts
First, Harvey extends standard greybox fuzzing with a method for predicting new inputs that are more likely to cover new paths or reveal vulnerabilities in smart contracts.
Software Engineering Cryptography and Security
Learning Inputs in Greybox Fuzzing
Greybox fuzzing is a lightweight testing approach that effectively detects bugs and security vulnerabilities.
Cryptography and Security Software Engineering
