☰

Dianxiang Xu - Publications

Affiliations: 
North Dakota State University, Fargo, ND, United States 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

11 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2015 Xu D, Xu W, Tu M, Shen N, Chu W, Chang CH. Automated Integration Testing Using Logical Contracts Ieee Transactions On Reliability. DOI: 10.1109/Tr.2015.2494685  0.301
2015 Xu D, Xu W, Kent M, Thomas L, Wang L. An automated test generation technique for software quality assurance Ieee Transactions On Reliability. 64: 247-268. DOI: 10.1109/Tr.2014.2354172  0.316
2015 Xu D, Kent M, Thomas L, Mouelhi T, Le Traon Y. Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets Ieee Transactions On Computers. 64: 2490-2505. DOI: 10.1109/Tc.2014.2375189  0.328
2013 Marback A, Do H, He K, Kondamarri S, Xu D. A threat model-based approach to security testing Software - Practice and Experience. 43: 241-258. DOI: 10.1002/Spe.2111  0.315
2012 Xu D, Tu M, Sanford M, Thomas L, Woodraska D, Xu W. Automated Security Test Generation with Formal Threat Models Ieee Transactions On Dependable and Secure Computing. 9: 526-539. DOI: 10.1109/Tdsc.2012.24  0.316
2010 KONG J, XU D, ZENG X. UML-BASED MODELING AND ANALYSIS OF SECURITY THREATS International Journal of Software Engineering and Knowledge Engineering. 20: 875-897. DOI: 10.1142/S0218194010004980  0.31
2009 Xu D, El-Ariss O, Xu W, Wang L. Aspect-oriented modeling and verification with finite state machines Journal of Computer Science and Technology. 24: 949-961. DOI: 10.1007/S11390-009-9269-5  0.305
2008 Xu D, Xu W, Wong WE. Testing Aspect-Oriented Programs With Uml Design Models International Journal of Software Engineering and Knowledge Engineering. 18: 413-437. DOI: 10.1142/S0218194008003672  0.304
1998 Xu D. A logic based language for networked agents Information & Software Technology. 40: 435-442. DOI: 10.1016/S0950-5849(98)00061-5  0.321
1995 Xu D, Zheng G. Inheritance as sublation and its semantics Acm Sigsoft Software Engineering Notes. 20: 62-66. DOI: 10.1145/217030.217042  0.306
1995 Xu D, Zheng G. Logical object as a basis of knowledge based systems Journal of Computer Science and Technology. 10: 425-438. DOI: 10.1007/Bf02948338  0.312
Show low-probability matches.