Accelerating the world's research. RWset: Attacking path explosion in constraint-based test generation Cristian Cadar Tools and Algorithms for the Construction and Analysis of Systems Cite this paper Get the citation in MLA, APA, or Chicago styles Downloaded from Academia.edu  Related papers Abstraction of probabilistic systems Joost-Pieter Katoen A scalable memory model for low-level code Zvonimir Rakamaric Providing evidence of likely being on time: Counterexample generation for CTMC model checking Joost-Pieter Katoen Download a PDF Pack of the best related papers 