Xiaoxing Ma
Xiaoxing Ma
Professor of Computer Science and Technology, Nanjing University
Geverifieerd e-mailadres voor nju.edu.cn - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Research and progress on Internetware
J Lü, XX Ma, X Tao, F Xu, H Hu
Science in China (Series E) 36 (10), 1037-1080, 2006
112*2006
Version-consistent dynamic reconfiguration of component-based distributed systems
X Ma, L Baresi, C Ghezzi, VP La Manna, J Lu
ESEC/FSE '11 Proceedings of the 19th ACM SIGSOFT symposium and the 13th …, 2011
772011
Application mobility in pervasive computing: A survey
P Yu, X Ma, J Cao, J Lu
Pervasive and Mobile Computing 9 (1), 2-17, 2013
722013
On environment-driven software model for Internetware
J Lü, X Ma, XP Tao, C Cao, Y Huang, P Yu
Science in China Series F: Information Sciences 51 (6), 683-721, 2008
602008
Concurrent event detection for asynchronous consistency checking of pervasive context
Y Huang, X Ma, J Cao, X Tao, J Lu
2009 IEEE International Conference on Pervasive Computing and Communications …, 2009
522009
A study of agent-based internetware model
J Lü, XP Tao, XX Ma, H Hu, F Xu, C Cao
Science in China (Series E) 35 (12), 1233-1253, 2005
51*2005
Process discovery from dependence-complete event logs
W Song, HA Jacobsen, C Ye, X Ma
IEEE Transactions on Services Computing 9 (5), 714-727, 2015
442015
Adam: Identifying defects in context-aware adaptation
C Xu, SC Cheung, X Ma, C Cao, J Lu
Journal of Systems and Software 85 (12), 2812-2828, 2012
442012
Structural coverage criteria for neural networks could be misleading
Z Li, X Ma, C Xu, C Cao
2019 IEEE/ACM 41st International Conference on Software Engineering: New …, 2019
372019
Javelus: A low disruptive approach to dynamic software updates
T Gu, C Cao, C Xu, X Ma, L Zhang, J Lu
2012 19th Asia-Pacific Software Engineering Conference 1, 527-536, 2012
372012
Verifying self-adaptive applications suffering uncertainty
W Yang, C Xu, Y Liu, C Cao, X Ma, J Lu
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
362014
Environmental modeling for automated cloud application testing
L Zhang, X Ma, J Lu, T Xie, N Tillmann, P De Halleux
IEEE software 29 (2), 30-35, 2011
36*2011
Practical GUI testing of Android applications via model abstraction and refinement
T Gu, C Sun, X Ma, C Cao, C Xu, Y Yao, Q Zhang, J Lu, Z Su
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
312019
Timed modeling and verification of BPEL processes using time Petri nets
W Song, X Ma, C Ye, W Dou, J Lü
2009 Ninth International Conference on Quality Software, 92-97, 2009
312009
User guided automation for testing mobile apps
X Li, Y Jiang, Y Liu, C Xu, X Ma, J Lu
2014 21st Asia-Pacific Software Engineering Conference 1, 27-34, 2014
292014
CARE: Cache guided deterministic replay for concurrent Java programs
Y Jiang, T Gu, C Xu, X Ma, J Lu
Proceedings of the 36th International Conference on Software Engineering …, 2014
282014
Service-oriented dynamic coordination architecture and its supporting system.
X Ma, P Yu, X Tao, J Lu
Jisuanji Xuebao(Chin. J. Comput.) 28 (4), 467-477, 2005
282005
Aimdroid: Activity-insulated multi-level automated testing for android applications
T Gu, C Cao, T Liu, C Sun, J Deng, X Ma, J Lü
2017 IEEE International Conference on Software Maintenance and Evolution …, 2017
272017
Refactoring and publishing WS-BPEL processes to obtain more partners
W Song, X Ma, SC Cheung, H Hu, Q Yang, JJ Lü
2011 IEEE International Conference on Web Services, 129-136, 2011
262011
Runtime detection of the concurrency property in asynchronous pervasive computing environments
Y Huang, Y Yang, J Cao, X Ma, X Tao, J Lu
IEEE Transactions on Parallel and Distributed Systems 23 (4), 744-750, 2011
262011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20