26 citations · 64 across the 11 of their papers we have counts for
3 papers · 1 filter
Hardware/Software Co-verification Using Path-based Symbolic Execution
Rajdeep Mukherjee, Saurabh Joshi, John O'Leary +2
Conventional tools for formal hardware/software co-verification use bounded model checking techniques to construct a single monolithic propositional formula. Formulas generated in…
Evaluating Robustness to Context-Sensitive Feature Perturbations of Different Granularities
Isaac Dunn, Laura Hanu, Hadrien Pouget +2
We cannot guarantee that training datasets are representative of the distribution of inputs that will be encountered during deployment. So we must have confidence that our models d…
Learning Concise Models from Long Execution Traces
Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening +1
Abstract models of system-level behaviour have applications in design exploration, analysis, testing and verification. We describe a new algorithm for automatically extracting usef…