Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

How to Design Extended Finite State Machine Test Models in Java. Model-based testing for embedded systems, CRC Press, Boca Raton, (2011)MODAM: A modular agent-based modelling framework., , und . SE4SG@ICSE, Seite 33-40. IEEE Computer Society, (2013)Making Whiley Boogie!, , und . IFM, Volume 10510 von Lecture Notes in Computer Science, Seite 69-84. Springer, (2017)A taxonomy of model-based testing, , und . (2006)A Survey of Software Development Practices in the New Zealand Software Industry ., , , , und . Australian Software Engineering Conference, Seite 189-202. IEEE Computer Society, (2000)Tool Support for Refactoring Manual Tests., , , , und . ICST, Seite 332-342. IEEE, (2020)Automated Boundary Testing from Z and B., , und . FME, Volume 2391 von Lecture Notes in Computer Science, Seite 21-40. Springer, (2002)Parallel ABM for Electricity Distribution Grids: A Case Study., , und . Euro-Par Workshops, Volume 8374 von Lecture Notes in Computer Science, Seite 565-574. Springer, (2013)Requirements traceability in automated test generation: application to smart card software validation., , , , und . ACM SIGSOFT Softw. Eng. Notes, 30 (4): 1-7 (2005)Differential Testing of a Verification Framework for Compiler Optimizations (Case Study)., , und . FormaliSE, Seite 66-75. IEEE, (2023)