Autor der Publikation

Testing Based on P Systems - An Overview.

, und . Int. Conf. on Membrane Computing, Volume 6501 von Lecture Notes in Computer Science, Seite 3-6. Springer, (2010)

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

Using State Diagrams to Generate Unit Tests for Object-Oriented Systems., und . XP, Volume 3556 von Lecture Notes in Computer Science, Seite 214-217. Springer, (2005)An Integrated Model Checking Toolset for Kernel P Systems., , , , , und . Int. Conf. on Membrane Computing, Volume 9504 von Lecture Notes in Computer Science, Seite 153-170. Springer, (2015)Eilenberg P Systems., , , und . WMC-CdeA, Volume 2597 von Lecture Notes in Computer Science, Seite 43-57. Springer, (2002)Refinement in Finite State Machine Testing., und . Fundam. Informaticae, 64 (1-4): 191-203 (2005)Testing Non-Deterministic X-Machines., und . Grammars and Automata for String Processing, Volume 9 von Topics in Computer Mathematics, Seite 151-162. Taylor and Francis, (2003)Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine., und . Formal Aspects Comput., 20 (6): 597-617 (2008)Functional Search-based Testing from State Machines., und . ICST, Seite 525-528. IEEE Computer Society, (2008)A Kernel P Systems Survey., und . Int. Conf. on Membrane Computing, Volume 8340 von Lecture Notes in Computer Science, Seite 1-9. Springer, (2013)Test Selection for Hierarchical and Communicating Finite State Machines. The Computer Journal, (Mai 2008)Complete Test Generation for Extreme Programming., und . XP, Volume 3092 von Lecture Notes in Computer Science, Seite 274-277. Springer, (2004)