The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Junhua Ding: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002