( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
StateComparator: Detecting Unbounded Variables Using JPF.

, , , и . ACM SIGSOFT Softw. Eng. Notes, 41 (6): 1-5 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sergey Tkachuk

Oksana Schaeffer

Oksana Balajan

Oksana Lisec

Oksana Möller

 

Другие публикации лиц с тем же именем

OCSEGen: open components and systems environment generator.. SOAP@PLDI, стр. 9-12. ACM, (2013)Analyzing Interaction Orderings with Model Checking., , , и . ASE, стр. 154-163. IEEE Computer Society, (2004)Automated Environment Generation for Software Model Checking., , и . ASE, стр. 116-129. IEEE Computer Society, (2003)Automated generation of model classes for Java PathFinder., и . ACM SIGSOFT Softw. Eng. Notes, 39 (1): 1-5 (2014)Environment Modeling Using Runtime Values for JPF-Android., , , , и . ACM SIGSOFT Softw. Eng. Notes, 40 (6): 1-5 (2015)Selected Extended Papers of NFM 2016: Preface., , и . J. Autom. Reason., 60 (1): 1-2 (2018)Environment generation for validating event-driven software using model checking., и . IET Softw., 4 (3): 194-209 (2010)Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning., , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 767-780. Springer, (2021)Application of automated environment generation to commercial software., и . ISSTA, стр. 203-214. ACM, (2006)Semantic-based Automated Reasoning for AWS Access Policies using SMT., , , , , , , , и . FMCAD, стр. 1-9. IEEE, (2018)