Mingsong Chen@UFL


Home

Research

Personal

CV

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Currently i am an associate professor working with Software Engineering Institute, East China Normal University.


Current Interests

  • SAT based Bounded Model Checking
  • SoC TLM Verification and Testing
  • Software Engineering
  • Embedded System Specification Validation

    • Publications

    Journal Papers

  • Mingsong Chen, Prabhat Mishra and Dhrubajyoti Kalita. Automaitc RTL Test Generation from SystemC TLM Specifications. Accepted to appear in ACM Transaction in Embedded Computing Systems , 2011.

  • Mingsong Chen and Prabhat Mishra. Property Learning Techniques for Efficient Generation of Directed Tests. Accepted to appear in IEEE Transactions on Computers , 2011.

  • Mingsong Chen, Prabhat Mishra and Dhrubajyoti Kalita. Efficient Automatic Test Generation for Validation of UML Activity Diagram. International journal of Design Automation for Embedded Systems, 29(3):105-130, Springer, 2010.

  • Mingsong Chen and Prabhat Mishra. Functional Test Generation using Efficient Property Clustering and Learning Techniques. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 29(3):396-404, 2010.

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

  • Mingsong Chen and Prabhat Mishra. About Equivalence Checking. Submitted . 2011.

  • Mingsong Chen and Prabhat Mishra. Decision Ordering Based Property Decomposition for Functional Test Generation. Design, Automation and Test in Europe, DATE. Pages-, Grenoble, France, 14-18 March, 2011.

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

    • Workshop Papers

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

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

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

    • TPC Member

  • International Conference on Contemporary Computing ( IC3), 2010.
  • ACM Symposium on Applied Computing (SAC), 2011.

    • Memberships

  • Institute of Electrical and Electronics Engineers (IEEE)