( en | de | ru )

 

Disambiguation of "Dadeau, Frédéric"

Author of the publication

copydeleteadd this publication to your clipboard
Test Generation Using Symbolic Animation of Models.

, , , , , , and . 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. You can also use the button next to the name to display some publications already assigned to the person.

Frédéric Dadeau

Frédéric Ruckert

Frédéric Robin

Frédéric Roux

Frédéric Leroux

 

Other publications of authors with the same name

Test Generation Using Symbolic Animation of Models., , , , , , and . Model-Based Testing for Embedded Systems, CRC Press, (2011)Temporal property patterns for model-based testing from UML/OCL., , and . Softw. Syst. Model., 18 (2): 865-888 (2019)Complementary test selection criteria for model-based testing of security components., , , , , and . Int. J. Softw. Tools Technol. Transf., 21 (4): 425-448 (2019)Automated Generation of Initial Configurations for Testing Component Systems., , and . FACS, volume 13077 of Lecture Notes in Computer Science, page 134-152. Springer, (2021)Testing adaptation policies for software components., , and . Softw. Qual. J., 28 (3): 1347-1378 (2020)A Case-based Approach for introducing Testing Tools and Principles., , and . ICST Workshops, page 429-436. IEEE, (2020)Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies., , and . Autom. Control. Comput. Sci., 56 (7): 606-622 (December 2022)Clustering of Usage Traces for Regression Test Cases Selection., , and . ICST Workshops, page 138-145. IEEE, (2022)Proving and Debugging Set-Based Specifications., , , , and . WMF, volume 95 of Electronic Notes in Theoretical Computer Science, page 189-208. Elsevier, (2003)Identifying and Generating Missing Tests using Machine Learning on Execution Traces., , , , and . AITest, page 83-90. IEEE, (2020)