中文
相关论文

相关论文: AMOGA: A Static-Dynamic Model Generation Strategy …

200 篇论文

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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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,…

计算物理 · 物理学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

机器学习 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

人机交互 · 计算机科学 2024-12-11 Zihan Huang , Tong Li , Yong Li