( en | de | ru )

 

Disambiguierung von "Radavelli, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Repairing Timed Automata Clock Guards through Abstraction and Testing.

, , , und . TAP, Volume 11823 von Lecture Notes in Computer Science, Seite 129-146. 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.

Johannes Marcour

Hans-Ernst Marcolin

Monika Marcotty

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Weitere Publikationen von Autoren mit dem selben Namen

Repairing Timed Automata Clock Guards through Abstraction and Testing., , , und . TAP, Volume 11823 von Lecture Notes in Computer Science, Seite 129-146. Springer, (2019)A process for fault-driven repair of constraints among features., , und . SPLC (B), Seite 71:1-71:9. ACM, (2019)Achieving change requirements of feature models by an evolutionary approach., , und . SPLC (A), Seite 35:1. ACM, (2019)Using Testing to Repair Models.. ICST, Seite 489-491. IEEE, (2019)A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection., , , , und . IEA/AIE, Volume 11606 von Lecture Notes in Computer Science, Seite 207-215. Springer, (2019)Using software testing to repair models.. ESEC/SIGSOFT FSE, Seite 1253-1255. ACM, (2019)Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations., , und . ICST Workshops, Seite 200-209. IEEE, (2019)An evolutionary process for product-driven updates of feature models., , und . VaMoS, Seite 67-74. ACM, (2018)Migrating Combinatorial Interaction Test Modeling and Generation to the Web., und . ICST Workshops, Seite 308-317. IEEE Computer Society, (2018)Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines., , , , , und . ICTSS, Volume 11812 von Lecture Notes in Computer Science, Seite 67-85. Springer, (2019)