Reusable Research Software Components in the GDart Ecosystem

Autor: Dierl, Simon, Howar, Falk, Mues, Malte

GDart is a software verification tool for the JVM employing dynamic symbolic execution. We implemented it in modules separated by well-defined interfaces and protocols: DSE handles symbolic exploration, while SPouT performs symbolic tracing via Graal

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::667aeebb71c294b0991fc5e3b17fef3e

JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution)

Autor: Mues, Malte, Howar, Falk

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems

JDart performs dynamic symbolic execution of Java programs: it executes programs with concrete inputs while recording symbolic constraints on executed program paths. A portfolio of constraint solvers is then used for generating new concrete values fr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmc_________::fb81d172f423c71e9e89ee017a7245ab
http://europepmc.org/articles/PMC7984567

Text/Conference Paper

Autor: Mues, Malte, Howar, Falk

The 36th IEEE/ACM International Conference on Automated Software Engineering (2021) accepted the paper ���Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost��� [MH21a] and selected

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::917327c4a8c78d2d1938be8755f03023

RERS 2019

Autor: Jasper, Marc, Mues, Malte, Murtovi, Alnis, Schlüter, Maximilian, Howar, Falk, Steffen, Bernhard, Schordan, Markus, Hendriks, Dennis, Schiffelers, Ramon, Kuppens, Harco, Vaandrager, Frits W., Beyer, Dirk, Kordon, Fabrice, Huisman, Marieke

Publikováno v: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 6 April 2019 through 11 April 2019, 101-115
Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 101-115. Cham : Springer International Publishing
STARTPAGE=101;ENDPAGE=115;ISSN=0302-9743;TITLE=Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, pp. 101-115
Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, 101-115
STARTPAGE=101;ENDPAGE=115;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)

This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019. For the first time in the history of RERS, the challenge features industrial tracks where benchmark programs that participants need to analyze are synthesized from

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93777adc3d2fb89915b9ad1ff521fd2f
http://www.scopus.com/inward/record.url?scp=85064915589&partnerID=8YFLogxK

Thoughts about using Constraint Solvers in Action

Autor: Mues, Malte, Fitzke, Martin, Howar, Falk

SMT solvers power many automated security analysis tools today. Nevertheless, a smooth integration of SMT solvers into programs is still a challenge that lead to different approaches for doing it the right way. In this paper, we review the state of t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2d884bfdc6fa8f2d2c8f53a7f6e53382