Cited By
View all- 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
- Yin LDong WLiu WWang J(2020)On Scheduling Constraint Abstraction for Multi-Threaded Program VerificationIEEE Transactions on Software Engineering10.1109/TSE.2018.286412246:5(549-565)Online publication date: 1-May-2020
- Metzler PSuri NWeissenbacher G(2020)Extracting safe thread schedules from incomplete model checking resultsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-020-00575-y22:5(565-581)Online publication date: 1-Oct-2020
- Show More Cited By