共 50 条
- [21] Automated program repair using genetic programming and model checking [J]. APPLIED INTELLIGENCE, 2016, 45 (04) : 1066 - 1088
- [25] MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 359 - 364
- [26] Towards a Probabilistic Model Checking-based Approach for Medical Device Risk Assessment [J]. 2015 IEEE INTERNATIONAL SYMPOSIUM ON MEDICAL MEASUREMENTS AND APPLICATIONS (MEMEA) PROCEEDINGS, 2015, : 180 - 185
- [27] A model checking-based approach for location query processing in pervasive computing environments [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 2, PROCEEDINGS, 2007, 4806 : 866 - 875