Mingsong Chen@UFL


Home

Study

Research

TA Work

Personal

CV

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Now I am a Ph.D. student at the Department of Computer and Information Science and Engineering (CISE) at University of Florida. My advisor is Prof. Prabhat Mishra.


Current Interests

  • Software/Hardware Verification and Testing
  • Model driven Software/Hardware development
  • Software Engineering
  • SAT based Bounded Model Checking

    • Publications

    Journal Papers

  • Mingsong Chen, Prabhat Mishra and Dhrubajyoti Kalita. Efficient Automatic Test Generation for Validation of UML Activity Diagram. Submitted.

  • Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li. UML Activity Diagram Based Automatic Test Case Generation for Java Programs. In The Computer Journal, Oxford Press, 2007.

    • Conference & Workshop Papers

  • Prabhat Mishra and Mingsong Chen. Efficient Techniques for Directed Test Generation using Incremental Satisfiability. International Conference on VLSI Design,VLSID). New Delhi, India, Jan. 5 - 9, 2009.(Acceptance ratio = 59/320)

  • Mingsong Chen and Prabhat Mishra. Coverage-driven Automatic Test Generation for UML Activity Diagrams. ACM Great Lakes Symposium on VLSI (GLSVLSI). Orlando, USA, May 4 - 6, 2008.

  • Mingsong Chen, Prabhat Mishra and Dhrubajyoti Kalita. Towards RTL Test Generation from SystemC TLM Specifications. IEEE International High Level Design Validation and Test Workshop (HLDVT). pages - , Irvine, California, November 7-9, 2007.

  • Mingsong Chen, Xiaokang Qiu, Xuandong Li. Automatic Test Case Generation for UML Activity Diagrams. First International Workshop on Automation on Software Test (AST). pages 2-8, Shanghai, May, 2006.

    • Thesis

  • "Dynamic Optimization Techniques for State Space in Timed Automata during Reachability Analysis". Thesis for the Degree of Master in Nanjing University, China. Advisor: Prof. Xuandong Li and Prof.Jianhua Zhao

  • "Checking the time consistence of Message Sequence Chart". Thesis for the Degree of Bachelor in Nanjing University, China. Advisor: Prof. Xuandong Li

    • Services

    Reviewer

  • International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2007, 2008.
  • International Conference on VLSI Design (VLSI Design), 2008, 2009.

    • Memberships

  • Institute of Electrical and Electronics Engineers (IEEE)