( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Research Summary for Dynamic Detection of Program Invariants.

. ICSE, стр. 718-719. ACM, (1999)

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.

Michael D Segeritz

Michael D Swartz

Michael D Menger

Michael d' Orville

Michael D Breitenstein

 

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

Automatic SAT-Compilation of Planning Problems., , и . IJCAI, стр. 1169-1177. Morgan Kaufmann, (1997)Panel: Perspectives on Software Engineering., , , , и . ICSE, стр. 699-702. IEEE Computer Society, (2001)Inferring models of concurrent systems from logs of their behavior with CSight., , , и . ICSE, стр. 468-479. ACM, (2014)Summary: ICSE workshop on dynamic analysis (WODA 2003)., и . ACM SIGSOFT Softw. Eng. Notes, 28 (6): 4 (2003)Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support., , и . Software Engineering & Management, том P-239 из LNI, стр. 53-54. GI, (2015)How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback.. TAP@TOOLS, том 6143 из Lecture Notes in Computer Science, стр. 1-2. Springer, (2010)An Empirical Study of Fault Localization Families and Their Combinations., , , , и . IEEE Trans. Software Eng., 47 (2): 332-347 (2021)A Data Programming CS1 Course., , , , и . SIGCSE, стр. 150-155. ACM, (2015)Verifying that web pages have accessible layout., , , , и . PLDI, стр. 1-14. ACM, (2018)Invariant inference for static checking., и . SIGSOFT FSE, стр. 11-20. ACM, (2002)