Checking Consistency of Event-Driven Traces
No abstract available.
Related papers
- Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate VMCAI 2022
- A Self-Repairing Prefetcher in an Event-Driven Dynamic Optimization Framework CGO 2006
- Lifestate: Event-Driven Protocols and Callback Control Flow ECOOP 2019
- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing VMCAI 2010
- Event-driven network programming PLDI 2016
- Symboloc Model Checking for Event-Driven Real-Time Systems TOPLAS 1997
- Stateless model checking of event-driven applications OOPSLA 2015
- A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications ECOOP 2020