Combining Model Checking with Testing for Concurrent Programs

2024-12-29https://hdl.handle.net/20.500.14288/25161Combining Model Checking with Testing for Concurrent ProgramsCombining Model Checking with Testing fo