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

  • SAT based Bounded Model Checking
  • SoC TLM Verification and Testing
  • Software Engineering
  • Realtime System

    • Publications

    Journal Papers

  • Mingsong Chen and Prabhat Mishra. Automaitc RTL Test Generation from SystemC TLM Specifications. Submitted to Design Automation for Embedded Systems.

  • Mingsong Chen, Prabhat Mishra and Dhrubajyoti Kalita. Efficient Automatic Test Generation for Validation of UML Activity Diagram. Submitted to ACM Transactions in Embedded Computing Systems.

  • Mingsong Chen and Prabhat Mishra. Functional Test Generation using Efficient Property Clustering and Learning Techniques. To appear in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

  • 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, Vol. 52, No 5, Oxford Press, 2009.

    • Conference & Workshop Papers

  • Mingsong Chen, Xiaoke Qin and Prabhat Mishra. Efficient Decision Ordering Techniques for SAT-based Test Generation. Design, Automation and Test in Europe, DATE. Pages-, Dresden, Germany, 8-12 March, 2010.

  • Xiaoke Qin, Mingsong Chen and Prabhat Mishra. Synchronized Generation of Directed Tests using Satisfiability Solving. International Conference on VLSI Design, VLSID. Pages-, Bangalore, India, January 3-7, 2010.

  • 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.(Nominated for best paper award)

  • 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.

  • Jeeyoung Kim, Yi Du, Mingsong Chen, Ahmed Helmy. Comparing Mobility and Predictability of VoIP and WLAN Traces. CRAWDAD Workshop 2007. Montr¨¦al, Canada, September, 2007.

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

    • Other published in Chinese Journals

  • Xiaokang Qiu, Mingsong Chen, Linzhang Wang, Xuandong Li, Guoliang Zheng. UML Behavior Diagram Driven Tool for Runtime Verification of Java Programs. In Computer Science(in Chinese). Vol 12, 2007.

  • Mingsong Chen, Jianhua Zhao, Xuandong Li, Guoliang Zheng. An Algorithm to Dynamically Reduce the State Space of Timed Automata during the Reachability Analysis. In Computer Science(in Chinese). Vol 1, 2007.

  • Mingsong Chen, Jianhua Zhao, Xuandong Li, Guoliang Zheng. A study of Optimization Techniques about reachability in Timed Automata. In Computer Science(in Chinese). Vol 6, 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, 2009.
  • International Conference on VLSI Design (VLSI Design), 2008, 2009, 2010.
  • ACM Great Lakes Symposium on VLSI (GLSVLSI), 2009.
  • IEEE Computer Society Annual Symposium on VLSI 2009(ILVLSI), 2009.
  • Design Automation Conference (DAC), 2009.
  • Asia and South Pacific Design Automation Conference (ASP-DAC), 2010.

    • Memberships

  • Institute of Electrical and Electronics Engineers (IEEE)