Large State Space Visualization
No abstract available.
Related papers
- Reclaiming the Unexplored in Hybrid Visual Programming Onward! 2024
- Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs CAV 2018
- Exploring Very Large State Spaces Using Genetic Algorithms TACAS 2002
- Virtual Images: Interactive Visualization of Distributed Object-Oriented Systems OOPSLA 1994
- An empirical investigation of the effects of type systems and code completion on API usability using TypeScript and JavaScript in MS visual studio DLS 2015
- Visualizing the Behavior of Object-Oriented Systems OOPSLA 1993
- Large program trace analysis and compression with ZDDs CGO 2010
- The Hidden Program State Hurts Everyone Onward! 2024