conftrace_

dynamic analysis

5 papers

Explore in graph

Co-occurring keywords

static analysis (30) semantic checker (1) runtime checker (1) model learning (20) multi-robot system (62) api call (16) kinematic analysis (10) force control (13) hybrid automata (3) program optimization (10)

Papers

Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems OSDI 2025
SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs OSDI 2021
Dynamic Malware Analysis with Feature Engineering and Feature Learning AAAI 2020
CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis IJCAI 2017
Development of Methodology for Design and Analysis of Physically Cooperating Robot and Applications to Other Robotic Systems RSS 2006