( en | de | ru )

 

Disambiguation of "Mues, Malte"

Author of the publication

copydeleteadd this publication to your clipboard
RERS 2019: Combining Synthesis with Real-World Models.

, , , , , , , , , , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 101-115. Springer, (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.

Hans Mues

Günter Mues

Volker Mues

Peter Mues

Erwin Mues

 

Other publications of authors with the same name

RERS 2019: Combining Synthesis with Real-World Models., , , , , , , , , and 1 other author(s). TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 101-115. Springer, (2019)Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education., , , , and . SEENG@ICSE, page 26-30. IEEE, (2021)GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution)., and . TACAS (2), volume 13244 of Lecture Notes in Computer Science, page 446-450. Springer, (2022)Data-Driven Design and Evaluation of SMT Meta-Solving Strategies., and . Software Engineering, volume P-320 of LNI, page 75-76. Gesellschaft für Informatik e.V., (2022)JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution)., and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 448-452. Springer, (2021)JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)., and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 398-402. Springer, (2020)Identification of Spurious Labels in Machine Learning Data Sets using N-Version Validation., , and . ITSC, page 1-7. IEEE, (2020)Teaching a Project-Based Course at a Safe Distance: An Experience Report., and . CSEE&T, page 1-6. IEEE, (2020)Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs., , and . IFM, volume 12546 of Lecture Notes in Computer Science, page 123-140. Springer, (2020)SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM., , and . SEFM, volume 13550 of Lecture Notes in Computer Science, page 91-107. Springer, (2022)