What Tracers Are Made Of
No abstract available.
DOI 10.1145/97945.286427
Related papers
- TRACER: A Symbolic Execution Tool for Verification CAV 2012
- TEST: A Tracer for Extracting Speculative Thread CGO 2003
- Semantics Directed Program Execution Monitoring JFP 1995
- Optimal stateless model checking under the release-acquire semantics OOPSLA 2018
- RaTrace: simple and efficient abstractions for BVH ray traversal algorithms GPCE 2017
- Time-Awareness in Object Exploration Tools: Toward In Situ Omniscient Debugging Onward! 2023
- Dynamic atomicity: optimizing swift memory management DLS 2017
- Dynamic detection of object capability violations through model checking DLS 2014