Optimizing selection of competing features via feedback-directed evolutionary algorithms TH Tan, Y Xue, M Chen, J Sun, Y Liu, JS Dong Proceedings of the 2015 International Symposium on Software Testing and …, 2015 | 39 | 2015 |
Verification of functional and non-functional requirements of web service composition M Chen, TH Tan, J Sun, Y Liu, J Pang, X Li International Conference on Formal Engineering Methods, 313-328, 2013 | 36 | 2013 |
Automated runtime recovery for QoS-based service composition TH Tan, M Chen, É André, J Sun, Y Liu, JS Dong Proceedings of the 23rd international conference on World wide web, 563-574, 2014 | 34 | 2014 |
Dynamic synthesis of local time requirement for service composition TH Tan, É André, J Sun, Y Liu, JS Dong, M Chen 2013 35th International Conference on Software Engineering (ICSE), 542-551, 2013 | 27 | 2013 |
Optimizing selection of competing services with probabilistic hierarchical refinement TH Tan, M Chen, J Sun, Y Liu, É André, Y Xue, JS Dong 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016 | 20 | 2016 |
Jsfox: integrating static and dynamic type analysis of javascript programs TH Tan, Y Xue, M Chen, S Liu, Y Yu, J Sun 2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017 | 2 | 2017 |
Service adaptation with probabilistic partial models M Chen, TH Tan, J Sun, J Wang, Y Liu, J Sun, JS Dong International Conference on Formal Engineering Methods, 122-140, 2016 | 1 | 2016 |
Automated synthesis of local time requirement for service composition TH Tan, É André, M Chen, J Sun, Y Liu, JS Dong, L Yuan Submitted to TSE 1, 0 | 1 | |
Automated synthesis of local time requirement for service composition É André, TH Tan, M Chen, S Liu, J Sun, Y Liu, JS Dong Software and Systems Modeling, 1-31, 2020 | | 2020 |
Scaling BDD-based Timed Verification with Simulation Reduction TK Nguyen, TH Tan, J Sun, J Li, Y Liu, M Chen, JS Dong International Conference on Formal Engineering Methods, 363-382, 2016 | | 2016 |