7,040 research outputs found
Faster Mutation Analysis via Equivalence Modulo States
Mutation analysis has many applications, such as asserting the quality of
test suites and localizing faults. One important bottleneck of mutation
analysis is scalability. The latest work explores the possibility of reducing
the redundant execution via split-stream execution. However, split-stream
execution is only able to remove redundant execution before the first mutated
statement.
In this paper we try to also reduce some of the redundant execution after the
execution of the first mutated statement. We observe that, although many
mutated statements are not equivalent, the execution result of those mutated
statements may still be equivalent to the result of the original statement. In
other words, the statements are equivalent modulo the current state.
In this paper we propose a fast mutation analysis approach, AccMut. AccMut
automatically detects the equivalence modulo states among a statement and its
mutations, then groups the statements into equivalence classes modulo states,
and uses only one process to represent each class. In this way, we can
significantly reduce the number of split processes. Our experiments show that
our approach can further accelerate mutation analysis on top of split-stream
execution with a speedup of 2.56x on average.Comment: Submitted to conferenc
Correcting for the solar wind in pulsar timing observations: the role of simultaneous a nd l ow-frequency observations
The primary goal of the pulsar timing array projects is to detect
ultra-low-frequency gravitational waves. The pulsar data sets are affected by
numerous noise processes including varying dispersive delays in the
interstellar medium and from the solar wind. The solar wind can lead to rapidly
changing variations that, with existing telescopes, can be hard to measure and
then remove. In this paper we study the possibility of using a low frequency
telescope to aid in such correction for the Parkes Pulsar Timing Array (PPTA)
and also discuss whether the ultra-wide-bandwidth receiver for the FAST
telescope is sufficient to model the solar wind variations. Our key result is
that a single wide-bandwidth receiver can be used to model and remove the
effect of the solar wind. However, for pulsars that pass close to the Sun such
as PSR J1022+1022, the solar wind is so variable that observations at two
telescopes separated by a day are insufficient to correct the solar wind
effect.Comment: accepted by RA
- …