Reinforcement learning based curiosity-driven testing of android applications M Pan, A Huang, G Wang, T Zhang, X Li Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 129 | 2020 |
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior L Bu, Q Wang, X Chen, L Wang, T Zhang, J Zhao, X Li ACM SIGBED Review 8 (2), 7-10, 2011 | 73 | 2011 |
A model-driven development framework for enterprise Web services X Yu, Y Zhang, T Zhang, L Wang, J Hu, JH Zhao, X Li Information Systems Frontiers 9, 391-409, 2007 | 50 | 2007 |
Constraint-Based Modeling of Carbon Fixation and the Energetics of Electron Transfer in Geobacter metallireducens AM Feist, H Nagarajan, AE Rotaru, PL Tremblay, T Zhang, KP Nevin, ... PLoS computational biology 10 (4), e1003575, 2014 | 46 | 2014 |
Gui-guided test script repair for mobile apps M Pan, T Xu, Y Pei, Z Li, T Zhang, X Li IEEE Transactions on Software Engineering 48 (3), 910-929, 2020 | 39 | 2020 |
Improved companding transform for PAPR reduction in ACO-OFDM-based VLC systems T Zhang, Y Zou, J Sun, S Qiao IEEE Communications Letters 22 (6), 1180-1183, 2018 | 39 | 2018 |
Enhancing the bit error rate of indoor visible light communication systems using adaptive channel estimation algorithm T Zhang, S Guo, H Chen, F Zhong, C Ma Iet Communications 9 (4), 501-507, 2015 | 37 | 2015 |
Towards a model driven approach to automatic bpel generation X Yu, Y Zhang, T Zhang, L Wang, J Zhao, G Zheng, X Li Model Driven Architecture-Foundations and Applications: Third European …, 2007 | 30 | 2007 |
Testing dnn-based autonomous driving systems under critical environmental conditions Z Li, M Pan, T Zhang, X Li International Conference on Machine Learning, 6471-6482, 2021 | 29 | 2021 |
Lazy-RTGC: A real-time lazy garbage collection mechanism with jointly optimizing average and worst performance for NAND flash memory storage systems Q Zhang, X Li, L Wang, T Zhang, Y Wang, Z Shao ACM Transactions on Design Automation of Electronic Systems (TODAES) 20 (3 …, 2015 | 26 | 2015 |
Preference-wise testing for Android applications Y Lu, M Pan, J Zhai, T Zhang, X Li Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 22 | 2019 |
Lazy real time garbage collection method Q Zhang, LI Xuandong, W Linzhang, T Zhang, Y Wang, S Zili US Patent 9,971,681, 2018 | 20 | 2018 |
Optimizing deterministic garbage collection in NAND flash storage systems Q Zhang, X Li, L Wang, T Zhang, Y Wang, Z Shao 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 14-23, 2015 | 20 | 2015 |
Modeling and evaluation of wireless sensor network protocols by stochastic timed automata F Zhang, L Bu, L Wang, J Zhao, X Chen, T Zhang, X Li Electronic Notes in Theoretical Computer Science 296, 261-277, 2013 | 20 | 2013 |
Restore: Retrospective Fault Localization Enhancing Automated Program Repair T Xu, L Chen, Y Pei, T Zhang, M Pan, CA Furia IEEE Transactions on Software Engineering 48 (1), 309-326, 2020 | 19 | 2020 |
Guider: Gui structure and vision co-guided test script repair for android apps T Xu, M Pan, Y Pei, G Li, X Zeng, T Zhang, Y Deng, X Li Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 17 | 2021 |
Software development methods: Review and outlook XX Ma, XZ Liu, B Xie, P Yu, T Zhang, L Bu, XD Li Journal of Software 30 (1), 3-21, 2019 | 17 | 2019 |
MDE-based mode transformation: from MARTE model to FIACRE model 张天 Journal of Software 20 (2), 214-233, 2009 | 16 | 2009 |
CO2 Injection Deformation Monitoring Based on UAV and InSAR Technology: A Case Study of Shizhuang Town, Shanxi Province, China T Zhang, W Zhang, R Yang, D Cao, L Chen, D Li, L Meng Remote Sensing 14 (1), 237, 2022 | 15 | 2022 |
Method and system for optimizing deterministic garbage collection in NAND flash storage systems Q Zhang, LI Xuandong, W Linzhang, T Zhang US Patent 10,185,657, 2019 | 15 | 2019 |