Autor der Publikation

Passive Testing with Asynchronous Communications.

, , und . FMOODS/FORTE, Volume 7892 von Lecture Notes in Computer Science, Seite 99-113. Springer, (2013)

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

Generating Minimum Height ADSs for Partially Specified Finite State Machines., und . ISCIS, Volume 363 von Lecture Notes in Electrical Engineering, Seite 171-179. Springer, (2015)A flexible environment to evaluate state-based test techniques.. ACM SIGSOFT Softw. Eng. Notes, 29 (5): 1-3 (2004)Testing Probabilistic Distributed Systems., und . FMOODS/FORTE, Volume 6117 von Lecture Notes in Computer Science, Seite 63-77. Springer, (2010)FSM quasi-equivalence testing via reduction and observing absences.. Sci. Comput. Program., (2019)Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics., und . LICS, Seite 1-13. IEEE, (2021)A Mechanised Proof of an Adaptive State Counting Algorithm., , , und . ICTSS, Volume 11812 von Lecture Notes in Computer Science, Seite 176-193. Springer, (2019)Local Observability and Controllability Enforcement in Distributed Testing., , und . QUATIC, Volume 1010 von Communications in Computer and Information Science, Seite 327-338. Springer, (2019)Programmer's mood and their performance., , und . ECCE, Seite 123-124. ACM, (2006)Reliable counterparts: efficiently testing causal relationships in digital twins., , , und . MoDELS (Companion), Seite 468-472. ACM, (2022)Are 20% of Classes Responsible for 80% of Refactorings?, , und . SEAA, Seite 287-290. IEEE, (2021)