Malte Mues - RankMe

22 papers A* 1B 2C 3Journal 4Unranked 11

Year	Rank	Type	Title / Venue / Authors
2024	C	`conf`	Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM. TAP Malte Mues, Julian Rüschoff, Ben Hermann
2024	J	`jnl`	The Integration of Multi-Color Taint-Analysis with Dynamic Symbolic Execution for Java Web Application Security Analysis. Softwaretechnik-Trends Malte Mues
2023	—	`—`	The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis. Malte Mues
2022	C	`conf`	Data-Driven Design and Evaluation of SMT Meta-Solving Strategies. Software Engineering Malte Mues, Falk Howar
2022	—	`conf`	GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution). TACAS (2) Malte Mues, Falk Howar
2022	—	`conf`	GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution). TACAS (2) Falk Howar, Malte Mues
2022	B	`conf`	SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. SEFM Malte Mues, Falk Howar, Simon Dierl
2021	J	`jnl`	Can We Trust Theorem Provers for Industrial AI? IEEE Softw. Falk Howar, Malte Mues
2021	A*	`conf`	Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost. ASE Malte Mues, Falk Howar
2021	—	`conf`	Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education. SEENG@ICSE Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau
2021	—	`conf`	JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution). TACAS (2) Malte Mues, Falk Howar
2021	C	`conf`	Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs. Software Engineering Malte Mues, Till Schallau, Falk Howar
2021	J	`jnl`	The RERS challenge: towards controllable and scalable benchmark synthesis. Int. J. Softw. Tools Technol. Transf. Falk Howar, Marc Jasper, Malte Mues, David Schmidt, Bernhard Steffen
2020	—	`conf`	Identification of Spurious Labels in Machine Learning Data Sets using N-Version Validation. ITSC Malte Mues, Sebastian Gerard, Falk Howar
2020	—	`conf`	JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). TACAS (2) Malte Mues, Falk Howar
2020	B	`conf`	Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. IFM Malte Mues, Till Schallau, Falk Howar
2020	—	`conf`	Teaching a Project-Based Course at a Safe Distance: An Experience Report. CSEE&T Malte Mues, Falk Howar
2019	—	`conf`	RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager
2018	—	`conf`	Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. ISoLA (2) Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas
2018	—	`conf`	JConstraints: A Library for Working with Logic Expressions in Java. Models, Mindsets, Meta Falk Howar, Fadi Jabbour, Malte Mues
2018	—	`conf`	RERS 2018: CTL, LTL, and Reachability. ISoLA (2) Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar
2016	J	`jnl`	Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java. ACM SIGSOFT Softw. Eng. Notes Malte Mues, Falk Howar, Kasper Søe Luckow, Temesghen Kahsai, Zvonimir Rakamaric