( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Regression Test Generation by Usage Coverage Driven Clustering on User Traces.

, , , и . ICSTW, стр. 82-89. IEEE, (2023)

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.

Antoine Bouquet

Fritz Bouquet

Stefanie Bouquet

Fabrice Lacombe

Fabrice Nahon

 

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

Requirements traceability in automated test generation: application to smart card software validation., , , , и . ACM SIGSOFT Softw. Eng. Notes, 30 (4): 1-7 (2005)Mastering Test Generation from Smart Card Software Formal Models., , , и . CASSIS, том 3362 из Lecture Notes in Computer Science, стр. 70-85. Springer, (2004)Promote Competency-Based Training Approach in Quality, Regulatory and Clinical Affairs to Improve MD/IVDD Safety and Performance., , , , , , , , , и 3 other автор(ы). BIOSTEC (1), стр. 842-851. SCITEPRESS, (2024)Ramos: Concurrent writing and reconfiguration for collaborative systems., , , , и . J. Parallel Distributed Comput., 72 (5): 637-649 (2012)An Approach for Testing False Data Injection Attack on Data Dependent Industrial Devices., и . J. Univers. Comput. Sci., 27 (7): 774-792 (2021)Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS., , , и . MODELSWARD, стр. 123-128. SciTePress, (2013)A subset of precise UML for model-based testing., , , , , и . A-MOST, стр. 95-104. ACM, (2007)Test Generation Using Symbolic Animation of Models., , , , , , и . Model-Based Testing for Embedded Systems, CRC Press, (2011)Faster Analysis of Formal Specifications., , , и . ICFEM, том 3308 из Lecture Notes in Computer Science, стр. 239-258. Springer, (2004)Solving Over-Constrained CSPs Using Weighted OBDDs., и . Over-Constrained Systems, том 1106 из Lecture Notes in Computer Science, стр. 293-308. Springer, (1995)