PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Rocha, Herbert"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
JFORTES: Java Formal Unit TESt Generation.

, , , und . SBESC, Seite 16-23. IEEE, (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.

Hon. -Prof. Dr. Herbert Kohler University of Stuttgart

Univ. -Prof. Dr. -Ing. Herbert Wehlan University of Stuttgart

Dr. Herbert Dilger University of Stuttgart

Prof. (Ruhestand) Herbert Traub University of Stuttgart

Herbert Moll-von Berg University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Model Checking C Programs with Loops via k-Induction and Invariants., , , und . CoRR, (2015)Model Checking Embedded C Software using k-Induction and Invariants (extended version)., , , und . CoRR, (2015)Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples., , , und . IFM, Volume 7321 von Lecture Notes in Computer Science, Seite 128-142. Springer, (2012)JFORTES: Java Formal Unit TESt Generation., , , und . SBESC, Seite 16-23. IEEE, (2016)DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution)., , , , und . TACAS (2), Volume 10206 von Lecture Notes in Computer Science, Seite 360-364. (2017)Map2Check Using LLVM and KLEE - (Competition Contribution)., , , und . TACAS (2), Volume 10806 von Lecture Notes in Computer Science, Seite 437-441. Springer, (2018)Memory Management Test-Case Generation of C Programs Using Bounded Model Checking., , und . SEFM, Volume 9276 von Lecture Notes in Computer Science, Seite 251-267. Springer, (2015)Formal Verification of UML Sequence Diagrams in the Embedded Systems Context., , , und . SBESC, Seite 39-45. IEEE Computer Society, (2011)Model Checking Embedded C Software Using k-Induction and Invariants., , , und . SBESC, Seite 90-95. IEEE Computer Society, (2015)Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution)., , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 934-937. Springer, (2016)