 | 2012 |
|---|
| 11 |       | Xiaohong Chen,
Mingsong Chen:
Extending the Four-Variable Model for Cyber-Physical Systems.
ISORC Workshops 2012: 31-36 |
| 2011 |
|---|
| 10 | | Mingsong Chen,
Prabhat Mishra:
Decision ordering based property decomposition for functional test generation.
DATE 2011: 167-172 |
| 9 | | Mingsong Chen,
Prabhat Mishra:
Property Learning Techniques for Efficient Generation of Directed Tests.
IEEE Trans. Computers 60(6): 852-864 (2011) |
| 2010 |
|---|
| 8 | | Mingsong Chen,
Xiaoke Qin,
Prabhat Mishra:
Efficient decision ordering techniques for SAT-based test generation.
DATE 2010: 490-495 |
| 7 | | Xiaoke Qin,
Mingsong Chen,
Prabhat Mishra:
Synchronized Generation of Directed Tests Using Satisfiability Solving.
VLSI Design 2010: 351-356 |
| 6 | | Mingsong Chen,
Prabhat Mishra,
Dhrubajyoti Kalita:
Efficient test case generation for validation of UML activity diagrams.
Design Autom. for Emb. Sys. 14(2): 105-130 (2010) |
| 5 | | Mingsong Chen,
Prabhat Mishra:
Functional Test Generation Using Efficient Property Clustering and Learning Techniques.
IEEE Trans. on CAD of Integrated Circuits and Systems 29(3): 396-404 (2010) |
| 2009 |
|---|
| 4 | | Prabhat Mishra,
Mingsong Chen:
Efficient Techniques for Directed Test Generation Using Incremental Satisfiability.
VLSI Design 2009: 65-70 |
| 3 | | Mingsong Chen,
Xiaokang Qiu,
Wei Xu,
Linzhang Wang,
Jianhua Zhao,
Xuandong Li:
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs.
Comput. J. 52(5): 545-556 (2009) |
| 2008 |
|---|
| 2 | | Mingsong Chen,
Prabhat Mishra,
Dhrubajyoti Kalita:
Coverage-driven automatic test generation for uml activity diagrams.
ACM Great Lakes Symposium on VLSI 2008: 139-142 |
| 2006 |
|---|
| 1 | | Mingsong Chen,
Xiaokang Qiu,
Xuandong Li:
Automatic Test Case Generation for UML Activity Diagrams.
AST 2006: 2-8 |
Data released under the ODC-BY 1.0 license — See also our legal information page