( en | de | ru )

 

Disambiguierung von "Seijas, Pablo Lamela"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model extraction and test generation from JUnit test suites.

, , und . AST@ICSE, Seite 8-14. ACM, (2016)

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.

Pablo Lorenzano

Pablo Robert

Pablo Zamora

Pablo Hess

Pablo Meissner

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Static Analysis of Marlowe Contracts., , und . ISoLA (3), Volume 12478 von Lecture Notes in Computer Science, Seite 161-177. Springer, (2020)Model construction, evolution, and use in testing of software systems.. University of Kent, Canterbury, UK, (2017)British Library, EThOS.Standardized Crypto-Loans on the Cardano Blockchain., , , und . Financial Cryptography Workshops, Volume 12676 von Lecture Notes in Computer Science, Seite 579-594. Springer, (2021)Marlowe: Implementing and Analysing Financial Contracts on Blockchain., , , und . Financial Cryptography Workshops, Volume 12063 von Lecture Notes in Computer Science, Seite 496-511. Springer, (2020)Identifying and introducing interfaces and callbacks using Wrangler., und . IFL, Seite 11:1-11:13. ACM, (2016)Marlowe: Financial Contracts on Blockchain., und . ISoLA (4), Volume 11247 von Lecture Notes in Computer Science, Seite 356-375. Springer, (2018)Model extraction and test generation from JUnit test suites., , und . AST@ICSE, Seite 8-14. ACM, (2016)Extracting QuickCheck specifications from EUnit test cases., , und . Erlang Workshop, Seite 62-71. ACM, (2011)Model extraction and test generation from JUnit test suites., , und . Softw. Qual. J., 26 (4): 1519-1552 (2018)