( en | de | ru )

 

Disambiguierung von "Tkachuk, Oksana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combining environment generation and slicing for modular software model checking.

, und . ASE, Seite 401-404. ACM, (2007)

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.

Sergey Tkachuk

Oksana Balajan

Oksana Lisec

Oksana Möller

Oksana Schaeffer

 

Weitere Publikationen von Autoren mit dem selben Namen

Combining environment generation and slicing for modular software model checking., und . ASE, Seite 401-404. ACM, (2007)Generation of Library Models for Verification of Android Applications., , , und . ACM SIGSOFT Softw. Eng. Notes, 40 (1): 1-5 (2015)OCSEGen: open components and systems environment generator.. SOAP@PLDI, Seite 9-12. ACM, (2013)Analyzing Interaction Orderings with Model Checking., , , und . ASE, Seite 154-163. IEEE Computer Society, (2004)Automated Environment Generation for Software Model Checking., , und . ASE, Seite 116-129. IEEE Computer Society, (2003)Selected Extended Papers of NFM 2016: Preface., , und . J. Autom. Reason., 60 (1): 1-2 (2018)Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning., , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 767-780. Springer, (2021)Application of automated environment generation to commercial software., und . ISSTA, Seite 203-214. ACM, (2006)Semantic-based Automated Reasoning for AWS Access Policies using SMT., , , , , , , , und . FMCAD, Seite 1-9. IEEE, (2018)Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites., , , , , , und . NFM, Volume 9058 von Lecture Notes in Computer Science, Seite 279-294. Springer, (2015)