Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Björn Mathis"'
Publikováno v:
ESEC/SIGSOFT FSE
One of the key properties of a program is its input specification. Having a formal input specification can be critical in fields such as vulnerability analysis, reverse engineering, software testing, clone detection, or refactoring. Unfortunately, ac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f174c9e4d397a625001f6c27c230e7e6
https://doi.org/10.1145/3368089.3409679
https://doi.org/10.1145/3368089.3409679
Publikováno v:
ISSTA
Modern fuzzing tools like AFL operate at a lexical level: They explore the input space of tested programs one byte after another. For inputs with complex syntactical properties, this is very inefficient, as keywords and other tokens have to be compos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d49abb44d1cbd881c703e11373bc8bf4
https://doi.org/10.1145/3395363.3397348
https://doi.org/10.1145/3395363.3397348
Autor:
Matthias Höschele, Alexander Kampmann, Michaël Mera, Björn Mathis, Rahul Gopinath, Andreas Zeller
Publikováno v:
PLDI
To be effective, software test generation needs to well cover the space of possible inputs. Traditional fuzzing generates large numbers of random inputs, which however are unlikely to contain keywords and other specific inputs of non-trivial input la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b4441c8bdd0c5495bee044e1caf595d1
https://doi.org/10.1145/3314221.3314651
https://doi.org/10.1145/3314221.3314651
Publikováno v:
ICST Workshops
Quality of software test suites can be effectively and accurately measured using mutation analysis. Traditional mutation involves seeding first and sometimes higher order faults into the program, and evaluating each for detection. However, traditiona
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2c19dee9e46adf68b9fda9419e568900
https://doi.org/10.1109/icstw.2018.00023
https://doi.org/10.1109/icstw.2018.00023
Publikováno v:
ASE
Analyzing information flow is central in assessing the security of applications. However, static and dynamic analyses of information flow are easily challenged by non-available or obscure code. We present a lightweight mutation-based analysis that sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aaf9154609c9ddcad3c4bda4c830f3c8
https://doi.org/10.1109/ase.2017.8115639
https://doi.org/10.1109/ase.2017.8115639
Autor:
Björn Mathis
Publikováno v:
ISSTA
Dynamic tainting is an important part of modern software engineering research. State-of-the-art tools for debugging, bug detection and program analysis make use of this technique. Nonetheless, the research area based on dynamic tainting still has ope
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cc52528f77874807e61b0209ba39bc7c
https://doi.org/10.1145/3092703.3098233
https://doi.org/10.1145/3092703.3098233