( en | de | ru )

 

Disambiguierung von "Tkachuk, Oksana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
StateComparator: Detecting Unbounded Variables Using JPF.

, , , und . ACM SIGSOFT Softw. Eng. Notes, 41 (6): 1-5 (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.

Sergey Tkachuk

Oksana Schaeffer

Oksana Balajan

Oksana Lisec

Oksana Möller

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Automated generation of model classes for Java PathFinder., und . ACM SIGSOFT Softw. Eng. Notes, 39 (1): 1-5 (2014)Environment Modeling Using Runtime Values for JPF-Android., , , , und . ACM SIGSOFT Softw. Eng. Notes, 40 (6): 1-5 (2015)Selected Extended Papers of NFM 2016: Preface., , und . J. Autom. Reason., 60 (1): 1-2 (2018)Environment generation for validating event-driven software using model checking., und . IET Softw., 4 (3): 194-209 (2010)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)