Cited By
View all- Abdulla PAtig MBønneland FDas SJonsson BLång MSagonas K(2023)Tailoring Stateless Model Checking for Event-Driven Multi-threaded ProgramsAutomated Technology for Verification and Analysis10.1007/978-3-031-45332-8_9(176-198)Online publication date: 19-Oct-2023
- Tian JPang Y(2022)A causal consistency model based on grouping strategyThe Journal of Supercomputing10.1007/s11227-022-04441-378:16(17736-17757)Online publication date: 23-May-2022
- Dong ZTiwari AYu XRoychoudhury ASpinellis DGousios GChechik MDi Penta M(2021)Flaky test detection in Android via event order explorationProceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3468264.3468584(367-378)Online publication date: 20-Aug-2021
- Show More Cited By