( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A lightweight approach for sound call graph approximation.

, , , и . SAC, стр. 1837-1844. ACM, (2022)

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.

Ascher Ben-Shmuel

S Ulrich

S Hilt

S Hüttelmaier

S Leopold

 

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

Specifying linked data structures in JML for combining formal verification and testing., и . Sci. Comput. Program., (2015)A lightweight approach for sound call graph approximation., , , и . SAC, стр. 1837-1844. ACM, (2022)Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking., и . SBMF, том 8195 из Lecture Notes in Computer Science, стр. 99-114. Springer, (2013)DSL-MoLab: supporting model-based development of TDL-specific systems enabled by DSL., , , , , , , и . Internetware, ACM, (2024)Projective Template-Based Code Generation., и . CAiSE Forum, том 998 из CEUR Workshop Proceedings, стр. 81-87. CEUR-WS.org, (2013)GenUTest: A Unit Test and Mock Aspect Generation Tool., , и . Haifa Verification Conference, том 4899 из Lecture Notes in Computer Science, стр. 252-266. Springer, (2007)Runtime Verification of Generalized Test Tables., , , и . NFM, том 12673 из Lecture Notes in Computer Science, стр. 358-374. Springer, (2021)Granulated Code Generation of Interfering Functionalities., , и . FedCSIS, стр. 1333-1340. (2012)Refactoring with Contracts., , и . AGILE, стр. 53-64. IEEE Computer Society, (2006)Behavior-preserving abstraction of ESTEREL programs., и . FedCSIS, том 5 из Annals of Computer Science and Information Systems, стр. 743-754. IEEE, (2015)