arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Michael Ernst"" — arXiv2 Search
Showing 21–26 of 26 results
/ Date
/ Name
Jul 10, 2024
Call Graph Soundness in Android Static Analysis
Oct 3, 2025
Repairing Leaks in Resource Wrappers
Jun 13, 2018
A Graphical Interactive Debugger for Distributed Systems
Jun 22, 2009
Fermionic boundary conditions and the finite temperature transition of QCD
Feb 27, 2023
Propagation Constant Measurement Based on a Single Transmission Line Standard Using a Two-port VNA
Apr 5, 2025
Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
← Previous