From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models., , и . MBT@ETAPS, том 253 из Electronic Notes in Theoretical Computer Science, стр. 53-69. Elsevier, (2009)Coverage-based Testing Using Qualitative Reasoning Models., , и . SEKE, стр. 393-398. Knowledge Systems Institute Graduate School, (2008)Qualitative Action Systems., , и . ICFEM, том 5885 из Lecture Notes in Computer Science, стр. 206-225. Springer, (2009)Test Case Generation from QR Models., и . IEA/AIE, том 5027 из Lecture Notes in Computer Science, стр. 235-244. Springer, (2008)Model Dependent Test Coverage Variabilities., и . ICST, стр. 253-262. IEEE Computer Society, (2014)Model-Based Mutation Testing of Hybrid Systems., , , и . FMCO, том 6286 из Lecture Notes in Computer Science, стр. 228-249. Springer, (2009)QR-Model Based Testing., , и . AST, стр. 17-20. ACM, (2008)Killing strategies for model-based mutation testing., , , , , и . Softw. Test. Verification Reliab., 25 (8): 716-748 (2015)Automated Conformance Verification of Hybrid Systems., , и . QSIC, стр. 3-12. IEEE Computer Society, (2010)UML in action: a two-layered interpretation for testing., , , и . ACM SIGSOFT Softw. Eng. Notes, 36 (1): 1-8 (2011)