( en | de | ru )

 

Disambiguierung von "Labiche, Yvan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts.

, und . QSIC, Seite 174-183. IEEE, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yvan Sourgens

Yvan Bronner

Yvan Fischer

Yvan Rivierre

Yvan Royon

 

Weitere Publikationen von Autoren mit dem selben Namen

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language., , und . ICSE, Seite 786-795. ACM, (2011)A Multi-objective Genetic Algorithm to Rank State-Based Test Cases., , und . SSBSE, Volume 8084 von Lecture Notes in Computer Science, Seite 66-80. Springer, (2013)Model-Driven, Network-Context Sensitive Intrusion Detection., , , und . MoDELS, Volume 4735 von Lecture Notes in Computer Science, Seite 61-75. Springer, (2007)A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems., , und . MoDELS, Volume 5795 von Lecture Notes in Computer Science, Seite 47-61. Springer, (2009)Context-Based Intrusion Detection Using Snort, Nessus and Bugtraq Databases., , und . PST, (2005)Automated traceability analysis for UML model refinements, , und . Information and Software Technology, (2008)A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts., und . QSIC, Seite 174-183. IEEE, (2014)Diagram Definition: A Case Study with the UML Class Diagram., und . MoDELS, Volume 6981 von Lecture Notes in Computer Science, Seite 364-378. Springer, (2011)Comparing transition trees test suites effectiveness for different mutation operators., und . A-TEST@ESEC/SIGSOFT FSE, Seite 10-16. ACM, (2020)Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing., , und . ECMFA, Volume 7349 von Lecture Notes in Computer Science, Seite 74-89. Springer, (2012)