Memory corruption is a serious class of software vulnerabilities, which requires careful
attention to be detected and removed from applications before getting exploited and …

Black-box components conceal parts of software execution paths, which makes systematic
testing, eg, via symbolic execution, difficult. In this paper, we use automata learning to …

Symbolic execution has been a popular method for detecting vulnerabilities of programs in
recent years, yet path explosion has remained a significant challenge in its application. This …

Recently, concolic execution has become a hotspot in the domain of software testing and
program analysis. However, a practical challenge, called path divergence, impairs the …

We advocate exploring complex models by combining data miners (to find a small set of
most critical examples) and of multiobjective optimizers (that focus on those critical …

How can we check software changes effectively? During software development and
maintenance, the source code of a program is constantly changed. New features are added …

Software changes, such as bug fixes or feature additions, can introduce software bugs and
reduce the code quality. As a result tests which passed earlier may not pass any more …

Recent machine learning approaches for classifying text as human-written or bot-generated
rely on training sets that are large, labeled diligently, and representative of the underlying …

Symbolic execution has been a popular method for detecting vulnerabilities of programs in
recent years, yet path explosion has remained a significant challenge in its application. This …

Testing is one of the critical points in the software engineering process, especially in highly
complex, autonomic systems. Yet there is no clear concept how to test an Organic …