Travelled to:1 × Canada
1 × China
1 × France
1 × Italy
1 × Republic of China
1 × Taiwan
10 × USA
Collaborated with:J.Ding J.J.Pauli N.Shen K.E.Nygard D.Woodraska M.Sanford W.Xu J.Tae O.e.Ariss Y.Zhang J.Ge W.E.Wong X.Fan G.Zheng Y.Wang W.M.Lively D.B.Simmons Z.Cui L.Wang X.Li R.A.Volz T.R.Ioerger J.Yen Y.Deng P.J.Clarke X.He
Talks about:model (8) test (8) secur (6) base (5) net (5) softwar (4) approach (3) threat (3) system (3) aspect (3)
Person: Dianxiang Xu
DBLP: Xu:Dianxiang
Contributed to:
2015201420132012
2011
20112011
20102010200920072006
2005
200520052002
1999Wrote 19 papers:
- SEKE-2015-XuSZ #algorithm #policy #testing
- Fault-Based Testing of Combining Algorithms in XACML3.0 Policies (DX, NS, YZ), pp. 433–438.
- SEKE-2014-XuS #automation #effectiveness #petri net #testing
- Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments (DX, NS), pp. 211–216.
- SEKE-2013-DingXG #approach #petri net #specification
- An Approach for Analyzing Software Specifications in Petri Nets (JD, DX, JG), pp. 411–416.
- SEKE-2012-DingX #case study #modelling #testing
- Model-Based Metamorphic Testing: A Case Study (JD, DX), pp. 363–368.
- SEKE-2012-XuT #automation #concurrent #generative
- Automated Generation of Concurrent Test Code from Function Nets (DX, JT), pp. 346–351.
- QoSA-ISARCS-2011-ArissX #modelling #security
- Modeling security attacks with statecharts (OeA, DX), pp. 123–132.
- SAC-2011-WoodraskaSX #mutation testing #security #testing
- Security mutation testing of the FileZilla FTP server (DW, MS, DX), pp. 1425–1430.
- SEKE-2011-SanfordWX #analysis #modelling #security #using
- Security Analysis of FileZilla Server Using Threat Models (MS, DW, DX), pp. 678–682.
- ICST-2010-XuD #testing
- Prioritizing State-Based Aspect Tests (DX, JD), pp. 265–274.
- SEKE-2010-WangXLS #debugging #optimisation #probability
- A Stochastic Model for Optimizing the Patching Time of Software Bugs (YW, DX, WML, DBS), pp. 88–92.
- SAC-2009-CuiWLX #aspect-oriented #diagrams #modelling #process #uml
- Modeling and integrating aspects with UML activity diagrams (ZC, LW, XL, DX), pp. 430–437.
- SEKE-2007-XuXW #automation #code generation #protocol #state machine #uml
- Automated Test Code Generation from UML Protocol State Machines (DX, WX, WEW), pp. 99–104.
- SEKE-2006-PauliX #case study #composition #consistency
- Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems (JJP, DX), pp. 392–397.
- ASE-2005-XuN #approach #modelling #verification
- A threat-driven approach to modeling and verifying secure software (DX, KEN), pp. 342–346.
- ICEIS-v3-2005-XuP #architecture #design #information management
- Threat-Driven Architectural Design of Secure Information Systems (DX, JJP), pp. 136–143.
- SEKE-2005-DingXDCH #design #mobile #modelling
- Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models (JD, DX, YD, PJC, XH), pp. 560–565.
- SEKE-2005-XuXN #approach #aspect-oriented #source code #testing
- A State-Based Approach to Testing Aspect-Oriented Programs (DX, WX, KEN), pp. 366–371.
- SEKE-2002-XuVIY #behaviour #modelling #multi #using #verification
- Modeling and verifying multi-agent behaviors using predicate/transition nets (DX, RAV, TRI, JY), pp. 193–200.
- TOOLS-ASIA-1999-FanXZ #behaviour #inheritance #reasoning
- Reasoning about Inheritance and Cloning Behaviors of Software Agents (XF, DX, GZ), pp. 77–82.