English
Related papers

Related papers: AMOGA: A Static-Dynamic Model Generation Strategy …

200 papers

GUI testing checks if a software system behaves as expected when users interact with its graphical interface, e.g., testing specific functionality or validating relevant use case scenarios. Currently, deciding what to test at this high…

Software Engineering · Computer Science 2023-11-16 Juyeon Yoon , Robert Feldt , Shin Yoo

Nowadays, mobile devices constitute the most common computing device. This new computing model has brought intense competition among hardware and software providers who are continuously introducing increasingly powerful mobile devices and…

Software Engineering · Computer Science 2015-09-11 Eric Umuhoza

The rapid pace of large-scale software development places increasing demands on traditional testing methodologies, often leading to bottlenecks in efficiency, accuracy, and coverage. We propose a novel perspective on software testing by…

Software Engineering · Computer Science 2025-04-08 Yuchen Wang , Shangxin Guo , Chee Wei Tan

Simulation has become an essential component of designing and developing scientific experiments. The conventional procedural approach to coding simulations of complex experiments is often error-prone, hard to interpret, and inflexible,…

Computational Physics · Physics 2023-08-09 Peter Sun , John A. Marohn

Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Therefore, the software components in the systems need to be…

Software Engineering · Computer Science 2016-12-12 Asim Abdulkhaleq , Stefan Wagner

Digital image forensics is a young but maturing field, encompassing key areas such as camera identification, detection of forged images, and steganalysis. However, large gaps exist between academic results and applications used by…

Cryptography and Security · Computer Science 2018-08-02 Wenhao Chen , Li Lin , Min Wu , Jennifer Newman

Estimating software testability can crucially assist software managers to optimize test budgets and software quality. In this paper, we propose a new approach that radically differs from the traditional approach of pursuing testability…

Software Engineering · Computer Science 2023-08-01 Luca Guglielmo , Leonardo Mariani , Giovanni Denaro

Developing mobile applications remains difficult, time consuming, and error-prone, in spite of the number of existing platforms and tools. In this paper, we define MoDroid, a high-level modeling language to ease the development of Android…

Software Engineering · Computer Science 2015-08-11 John Abou-Jaoudeh , Kinan Dak-Al-Bab , Mostafa El-Katerji , Yliès Falcone , Mohamad Jaber

Growth of software size, lack of resources to perform regression testing, and failure to detect bugs faster have seen increased reliance on continuous integration and test automation. Even with greater hardware and software resources…

Software Engineering · Computer Science 2018-02-13 Eduard Enoiu , Mirgita Frasheri

As smartphones become increasingly more powerful, a new generation of highly interactive user-centric mobile apps emerge to make user's life simpler and more productive. Mobile phones applications have to sustain limited resource…

Software Engineering · Computer Science 2019-06-06 Oscar J. Romero , Sushma A. Akoju

Automotive software testing continues to rely largely upon expensive field tests to ensure quality because alternatives like simulation-based testing are relatively immature. As a step towards lowering reliance on field tests, we present…

Software Engineering · Computer Science 2021-07-16 Dhasarathy Parthasarathy , Anton Johansson

The widespread adoption of smartphones dramatically increases the risk of attacks and the spread of mobile malware, especially on the Android platform. Machine learning-based solutions have been already used as a tool to supersede…

Cryptography and Security · Computer Science 2020-03-03 Rahim Taheri , Reza Javidan , Mohammad Shojafar , Vinod P , Mauro Conti

Software testing framework can be stated as the process of verifying and validating that a computer program/application works as expected and meets the requirements of the user. Usually testing can be done manually or using tools. Manual…

Software Engineering · Computer Science 2013-07-15 K. Karnavel , V. Divya , Gnanakeerthika , P. Karthika

Automatic generators of GUI tests often fail to generate semantically relevant test cases, and thus miss important test scenarios. To address this issue, test adaptation techniques can be used to automatically generate semantically…

Software Engineering · Computer Science 2026-01-12 Leonardo Mariani , Mauro Pezzè , Valerio Terragni , Daniele Zuddas

The Android operating system has been the most popular for smartphones and tablets since 2012. This popularity has led to a rapid raise of Android malware in recent years. The sophistication of Android malware obfuscation and detection…

Cryptography and Security · Computer Science 2019-11-25 Mohammed K. Alzaylaee , Suleiman Y. Yerima , Sakir Sezer

How does the mobile experience compare between Germany and Nigeria? There is currently no public data or test-bed to provide an answer to this question. This is because deploying and maintaining such test-bed can be both challenging and…

Networking and Internet Architecture · Computer Science 2023-07-13 Matteo Varvello , Yasir Zaki

Mutation testing has shown great promise in assessing the effectiveness of test suites while exhibiting additional applications to test-case generation, selection, and prioritization. Traditional mutation testing typically utilizes a set of…

We report the findings of a reimplementation of 18 foundational studies in feature-based machine learning for Android malware detection, published during the period 2013-2023. These studies are reevaluated on a level playing field using a…

Machine Learning · Computer Science 2026-01-22 Ali Muzaffar , Hani Ragab Hassen , Hind Zantout , Michael A Lones

Static feature-based Android malware detection using machine learning (ML) remains critical due to its scalability and efficiency. However, existing approaches often overlook security-critical reproducibility concerns, such as dataset…

Cryptography and Security · Computer Science 2025-11-04 Md Tanvirul Alam , Dipkamal Bhusal , Nidhi Rastogi

Mobile app usage behavior reveals human patterns and is crucial for stakeholders, but data collection is costly and raises privacy issues. Data synthesis can address this by generating artificial datasets that mirror real-world data. In…

Human-Computer Interaction · Computer Science 2024-12-11 Zihan Huang , Tong Li , Yong Li