Android fragmentation refers to the overwhelming diversity of devices and OS versions. These lead impossibility testing an app on every supported device, leaving a number compatibility bugs scattered in community thereby resulting poor user experiences. To mitigate this, our fellow researchers have designed various works automatically detect such issues. However, current state-of-the-art tools ...

The lightness of the Standard Model (SM) neutrinos could be understood if their masses were to generated by new physics at a high scale, through so-called seesaw mechanism involving heavy fermion singlets. We consider novel scenario where violates baryon minus lepton number only small amount resulting in both singlets and SM split into pairs quasi-Dirac states. Above weak cosmic matter-antimatt...

Although many different visual information retrieval systems have been proposed, few have been tested, and where testing has been performed results were often inconclusive. Further, there is very little evidence of benchmarking systems against a common standard. An approach for testing novel interfaces is proposed which uses bottom-up, stepwise testing to allow evaluation of a visualization, it...

We present a novel methodology to perform passive testing. The usual approach consists in recording the trace produced by the implementation under test and trying to find a fault by comparing this trace with the specification. We propose a more active approach to passive testing where the minimum set of (critical) properties required to a correct implementation may be explicitly indicated. In s...