English
Related papers

Related papers: Transferring Interactive Search-Based Software Tes…

200 papers

Security concerns for IoT applications have been alarming because of their widespread use in different enterprise systems. The potential threats to these applications are constantly emerging and changing, and therefore, sophisticated and…

Cryptography and Security · Computer Science 2022-04-12 Sk. Tanzir Mehedi , Adnan Anwar , Ziaur Rahman , Kawsar Ahmed , Rafiqul Islam

Objective: This study aims to establish a generalized transfer-learning framework for boosting the performance of steady-state visual evoked potential (SSVEP)-based brain-computer interfaces (BCIs) by leveraging cross-domain data…

Machine Learning · Computer Science 2021-02-11 Kuan-Jung Chiang , Chun-Shu Wei , Masaki Nakanishi , Tzyy-Ping Jung

Speech-to-Speech Translation (S2ST) models transform speech from one language to another target language with the same linguistic information. S2ST is important for bridging the communication gap among communities and has diverse…

Computation and Language · Computer Science 2024-11-25 Mahendra Gupta , Maitreyee Dutta , Chandresh Kumar Maurya

One of the most fundamental, and yet relatively less explored, goals in transfer learning is the efficient means of selecting top candidates from a large number of previously trained models (optimized for various "source" tasks) that would…

Machine Learning · Computer Science 2025-01-22 Ashutosh Soni , Peizhong Ju , Atilla Eryilmaz , Ness B. Shroff

In this paper, we describe our end-to-end multilingual speech translation system submitted to the IWSLT 2021 evaluation campaign on the Multilingual Speech Translation shared task. Our system is built by leveraging transfer learning across…

Computation and Language · Computer Science 2021-08-17 Yun Tang , Hongyu Gong , Xian Li , Changhan Wang , Juan Pino , Holger Schwenk , Naman Goyal

The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results…

Software Engineering · Computer Science 2015-04-09 Nikolay Pakulin , Alexander K. Petrenko , Bernd-Holger Schlingloff

The article "Interpolation and SAT-Based Model Checking" (McMillan, 2003) describes a formal-verification algorithm, which was originally devised to verify safety properties of finite-state transition systems. It derives interpolants from…

Software Engineering · Computer Science 2024-03-14 Dirk Beyer , Nian-Ze Lee , Philipp Wendler

Context: Over the past decade Software Engineering research has seen a steady increase in survey-based studies, and there are several guidelines providing support for those willing to carry out surveys. The need for auditing survey research…

Software Engineering · Computer Science 2019-01-29 Jefferson Seide Molléri , Kai Petersen , Emilia Mendes

This study aims to develop a personalized Recommender System that helps to address the problems encountered by the faculty members of Higher Education Institutions in the selection of Seminar and Training Programs (STP). The researcher used…

Computers and Society · Computer Science 2020-12-03 Albert V. Paytaren

Search-based software testing (SBST) typically relies on fitness functions to guide the search exploration toward software failures. There are two main techniques to define fitness functions: (a) automated fitness function computation from…

Software Engineering · Computer Science 2023-09-08 Federico Formica , Tony Fan , Claudio Menghi

A/B experimentation is a known technique for data-driven product development and has demonstrated its value in web-facing businesses. With the digitalisation of the automotive industry, the focus in the industry is shifting towards…

Software Engineering · Computer Science 2021-07-07 Yuchu Liu , Jan Bosch , Helena Holmström Olsson , Jonn Lantz

Alongside software testing education in universities, a great extent of effort and resources are spent on software-testing training activities in industry. For example, there are several international certification schemes in testing, such…

Software Engineering · Computer Science 2024-08-13 Vahid Garousi , Alper Buğra Keleş

Search-Based Software Testing (SBST) automates test input generation but is frequently hindered by challenging fitness landscapes characterized by numerous deceptive local optima that impede search progress, as well as extended plateaus…

Software Engineering · Computer Science 2026-04-13 Jeongjin Han , Seunghoon Sim , Jian Lee , Seongyoon Park

While achieving security for Industrial Internet of Things (IIoT) is a critical and non-trivial task, more attention is required for brownfield IIoT systems. This is a consequence of long life cycles of their legacy devices which were…

Cryptography and Security · Computer Science 2020-11-26 Muna Al-Hawawreh , Elena Sitnikovas

A challenge that machine learning practitioners in the industry face is the task of selecting the best model to deploy in production. As a model is often an intermediate component of a production system, online controlled experiments such…

Machine Learning · Statistics 2021-05-31 Zhenwen Dai , Praveen Chandar , Ghazal Fazelnia , Ben Carterette , Mounia Lalmas-Roelleke

As the automotive industry focuses its attention more and more towards the software functionality of vehicles, techniques to deliver new software value at a fast pace are needed. Continuous Experimentation, a practice coming from the…

Software Engineering · Computer Science 2020-09-14 Federico Giaimo , Christian Berger

While Sustainable Software Engineering (SSE) tools are widely studied in academia, their practical feasibility in industrial workflows, particularly in regulated environments, remains poorly understood. This study investigates how software…

Software Engineering · Computer Science 2026-04-01 Satwik Ghanta , Peggy Gregory , Gul Calikli

A central challenge in many areas of science and engineering is to identify model parameters that are consistent with prior knowledge and empirical data. Bayesian inference offers a principled framework for this task, but can be…

Ensuring software quality in embedded firmware is critical, especially in safety-critical domains where compliance with functional safety standards (ISO 26262) requires strong guarantees of software reliability. While machine learning-based…

Software Engineering · Computer Science 2026-02-09 Marco De Luca , Domenico Amalfitano , Anna Rita Fasolino , Porfirio Tramontana

Neural Machine Translation (NMT) has been widely adopted recently due to its advantages compared with the traditional Statistical Machine Translation (SMT). However, an NMT system still often produces translation failures due to the…

Computation and Language · Computer Science 2018-10-04 Wujie Zheng , Wenyu Wang , Dian Liu , Changrong Zhang , Qinsong Zeng , Yuetang Deng , Wei Yang , Pinjia He , Tao Xie
‹ Prev 1 4 5 6 7 8 10 Next ›