A Pragmatic Approach to Stateful Partial Order Reduction
Book chapter (January 2023)
The most recent citing publications are shown below. View all 96 publications that cite this research output on Dimensions.
Book chapter (January 2023)
Article in International Journal on Software Tools for Technology Transfer (April 2022)
Book chapter (August 2021)