( en | de | ru )

 

Disambiguierung von "Weigert, Thomas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Challenges for Automated, Model-Based Test Scenario Generation.

, , und . ICIST, Volume 1078 von Communications in Computer and Information Science, Seite 182-194. Springer, (2019)

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.

Thomas Weigert

Thomas Weigert

Norbert Weigert

Gerald Weigert

Philipp Weigert

 

Weitere Publikationen von Autoren mit dem selben Namen

Introduction to UML and the Modeling of Embedded Systems., , und . Embedded Systems Handbook, CRC Press, (2005)Verifiable Coverage Criteria for Automated Testing., , und . SDL Forum, Volume 7083 von Lecture Notes in Computer Science, Seite 79-89. Springer, (2011)Insertion Modeling and Symbolic Verification of Large Systems., , , und . SDL Forum, Volume 9369 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2015)Generating Test Suites to Validate Legacy Systems., , , , , , , , und . SAM, Volume 11753 von Lecture Notes in Computer Science, Seite 3-23. Springer, (2019)Performance Improvement for Collection Operations Using Join Query Optimization., , und . COMPSAC, Seite 668-673. IEEE Computer Society, (2011)Modular reasoning about region composition., , und . FOAL, Seite 15-20. ACM, (2012)Semantics of Message Sequence Charts., , , , , und . SDL Forum, Volume 3530 von Lecture Notes in Computer Science, Seite 117-132. Springer, (2005)Exploring Query Optimization in Programming Codes by Reducing Run-Time Execution., , , und . COMPSAC, Seite 407-412. IEEE Computer Society, (2010)Architecture composition for concurrent systems., , und . NEMARA@AOSD, Seite 17-22. ACM, (2012)Efficient Increasing of the Mutation Score During Model-Based Test Suite Generation., , und . UkrPROG, Volume 2866 von CEUR Workshop Proceedings, Seite 331-341. CEUR-WS.org, (2020)