( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach.

, и . ISoLA (2), том 11245 из Lecture Notes in Computer Science, стр. 144-159. Springer, (2018)

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.

Dirk Beyer

Dirk Beyer

Dirk Beyer

Dirk Beyer

Dirk Beyer

 

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

CCVisu: automatic visual software decomposition.. ICSE Companion, стр. 967-968. ACM, (2008)978-1-60558-079-1.Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach., и . ISoLA (2), том 11245 из Lecture Notes in Computer Science, стр. 144-159. Springer, (2018)Evaluating Tools for Software Verification (Track Introduction)., , и . ISoLA (2), том 11245 из Lecture Notes in Computer Science, стр. 139-143. Springer, (2018)Shape Refinement through Explicit Heap Analysis., , , и . FASE, том 6013 из Lecture Notes in Computer Science, стр. 263-277. Springer, (2010)Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework., и . CoRR, (2019)Self-Adaptive SLA-Driven Capacity Management for Internet Services., , , , , и . NOMS, стр. 557-568. IEEE, (2006)Co-Change Visualization.. ICSM (Industrial and Tool Volume), стр. 89-92. (2005)JavaSMT 3: Interacting with SMT Solvers in Java., , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 195-208. Springer, (2021)A Retrospective Study of one Decade of Artifact Evaluations., , , , , , и . Software Engineering, том P-343 из LNI, стр. 95-96. Gesellschaft für Informatik e.V., (2024)TestCov: Robust Test-Suite Execution and Coverage Measurement., и . ASE, стр. 1074-1077. IEEE, (2019)