English
Related papers

Related papers: Towards the Usage of MBT at ETSI

200 papers

Text-to-Image (TTI) systems often support people during ideation, the early stages of a creative process when exposure to a broad set of relevant images can help explore the design space. Since ideation is an important subclass of TTI…

Computer Vision and Pattern Recognition · Computer Science 2024-10-24 Negar Arabzadeh , Fernando Diaz , Junfeng He

This document details the planning phase of a Systematic Mapping Study (SMS). Our goal is to identify the software patterns used during the RE phase, in real-world setting (i.e., in real projects), not in academia (toy projects) and, to…

Software Engineering · Computer Science 2017-01-23 José L. Barros-Justo , Ania L. Cravero-Leal , Fabiane B. V. Benitti , Rafael Capilla-Sevilla

Fine-tuning is a popular method for adapting text-to-speech (TTS) models to new speakers. However this approach has some challenges. Usually fine-tuning requires several hours of high quality speech per speaker. There is also that…

Audio and Speech Processing · Electrical Eng. & Systems 2022-11-02 Cheng-Ping Hsieh , Subhankar Ghosh , Boris Ginsburg

The use of embedded software is growing very rapidly. Accessing the internet is a necessary service which has large range of applications in many fields. The Internet is based on TCP/IP which is a very important stack. Although TCP/IP is…

Software Engineering · Computer Science 2011-04-29 M. Z. Rashed , Ahmed E. Hassan , Ahmed I. Sharaf

Spatio-Temporal (ST) data science, which includes sensing, managing, and mining large-scale data across space and time, is fundamental to understanding complex systems in domains such as urban computing, climate science, and intelligent…

Databases · Computer Science 2025-03-19 Yuxuan Liang , Haomin Wen , Yutong Xia , Ming Jin , Bin Yang , Flora Salim , Qingsong Wen , Shirui Pan , Gao Cong

We present an empirical study in which model-based testing (MBT) was applied to a mobile system: the Android client of QuizUp, the largest mobile trivia game in the world. The study shows that traditional MBT approaches based on extended…

Software Engineering · Computer Science 2016-06-03 Vignir Gudmundsson , Mikael Lindvall , Luca Aceto , Johann Bergthorsson , Dharmalingam Ganesan

Search-based software testing (SBST) is now a mature area, with numerous techniques developed to tackle the challenging task of software testing. SBST techniques have shown promising results and have been successfully applied in the…

Software Engineering · Computer Science 2023-12-06 Neelofar Neelofar , Kate Smith-Miles , Mario Andres Munoz , Aldeida Aleti

In this study, we introduce FEET, a standardized protocol designed to guide the development and benchmarking of foundation models. While numerous benchmark datasets exist for evaluating these models, we propose a structured evaluation…

Machine Learning · Computer Science 2024-11-05 Simon A. Lee , John Lee , Jeffrey N. Chiang

More and more observational studies exploit the achievements of mobile technology to ease the overall implementation procedure. Many strategies like digital phenotyping, ecological momentary assessments or mobile crowdsensing are used in…

Other Computer Science · Computer Science 2021-07-30 Carsten Vogel , Johannes Schobel , Winfried Schlee , Milena Engelke , Rüdiger Pryss

Software development relies heavily on text-based communication, making sentiment analysis a valuable tool for understanding team dynamics and supporting trustworthy AI-driven analytics in requirements engineering. However, existing…

Software Engineering · Computer Science 2025-07-11 Martin Obaidi , Marc Herrmann , Jil Klünder , Kurt Schneider

Integration of smart grid technologies in distribution systems, particularly behind-the-meter initiatives, has a direct impact on transmission network planning. This paper develops a coordinated expansion planning of transmission and active…

Systems and Control · Electrical Eng. & Systems 2023-10-10 Mojtaba Moradi-Sepahvand , Turaj Amraee , Farrokh Aminifar , Amirhossein Akbari

Developing specialized cloud-based and open-source testbeds is a practical approach to investigate network slicing functionalities in the fifth-generation (5G) mobile networks. This paper provides a comprehensive review of most of the…

Networking and Internet Architecture · Computer Science 2021-04-20 Ali Esmaeily , Katina Kralevska

Recently, deep learning-based Text-to-Speech (TTS) systems have achieved high-quality speech synthesis results. Recurrent neural networks have become a standard modeling technique for sequential data in TTS systems and are widely used.…

Sound · Computer Science 2024-03-19 Ziqi Liang , Haoxiang Shi , Jiawei Wang , Keda Lu

Test-Time Scaling (TTS) is an important method for improving the performance of Large Language Models (LLMs) by using additional computation during the inference phase. However, current studies do not systematically analyze how policy…

Computation and Language · Computer Science 2025-02-11 Runze Liu , Junqi Gao , Jian Zhao , Kaiyan Zhang , Xiu Li , Biqing Qi , Wanli Ouyang , Bowen Zhou

Despite their potential of increasing operational efficiency, transparency, and safety, the use of Localization and Tracking Systems (LTSs) in warehouse environments remains seldom. One reason is the lack of market transparency and…

Systems and Control · Electrical Eng. & Systems 2021-07-23 Jakob Schyga , Johannes Hinckeldeyn , Benjamin Bruss , Christoph Bamberger , Jochen Kreutzfeldt

Analyzing the clustering of galaxies at the field level in principle promises access to all the cosmological information available. Given this incentive, in this paper we investigate the performance of field-based forward modeling approach…

Cosmology and Nongalactic Astrophysics · Physics 2023-07-31 Andrija Kostić , Nhat-Minh Nguyen , Fabian Schmidt , Martin Reinecke

This paper introduces different views for understanding problems and faults with the goal of defining a method for the formal specification of systems. The idea of Layered Fault Tolerant Specification (LFTS) is proposed to make the method…

Software Engineering · Computer Science 2012-07-12 Manuel Mazzara

Large Language Models (LLMs) have emerged as a powerful approach for driving offensive penetration-testing tooling. Due to the opaque nature of LLMs, empirical methods are typically used to analyze their efficacy. The quality of this…

Cryptography and Security · Computer Science 2025-06-17 Andreas Happe , Jürgen Cito

Nowadays, collaborative modeling performed by multiple stakeholders is gaining a growing interest in both academia and practice. However, it poses a set of research challenges, such as large and complex models management, support for…

Software Engineering · Computer Science 2016-11-09 Mirco Franzago , Davide Di Ruscio , Ivano Malavolta , Henry Muccini

Metamorphic testing (MT) is widely used for testing programs that face the oracle problem. It uses a set of metamorphic relations (MRs), which are relations among multiple inputs and their corresponding outputs to determine whether the…

Software Engineering · Computer Science 2021-09-22 Madhusudan Srinivasan , Upulee Kanewala