Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Comparing Constraints Mined From Execution Logs to Understand Software
  Evolution   Complex software systems evolve frequently, e.g., when introducing new
features or fixing bugs during maintenance. However, understanding the impact
of such changes on system behavior is often difficult. Many approaches have
thus been proposed that analyze systems before and after changes, e.g., by
comparing source code, model-based representations, or system execution logs.
In this paper, we propose an approach for comparing run-time constraints,
synthesized by a constraint mining algorithm, based on execution logs recorded
before and after changes. Specifically, automatically mined constraints define
the expected timing and order of recurring events and the values of data
elements attached to events. Our approach presents the differences of the mined
constraints to users, thereby providing a higher-level view on software
evolution and supporting the analysis of the impact of changes on system
behavior. We present a motivating example and a preliminary evaluation based on
a cyber-physical system controlling unmanned aerial vehicles. The results of
our preliminary evaluation show that our approach can help to analyze changed
behavior and thus contributes to understanding software evolution.

19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
24
The categories of this paper are: dg-ga
29
The categories of this paper are: funct-an
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex
14
The categories of this paper are: math-ph