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
- 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
- Fan LSu TChen SMeng GLiu YXu LPu GHuchard MKästner CFraser G(2018)Efficiently manifesting asynchronous programming errors in Android appsProceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering10.1145/3238147.3238170(486-497)Online publication date: 3-Sep-2018
- Show More Cited By