( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Test Generation Using Symbolic Animation of Models.

, , , , , , и . Model-Based Testing for Embedded Systems, CRC Press, (2011)

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.

Pierre-Alain Avouac

Pierre-Alain Dupont

Pierre-Alain Weiß

Pierre-Alain Loizeau

Pierre-Alain Mariaux

 

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

Modular Verification of Dynamic Properties for Reactive Systems., , и . IFM, стр. 89-108. Springer, (1999)Automatic generation of model based tests for a class of security properties., , , , и . A-MOST, стр. 12-22. ACM, (2007)Generating Tests from B Specifications and Test Purposes., , и . ABZ, том 5238 из Lecture Notes in Computer Science, стр. 139-152. Springer, (2008)Association of Under-Approximation Techniques for Generating Tests from Models., , и . TAP, том 6706 из Lecture Notes in Computer Science, стр. 51-68. Springer, (2011)Modular Verification for a Class of PLTL Properties., , и . IFM, том 1945 из Lecture Notes in Computer Science, стр. 398-419. Springer, (2000)Generating Security Tests in Addition to Functional Tests., , и . AST, стр. 41-44. ACM, (2008)Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests., , , и . ICST Workshops, стр. 54-61. IEEE Computer Society, (2010)Vérification par Model-Checking Modulaire de Propriétés Dynamiques PLTL exprimées dans le cadre de Spécifications B événementielles. (Verification by Modular Model-Checking of PLTL Dynamic Properties Expressed in the Context of B Event Systems).. University of Franche-Comté, Besançon, France, (2001)PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions, , , и . CoRR, (2006)Test Generation Using Symbolic Animation of Models., , , , , , и . Model-Based Testing for Embedded Systems, CRC Press, (2011)