( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Retrospective Study of one Decade of Artifact Evaluations.

, , , , , , и . Software Engineering, том P-343 из LNI, стр. 95-96. Gesellschaft für Informatik e.V., (2024)

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

 

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

Co-Change Visualization.. ICSM (Industrial and Tool Volume), стр. 89-92. (2005)Reliable Benchmarking: Requirements and Solutions, , и . International Journal on Software Tools for Technology Transfer, 21 (1): 1--29 (01.02.2019)A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker., и . MEMICS, том 233 из EPTCS, стр. 61-71. (2016)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)First international competition on software testing.. Int. J. Softw. Tools Technol. Transf., 23 (6): 833-846 (2021)Tools for the construction and analysis of systems., и . Int. J. Softw. Tools Technol. Transf., 22 (6): 685-687 (2020)BDD-based software verification - Applications to event-condition-action systems., и . Int. J. Softw. Tools Technol. Transf., 16 (5): 507-518 (2014)CCVisu: automatic visual software decomposition.. ICSE Companion, стр. 967-968. ACM, (2008)978-1-60558-079-1.