( en | de | ru )

 

Disambiguation of "Traon, Yves Le"

Author of the publication

copydeleteadd this publication to your clipboard
Towards an automatic diagnosis for high-level design validation.

, , and . ITC, page 1010-1018. IEEE Computer Society, (1998)

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.

Pierre-Yves Le Meur

Pierre-Yves Le Roy

Yann Traonmilin

Le Le Win

Yves Robert

 

Other publications of authors with the same name

System Test Synthesis from UML Models of Distributed Software, , , , , and . FORTE, page 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet. Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..Requirements by Contracts allow Automated System Testing, , , and . ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering, page 85. Washington, DC, USA, IEEE Computer Society, (2003)System Testing of Product Lines: From Requirements to Test Cases., , and . Software Product Lines, Springer, (2006)What You See is What it Means! Semantic Representation Learning of Code based on Visualization and Transfer Learning., , , , and . CoRR, (2020)DRE: density-based data selection with entropy for adversarial-robust deep learning models., , , , and . Neural Comput. Appl., 35 (5): 4009-4026 (February 2023)Learning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach., , , , , and . CoRR, (2020)Test Selection for Deep Learning Systems., , , , and . ACM Trans. Softw. Eng. Methodol., 30 (2): 13:1-13:22 (2021)Bottom-Up Technologies for Reuse: A Framework to Support Extractive Software Product Line Adoption Activities., , , , and . Handbook of Re-Engineering Software Intensive Systems into Software Product Lines, Springer International Publishing, (2023)Popularity-Driven Ontology Ranking Using Qualitative Features., , and . ISWC (1), volume 11778 of Lecture Notes in Computer Science, page 329-346. Springer, (2019)Validity fuzzing and parametric generators for effective random testing., , , , and . ICSE (Companion Volume), page 266-267. IEEE / ACM, (2019)