Design-to-test approach for black-box testing of programmable controllers. - Canlong Ma; Julien Provost (CASE, 2015)

DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers. - Canlong Ma; Julien Provost (CASE, 2016)

A model-based testing framework with reduced set of test cases for programmable controllers. - Canlong Ma; Julien Provost (CASE, 2017)

An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From Theory to practice in one week. - Claudius Jordan; Canlong Ma; Julien Provost (EDUCON, 2017)

Design-to-Test Approach for Programmable Controllers in Safety-Critical Automation Systems. - Canlong Ma; Julien Provost (IEEE Trans. Ind. Informatics, 2020)