Mingsong Chen

Available identifiers

zbMath Open chen.mingsongMaRDI QIDQ2910411

List of research outcomes

Publication	Date of Publication	Type
Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing	2022-03-23	Paper
Learning-Based Modeling and Optimization for Real-Time System Availability	2022-03-23	Paper
Property Learning Techniques for Efficient Generation of Directed Tests	2017-07-27	Paper
Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques	2017-05-16	Paper
System-level validation. High-level modeling and directed test generation techniques.	2012-09-11	Paper

Research outcomes over time

This page was built for person: Mingsong Chen