Seuraa
Adrian D. Mensing
Adrian D. Mensing
BSc Computer Science and Engineering, Delft University of Technology
Vahvistettu sähköpostiosoite verkkotunnuksessa student.tudelft.nl
Nimike
Viittaukset
Viittaukset
Vuosi
From definitional interpreter to symbolic executor
AD Mensing, H Van Antwerpen, C Bach Poulsen, E Visser
Proceedings of the 4th ACM SIGPLAN International Workshop on Meta …, 2019
102019
Non-Deterministic Symbolic Analysis using Free Monads for Test Data Generation
A Mensing
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–2