( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Interactive record/replay for web application debugging.

, , , и . UIST, стр. 473-484. ACM, (2013)

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

 

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

Natural Language is a Programming Language: Applying Natural Language Processing to Software Development.. SNAPL, том 71 из LIPIcs, стр. 4:1-4:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Collaborative Verification of Information Flow for a High-Assurance App Store., , и . Software Engineering & Management, том P-239 из LNI, стр. 77. GI, (2015)Automatic Trigger Generation for Rule-based Smart Homes., и . PLAS@CCS, стр. 97-102. ACM, (2016)Practical pluggable types for java., , , , и . ISSTA, стр. 201-212. ACM, (2008)Research Summary for Dynamic Detection of Program Invariants.. ICSE, стр. 718-719. ACM, (1999)DesCert: Design for Certification., , , , , , , , , и 1 other автор(ы). CoRR, (2022)Using Simulated Execution in Verifying Distributed Algorithms, , , , и . Software Tools for Technology Transfer, (2003)Verification for legacy programs. VSTTE: Verified Software: Theories, Tools, Experiments, Zürich, Switzerland, (октября 2005)Lightweight and modular resource leak verification., , , и . ESEC/SIGSOFT FSE, стр. 181-192. ACM, (2021)Checking conformance of applications against GUI policies., , , , и . ESEC/SIGSOFT FSE, стр. 95-106. ACM, (2021)