Cited By
View all- Wang SShrestha NSubburaman AWang JWei MNagappan N(2021)Automatic Unit Test Generation for Machine Learning LibrariesProceedings of the 43rd International Conference on Software Engineering10.1109/ICSE43902.2021.00138(1548-1560)Online publication date: 22-May-2021
- Wang SNam JTan LBodden ESchäfer WDeursen AZisman A(2017)QTEP: quality-aware test case prioritizationProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3106258(523-534)Online publication date: 21-Aug-2017
- Milewicz RPirkelbauer P(2017)Refinement of structural heuristics for model checking of concurrent programs through data miningComputer Languages, Systems and Structures10.1016/j.cl.2016.06.00147:P2(170-188)Online publication date: 1-Jan-2017
- Show More Cited By