Author of the publication

Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact).

, , , , and . Dagstuhl Artifacts Ser., 5 (2): 04:1-04:3 (2019)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Mirror-based Reflection in AmbientTalk, , , , , and . Softw. Pract. Exper., 39 (7): 661--699 (May 2009)Debugging Cyber-Physical Systems with Pharo: An Experience Report., , , , , , and . IWST, page 8:1-8:10. ACM, (2017)Two decades of smalltalk VM development: live VM development through simulation tools., , , and . VMIL@SPLASH, page 57-66. ACM, (2018)Distributed debugging for mobile networks., , and . J. Syst. Softw., (2014)Program Testing Using High-Level Property-Driven Models., , , , and . SEKE, page 489-494. (2006)Volatile Sets: Event-driven Collections for Mobile Ad-Hoc Applications., , , , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2011)VeriFx: Correct Replicated Data Types for the Masses., , and . CoRR, (2022)Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay, , , , and . The Art, Science, and Engineering of Programming, 5 (3): 39 (Feb 28, 2021)A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks., , , , and . TOOLS (47), volume 33 of Lecture Notes in Business Information Processing, page 231-251. Springer, (2009)Practical Information Flow Control for Web Applications., , , , and . RV, volume 11237 of Lecture Notes in Computer Science, page 372-388. Springer, (2018)