Junhua Ding

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2026
OCR-Memory: Optical Context Retrieval for Long-Horizon Agent Memory.
CoRR, April, 2026

2017
AST 2017 Workshop Summary.
Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

2015
Efficient Computing Composite Service Skyline with QoS Correlations.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
Development of A Sliding Window Protocol for Data Synchronization in a Flow Cytometer.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

An Approach for Modeling and Analyzing Mobile Push Notification Services.
Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013
An Approach for Analyzing Software Specifications in Petri Nets.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Quantifying Consistency between Conceptual and Executable Business Processes.
Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012
Model-Based Metamorphic Testing: A Case Study.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

An Approach for Modeling and Analyzing Code Mobility.
Proceedings of the 2012 IEEE Asia-Pacific Services Computing Conference, 2012

2010
Self-Checked Metamorphic Testing of an Image Processing Program.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Prioritizing State-Based Aspect Tests.
Proceedings of the Third International Conference on Software Testing, 2010

2009
Modular Analysis of Software Architecture Model.
Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

2008
Mapping Software Architecture Specification to Rewriting Logic (Short Paper).
Proceedings of the Eighth International Conference on Quality Software, 2008

2005
A Tool to Map Testing Techniques to Classes.
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

2004
Modeling and analyzing security protocols in SAM: A case study.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004


  Loading...