Jean-Marie Gauthier. Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Luxembourg, Luxembourg, March 18-22, 2013. pages 503-504, IEEE, 2013. [doi]
Abstract is missing.