Reinforcement learning for android gui testing
This paper presents a reinforcement learning approach to automated GUI testing of Android
apps. We use a test generation algorithm based on Q-learning to systematically select …
apps. We use a test generation algorithm based on Q-learning to systematically select …
BIM-based smart safety monitoring system using a mobile app: a case study in an ongoing construction site
Purpose Construction safety is a crucial aspect that has far-reaching impacts on economic
development. But safety monitoring is often reliant on labor-based observations, which can …
development. But safety monitoring is often reliant on labor-based observations, which can …
The role of model checking in software engineering
Abstract Model checking is a formal verification technique. It takes an exhaustively strategy
to check hardware circuits and network protocols against desired properties. Having been …
to check hardware circuits and network protocols against desired properties. Having been …
Android gui test generation with sarsa
Android applications are often challenging to test because of large event spaces with an
exponential number of event sequences. Several studies employ reinforcement learning to …
exponential number of event sequences. Several studies employ reinforcement learning to …
The investigation of TLC model checker properties
Sažetak This paper presents the investigation and comparison of TLC model checking
method (TLA Checker) properties. There are two different approaches to method usage …
method (TLA Checker) properties. There are two different approaches to method usage …
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin
P Arcaini, J Kofroň, P Ježek - International Journal on Software Tools for …, 2020 - Springer
Abstract The Hybrid ERTMS/ETCS Level 3 is a standard for the management and
interoperation of signalling for railways by the European Union. Its aim was to increase the …
interoperation of signalling for railways by the European Union. Its aim was to increase the …
Performance Analysis of Spotify® for Android with Model‐Based Testing
This paper presents the foundations and the real use of a tool to automatically detect
anomalies in Internet traffic produced by mobile applications. In particular, our MVE tool is …
anomalies in Internet traffic produced by mobile applications. In particular, our MVE tool is …
A deep reinforcement learning-based approach for android gui testing
The mobile application market is booming, and Android applications occupy a vast market
share. However, the applications may contain many errors. The task in the testing phase is …
share. However, the applications may contain many errors. The task in the testing phase is …
Post prioritization techniques to improve code coverage for sarsa generated test cases
MK Khan, R Michaels, D Williams… - 2023 IEEE 13th …, 2023 - ieeexplore.ieee.org
Reinforcement learning techniques are gaining popularity for automated test suite
generation. SARSA (State-Action-Reward-State-Action) is one such reinforcement learning …
generation. SARSA (State-Action-Reward-State-Action) is one such reinforcement learning …
Runtime verification of expected energy consumption in smartphones
Smartphones connected to Internet should work properly for days without a reset. One of the
most critical non-functional properties to ensure the correct behavior is energy consumption …
most critical non-functional properties to ensure the correct behavior is energy consumption …