Autor der Publikation

Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing.

, , und . ISoLA (1), Volume 7609 von Lecture Notes in Computer Science, Seite 444-457. Springer, (2012)

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

Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools., , und . PSTV, Seite 3-17. North-Holland, (1984)Testing Mobile Agents., , und . TestCom, Volume 210 von IFIP Conference Proceedings, Seite 95-110. Kluwer, (2002)Inferring Approximated Models for Systems Engineering., , , , und . HASE, Seite 249-253. IEEE Computer Society, (2014)Improving Model Inference of Black Box Components having Large Input Test Set., , und . ICGI, Volume 21 von JMLR Proceedings, Seite 133-138. JMLR.org, (2012)Integration Testing of Distributed Components Based on Learning Parameterized I/O Models., , und . FORTE, Volume 4229 von Lecture Notes in Computer Science, Seite 436-450. Springer, (2006)Adaptive Localizer Based on Splitting Trees., , und . ICTSS, Volume 10533 von Lecture Notes in Computer Science, Seite 326-332. Springer, (2017)Relating Conformance Test Coverage to Formal Specifications., , und . FORTE, Volume 69 von IFIP Conference Proceedings, Seite 195-210. Chapman & Hall, (1996)Analysis and testing of black-box component-based systems by inferring partial models., und . Softw. Test., Verif. Reliab., 24 (4): 253-288 (2014)Test Generation for CEFSM Combining Specification and Fault Coverage., , , und . TestCom, Volume 210 von IFIP Conference Proceedings, Seite 355-372. Kluwer, (2002)XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing., , , und . ICST, Seite 815-817. IEEE Computer Society, (2012)