| Automated model checking and testing for composite web services H Huang, WT Tsai, R Paul Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2005 | 185 | 2005 |
| A software reliability model for web services. WT Tsai, D Zhang, Y Chen, H Huang, RA Paul, N Liao IASTED Conf. on Software Engineering and Applications, 144-149, 2004 | 137 | 2004 |
| Adaptive testing, oracle generation, and test case ranking for web services WT Tsai, Y Chen, R Paul, H Huang, X Zhou, X Wei 29th Annual International Computer Software and Applications Conference …, 2005 | 102 | 2005 |
| Cooperative and group testing in verification of dynamic composite web services WT Tsai, Y Chen, R Paul, N Liao, H Huang Proceedings of the 28th Annual International Computer Software and …, 2004 | 89 | 2004 |
| Services-oriented dynamic reconfiguration framework for dependable distributed computing WT Tsai, W Song, R Paul, Z Cao, H Huang COMPSAC 1, 554-559, 2004 | 87 | 2004 |
| Developing and assuring trustworthy web services WT Tsai, X Wei, Y Chen, B Xiao, R Paul, H Huang Proceedings Autonomous Decentralized Systems, 2005. ISADS 2005., 43-50, 2005 | 82 | 2005 |
| Dynamic coverage in ad-hoc sensor networks H Huang, AW Richa, M Segal Mobile Networks and Applications 10 (1), 9-17, 2005 | 61 | 2005 |
| Testing web services using progressive group testing WT Tsai, Y Chen, Z Cao, X Bai, H Huang, R Paul Content Computing: Advanced Workshop on Content Computing, AWCC 2004 …, 2004 | 59 | 2004 |
| Approximation algorithms for the mobile piercing set problem with applications to clustering in ad-hoc networks H Huang, AW Richa, M Segal Proceedings of the 6th international workshop on Discrete algorithms and …, 2002 | 52 | 2002 |
| Model checking technologies for web services H Huang, RA Mason The Fourth IEEE Workshop on Software Technologies for Future Embedded and …, 2006 | 34 | 2006 |
| Voting multi-dimensional data with deviations for web services under group testing WT Tsai, Y Chen, D Zhang, H Huang 25th IEEE International Conference on Distributed Computing Systems …, 2005 | 26 | 2005 |
| Semantic interoperability and its verification and validation in C2 systems WT Tsai, R Paul, H Huang, B Xiao, Y Chen 10th International command and control research and technology symposium …, 2005 | 18 | 2005 |
| Proof slicing with application to model checking web services H Huang, WT Tsai, R Paul Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2005 | 14 | 2005 |
| Scheduling simulation in a distributed wireless embedded system Y Chen, H Huang, WT Tsai Simulation 81 (6), 425-436, 2005 | 13 | 2005 |
| A scenario-based service-oriented rapid multi-agent distributed modeling and simulation framework for SoS/SOA and its applications WT Tsai, C Fan, Z Cao, B Xiao, H Huang, X Liu, X Wei, R Paul, Y Chen, ... Foundations 4, 2004 | 7 | 2004 |
| E2E testing and evaluation of high assurance systems R Paul, WT Tsai, Y Chen, C Fan, Z Cao, H Huang Handbook of Engineering Statistics, edited by H. Pham, Springer-Verlag, London, 2006 | 5 | 2006 |
| Autonomous hot patching for web-based applications H Huang, WK Tsai, Y Chen 29th Annual International Computer Software and Applications Conference …, 2005 | 5 | 2005 |
| Relative Preference Optimization: Enhancing LLM Alignment through Contrasting Responses across Identical and Diverse Prompts Y Yin, Z Wang, Y Gu, H Huang, W Chen, M Zhou arXiv preprint arXiv:2402.10958, 2024 | 3 | 2024 |
| Dynamic Coverage and Related Problems in Ad-hoc Sensor Networks H Huang, A Richa, M Segal ACM Mobile Networks and Applications: Special Issue on Algorithmic Solutions …, 2003 | 3 | 2003 |
| Binary analysis and automated hot patching for Web-based applications H Huang, WT Tsai, Y Chen Information and Software Technology 48 (12), 1148-1158, 2006 | 1 | 2006 |
Yinong ChenComputer Science and Engineering, Arizona State UniversityVerified email at asu.edu
