Cited By
View all- Mohd-Shafie MKadir WLichter HKhatibsyarbini MIsa M(2021)Model-based test case generation and prioritization: a systematic literature reviewSoftware and Systems Modeling10.1007/s10270-021-00924-821:2(717-753)Online publication date: 7-Sep-2021
- Shin KLim D(2017)Model-based automatic test case generation for automotive embedded software testingInternational Journal of Automotive Technology10.1007/s12239-018-0011-619:1(107-119)Online publication date: 3-Oct-2017
- Chang LMiao HLu G(2015)An Implementation Framework for Optimizing Test Case Generation Using Model CheckingStructured Object-Oriented Formal Language and Method10.1007/978-3-319-17404-4_1(3-16)Online publication date: 17-Apr-2015
- Show More Cited By