research
∙
05/27/2023
Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks
Block-based visual programming environments play an increasingly importa...
share
research
∙
06/13/2022
Specifying and Testing k-Safety Properties for Machine-Learning Models
Machine-learning models are becoming increasingly prevalent in our lives...
research
∙
07/19/2021
Compositional Verification of Smart Contracts Through Communication Abstraction (Extended)
Solidity smart contracts are programs that manage up to 2^160 users on a...
research
∙
09/29/2020
Automatically Tailoring Static Analysis to Custom Usage Scenarios
In recent years, there has been significant progress in the development ...
research
∙
06/17/2020
Synthesizing Tasks for Block-based Programming
Block-based visual programming environments play a critical role in intr...
research
∙
04/13/2020
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing
Formal methods use SMT solvers extensively for deciding formula satisfia...
research
∙
02/07/2020
RAID: Randomized Adversarial-Input Detection for Neural Networks
In recent years, neural networks have become the default choice for imag...
research
∙
12/05/2019
Perfectly Parallel Fairness Certification of Neural Networks
Recently, there is growing concern that machine-learning models, which c...
research
∙
10/14/2019
DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks
Although deep neural networks have been successful in image classificati...
research
∙
05/17/2019
Targeted Greybox Fuzzing with Static Lookahead Analysis
Automatic test generation typically aims to generate inputs that explore...
research
∙
05/15/2019
Harvey: A Greybox Fuzzer for Smart Contracts
We present Harvey, an industrial greybox fuzzer for smart contracts, whi...
research
∙
12/12/2018
Differentially Testing Soundness and Precision of Program Analyzers
In the last decades, numerous program analyzers have been developed both...
research
∙
07/20/2018
Learning Inputs in Greybox Fuzzing
Greybox fuzzing is a lightweight testing approach that effectively detec...
research
∙
07/20/2018
Specification Mining for Smart Contracts with Automatic Abstraction Tuning
Smart contracts are programs that manage digital assets according to a c...
research
∙
06/14/2017