( en | de | ru )

 

Disambiguierung von "Belt, Jason"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Property-Based Testing from AADL Component Contracts.

, , , , , und . FMICS, Volume 14290 von Lecture Notes in Computer Science, Seite 131-150. Springer, (2023)

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.

Ian Jason

Jason Miskuly

Jason Crook

Jason Tam

Jason Pazis

 

Weitere Publikationen von Autoren mit dem selben Namen

Model-Based Development for High-Assurance Embedded Systems., , und . ISoLA (1), Volume 11244 von Lecture Notes in Computer Science, Seite 539-545. Springer, (2018)Enhancing spark's contract checking facilities using symbolic execution., , , , , und . SIGAda, Seite 47-60. ACM, (2011)A Unified Approach for Modeling, Developing, and Assuring Critical Systems., , , , und . ISoLA (1), Volume 11244 von Lecture Notes in Computer Science, Seite 225-245. Springer, (2018)Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems., , , , und . NASA Formal Methods, Volume 7226 von Lecture Notes in Computer Science, Seite 295-309. Springer, (2012)UML Analysis Using State Diagrams., , und . Software Engineering Research and Practice, Seite 569-576. CSREA Press, (2006)HAMR: An AADL Multi-platform Code Generation Toolset., , , und . ISoLA, Volume 13036 von Lecture Notes in Computer Science, Seite 274-295. Springer, (2021)Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses., , und . ESEC/SIGSOFT FSE, Seite 355-364. ACM, (2009)Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK., , , und . SCAM, Seite 132-137. IEEE Computer Society, (2012)Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution., , , , , und . NASA Formal Methods, Volume 6617 von Lecture Notes in Computer Science, Seite 58-72. Springer, (2011)Integrated Contract-Based Unit and System Testing for Component-Based Systems., , , und . NFM, Volume 14627 von Lecture Notes in Computer Science, Seite 406-426. Springer, (2024)