research
∙
09/20/2021
Neural Unit Test Suggestions
Testing is widely recognized as an important stage of the software devel...
share
research
∙
03/17/2020
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version)
Verifying real-world programs often requires inferring loop invariants w...
research
∙
03/17/2020
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks
In many cases, verifying real-world programs requires inferring loop inv...
research
∙
09/25/2019
CLN2INV: Learning Loop Invariants with Continuous Logic Networks
Program verification offers a framework for ensuring program correctness...
research
∙
09/08/2019
Fine Grained Dataflow Tracking with Proximal Gradients
Dataflow tracking with Dynamic Taint Analysis (DTA) is an important meth...
research
∙
11/07/2018