Search the dblp DataBase

Publications of Author

1. Peter J. Clarke, Junhua Ding, Brian A. Malloy
   A Tool to Map Testing Techniques to Classes. [Citation Graph (0, 0)][DBLP]
   ITCC (2), 2005, pp:821-822 [Conf]
   
2. Xudong He, Junhua Ding, Yi Deng
   Model checking software architecture specifications in SAM. [Citation Graph (0, 0)][DBLP]
   SEKE, 2002, pp:271-278 [Conf]
   
3. Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He
   Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. [Citation Graph (0, 0)][DBLP]
   SEKE, 2005, pp:560-565 [Conf]
   
4. Hwan Dong, Junhua Ding, Xin Li, Jian Lu
   On Open Communication Frameworks for Software Agents. [Citation Graph (0, 0)][DBLP]
   TOOLS (27), 1998, pp:188-195 [Conf]
   
5. Peter J. Clarke, Junhua Ding, Djuradj Babich, Brian A. Malloy
   A Tool to Automatically Map Implementation-based Testing Techniques to Classes. [Citation Graph (0, 0)][DBLP]
   International Journal of Software Engineering and Knowledge Engineering, 2006, v:16, n:4, pp:585-614 [Journal]
   
6. Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng
   Formally analyzing software architectural specifications using SAM . [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 2004, v:71, n:1-2, pp:11-29 [Journal]
   
7. Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding
   A Formal Architectural Model for Logical Agent Mobility. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:1, pp:31-45 [Journal]
   
8. Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao
   Modeling and analyzing security protocols in SAM: A case study. [Citation Graph (0, 0)][DBLP]
   IASTED Conf. on Software Engineering and Applications, 2004, pp:115-121 [Conf]
   
9. 
   Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. [Citation Graph (, )][DBLP]
   
   
10. 
    Mapping Software Architecture Specification to Rewriting Logic (Short Paper). [Citation Graph (, )][DBLP]
    
    
11. 
    An approach for specification construction using property-preserving refinement patterns. [Citation Graph (, )][DBLP]
    
    
12. 
    Modular Analysis of Software Architecture Model. [Citation Graph (, )][DBLP]
    
    
13. 
    Prioritizing State-Based Aspect Tests. [Citation Graph (, )][DBLP]
    
    
14. 
    Modeling and Model Checking of a Clinical Diagnostic Algorithm. [Citation Graph (, )][DBLP]
    
    
15. 
    Self-Checked Metamorphic Testing of an Image Processing Program. [Citation Graph (, )][DBLP]