Static stack-preserving intra-procedural slicing of webassembly binaries
The recently introduced WebAssembly standard aims to be a portable compilation target,
enabling the cross-platform distribution of programs written in a variety of languages. We …
enabling the cross-platform distribution of programs written in a variety of languages. We …
Language-agnostic dynamic analysis of multilingual code: Promises, pitfalls, and prospects
Analyzing multilingual code holistically is key to systematic quality assurance of real-world
software which is mostly developed in multiple computer languages. Toward such analyses …
software which is mostly developed in multiple computer languages. Toward such analyses …
PyGGI 2.0: Language independent genetic improvement framework
PyGGI is a research tool for Genetic Improvement (GI), that is designed to be versatile and
easy to use. We present version 2.0 of PyGGI, the main feature of which is an XML-based …
easy to use. We present version 2.0 of PyGGI, the main feature of which is an XML-based …
HDDr: a recursive variant of the hierarchical delta debugging algorithm
The minimization of failure-inducing test cases is an important first step in the process of bug
fixing. It helps focusing the expensive software engineering resources on the root of the …
fixing. It helps focusing the expensive software engineering resources on the root of the …
Redundancy-free analysis of multi-revision software artifacts
CV Alexandru, S Panichella, S Proksch… - Empirical Software …, 2019 - Springer
Researchers often analyze several revisions of a software project to obtain historical data
about its evolution. For example, they statically analyze the source code and monitor the …
about its evolution. For example, they statically analyze the source code and monitor the …
Dynamic slicing of webassembly binaries
Q Stiévenart, D Binkley… - 2023 IEEE International …, 2023 - ieeexplore.ieee.org
The recently introduced WebAssembly standard aims to form a portable compilation target,
enabling the cross-platform distribution of programs written in a variety of languages. In this …
enabling the cross-platform distribution of programs written in a variety of languages. In this …
The effect of hoisting on variants of Hierarchical Delta Debugging
Minimizing failing test cases is an important preprocessing step on the path of debugging. If
much of a test case that triggered a bug does not contribute to the actual failure, then the …
much of a test case that triggered a bug does not contribute to the actual failure, then the …
A comparison of tree-and line-oriented observational slicing
Observation-based slicing and its generalization observational slicing are recently-
introduced, language-independent dynamic slicing techniques. They both construct slices …
introduced, language-independent dynamic slicing techniques. They both construct slices …
Generalized observational slicing for tree-represented modelling languages
Model-driven software engineering raises the abstraction level making complex systems
easier to understand than if written in textual code. Nevertheless, large complicated software …
easier to understand than if written in textual code. Nevertheless, large complicated software …
Generalizing the split factor of the minimizing delta debugging algorithm
A Kiss - IEEE Access, 2020 - ieeexplore.ieee.org
One of the first attempts at the automation of test case reduction was the minimizing delta
debugging algorithm, widely known as ddmin. Despite its age, it is still an unavoidable …
debugging algorithm, widely known as ddmin. Despite its age, it is still an unavoidable …