( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Generating Test Cases from EDT Specifications.

, , , и . ENASE (Selected Papers), том 599 из Communications in Computer and Information Science, стр. 1-20. Springer, (2015)

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.

Venkatesh Kolluru

Venkatesh Ramakrishnan

Alagarswamy Venkatesh

Ganesh Venkatesh

Venkatesh Ramakrishnan

 

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

Everything is There in Latent Space: Attribute Editing and Attribute Style Manipulation by StyleGAN Latent Space Exploration., , , и . ACM Multimedia, стр. 1828-1836. ACM, (2022)VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)., , и . TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 458-462. Springer, (2021)Generalizing specific-instance interpolation proofs with SyGuS., , и . ICSE (NIER), стр. 57-60. ACM, (2018)VeriAbs : Verification by Abstraction and Test Generation., , , , , , , и . ASE, стр. 1138-1141. IEEE, (2019)Scaling Model Checking for Test Generation Using Dynamic Inference., , , , и . ICST, стр. 184-191. IEEE Computer Society, (2013)Cost-effective Functional Testing of Reactive Software., , , и . ENASE, стр. 67-77. SciTePress, (2015)Formalizing Models and Meta-models for System Development., , и . APSEC, стр. 155-. IEEE Computer Society, (2001)VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)., , , , , , , , , и . TACAS (2), том 12079 из Lecture Notes in Computer Science, стр. 383-387. Springer, (2020)VeriFuzz: Program Aware Fuzzing - (Competition Contribution)., , и . TACAS (3), том 11429 из Lecture Notes in Computer Science, стр. 244-249. Springer, (2019)Cooperative and Non-Cooperative Control in IEEE 802.11 WLANs, , , и . стр. 1663-1672. (2005)