BibSonomy :: author  ::

bookmarks

publications

(42)

• Generating test cases from UML activity diagram based on Gray-box method
  Wang Linzhang and Yuan Jiesong and Yu Xiaofeng and Hu Jun and Li Xuandong and Zheng Guoliang Software Engineering Conference, 2004. 11th Asia-Pacific 284- 291 (2004)
  to UML activity category-partition diagrams formal gray-box specification testing tools by ist_spl and 1 other person on 2008-07-11 11:50:59
  | URL | BibTeX  
• Generating Test Cases from UML Activity Diagram based on Gray-Box Method
  Wang Linzhang and Yuan Jiesong and Yu Xiaofeng and Hu Jun and Li Xuandong and Zheng Guoliang APSEC '04: Proceedings of the 11th Asia-Pacific Software Engineering Conference 284--291 (2004)
  to UML activity diagram generation gray-box test testing by ist_spl and 1 other person on 2008-07-02 12:23:33
  | URL | BibTeX  
• UML Activity Diagram-Based Automatic Test Case Generation For Java Programs
  Mingsong Chen and Xiaokang Qiu and Wei Xu and Linzhang Wang and Jianhua Zhao and Xuandong Li The Computer Journal (2007)
  to Java UML activity automated case diagram generation software test testing by ist_spl on 2008-06-11 10:21:56
  | URL | BibTeX  
• Automatic test case generation for UML activity diagrams JAVA
  Chen Mingsong and Qiu Xiaokang and Li Xuandong AST '06: Proceedings of the 2006 international workshop on Automation of software test 2--8 (2006)
  to UML activity automated case diagrams generation test by ist_spl on 2008-06-03 16:59:26
  | URL | BibTeX  
• UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency.
  Bin Lei and Linzhang Wang and Xuandong Li ICST 200-209 (2008)
  to dblp by dblp on 2008-05-30 00:00:00
  | URL | BibTeX  
• A model-driven development framework for enterprise Web services.
  Xiaofeng Yu and Yan Zhang and Tian Zhang and Linzhang Wang and Jun Hu and Jianhua Zhao and Xuandong Li Information Systems Frontiers 9 391-409 (2007)
  to dblp by dblp on 2007-09-13 00:00:00
  | URL | BibTeX  
• A Model Driven Development Framework for Enterprise Web Services.
  Xiaofeng Yu and Jun Hu and Yan Zhang and Tian Zhang and Linzhang Wang and Jianhua Zhao and Xuandong Li EDOC 75-84 (2006)
  to dblp by dblp on 2007-08-22 00:00:00
  | URL | BibTeX  
• Timing Analysis of Message Sequence Charts
  Xuandong Li and Johan Lilius (1999)
  to analysis charts message real-time sequence systems timing by schaal on 2007-07-06 10:33:42
  | URL | BibTeX  
• Towards a Model Driven Approach to Automatic BPEL Generation.
  Xiaofeng Yu and Yan Zhang and Tian Zhang and Linzhang Wang and Jianhua Zhao and Guoliang Zheng and Xuandong Li ECMDA-FA 204-218 (2007)
  to dblp by dblp on 2007-06-29 00:00:00
  | URL | BibTeX  
• Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming.
  Xuandong Li and Sumit Jha Aanand and Lei Bu Electr. Notes Theor. Comput. Sci. 174 57-70 (2007)
  to dblp by dblp on 2007-06-01 00:00:00
  | URL | BibTeX