( en | de | ru )

 

Disambiguierung von "Gadelha, Mikhail R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ESBMC 6.1: automated test case generation using bounded model checking.

, , und . Int. J. Softw. Tools Technol. Transf., 23 (6): 857-861 (2021)

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.

Kaciano Barbosa Gadelha

Mikhail Karnevskiy

Mikhail Dobrynin

Mikhail Salzmann

Mikhail Shamonin

 

Weitere Publikationen von Autoren mit dem selben Namen

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs., , , und . CoRR, (2020)ESBMC v7.3: Model Checking C++ Programs Using Clang AST., , , , und . SBMF, Volume 14414 von Lecture Notes in Computer Science, Seite 141-152. Springer, (2023)ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST., , , , , , und . CoRR, (2024)Software Usability Evaluation for Augmented Reality Through User Tests., , und . HCI (44), Volume 1498 von Communications in Computer and Information Science, Seite 349-356. Springer, (2021)Experimental Data for Model Checking C++03 Programs., , und . (September 2019)ESBMC 6.1: automated test case generation using bounded model checking., , und . Int. J. Softw. Tools Technol. Transf., 23 (6): 857-861 (2021)Summary of Model Checking C++ Programs., , und . ICST, Seite 461. IEEE, (2022)Themes Validation Tool., , , , und . HCI (37), Volume 1088 von Communications in Computer and Information Science, Seite 16-22. Springer, (2019)ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC., , , , , , und . ISSTA, Seite 773-776. ACM, (2022)FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution)., , , , und . FASE, Volume 13991 von Lecture Notes in Computer Science, Seite 324-329. Springer, (2023)