Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Dynamic Analysis can be Improved with Automatic Test Suite Refactoring   Context: Developers design test suites to automatically verify that software
meets its expected behaviors. Many dynamic analysis techniques are performed on
the exploitation of execution traces from test cases. However, in practice,
there is only one trace that results from the execution of one manually-written
test case.
  Objective: In this paper, we propose a new technique of test suite
refactoring, called B-Refactoring. The idea behind B-Refactoring is to split a
test case into small test fragments, which cover a simpler part of the control
flow to provide better support for dynamic analysis.
  Method: For a given dynamic analysis technique, our test suite refactoring
approach monitors the execution of test cases and identifies small test cases
without loss of the test ability. We apply B-Refactoring to assist two existing
analysis tasks: automatic repair of if-statements bugs and automatic analysis
of exception contracts.
  Results: Experimental results show that test suite refactoring can
effectively simplify the execution traces of the test suite. Three real-world
bugs that could previously not be fixed with the original test suite are fixed
after applying B-Refactoring; meanwhile, exception contracts are better
verified via applying B-Refactoring to original test suites.
  Conclusions: We conclude that applying B-Refactoring can effectively improve
the purity of test cases. Existing dynamic analysis tasks can be enhanced by
test suite refactoring.

26
The categories of this paper are: bayes-an
13
The categories of this paper are: quant-ph
31
The categories of this paper are: ao-sci
25
The categories of this paper are: patt-sol
14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
3
The categories of this paper are: physics
32
The categories of this paper are: atom-ph
34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
37
The categories of this paper are: supr-con
12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat