English
Related papers

Related papers: Industrial-Strength Model-Based Testing - State of…

200 papers

Building Information Modeling (BIM) is a crucial technology in the construction industry, offering benefits such as enhanced collaboration, real-time decision-making, and significant cost and time savings. Despite its advantages, BIM…

Robotics · Computer Science 2024-05-31 Mohammed Abdulsalam Alsofiani

This paper presents a systematic mapping study on the model-driven engineering of safety and security concerns in systems. Integrated modeling and development of both safety and security concerns is an emerging field of research. Our…

Software Engineering · Computer Science 2020-04-21 Atif Mashkoor , Alexander Egyed , Robert Wille

This chapter discusses the current state of the art, and emerging research challenges, for metamodelling. In the state-of-the-art review on metamodelling, we review approaches, abstractions, and tools for metamodelling, evaluate them with…

Software Engineering · Computer Science 2014-09-09 Jonathan Sprinkle , Bernhard Rumpe , Hans Vangheluwe , Gabor Karsai

Model driven architecture (MDA) concentrates on the use of models during software development. An approach using models as the central development artifact is more abstract, more compact and thus more effective and probably also less error…

Software Engineering · Computer Science 2014-09-24 Bernhard Rumpe

Modern language models (LMs) pose a new challenge in capability assessment. Static benchmarks inevitably saturate without providing confidence in the deployment tolerances of LM-based systems, but developers nonetheless claim that their…

Software Engineering · Computer Science 2024-07-31 Michael Saxon , Ari Holtzman , Peter West , William Yang Wang , Naomi Saphra

An integral use of the model driven development paradigm influences and changes an organization's software development division rather heavily. Such a paradigm reduces some tasks in complexity and costs, but also introduces new tasks and,…

Software Engineering · Computer Science 2014-09-24 Florian Fieber , Nikolaus Regnat , Bernhard Rumpe

Artificial Intelligence has gained a lot of traction in the recent years, with machine learning notably starting to see more applications across a varied range of fields. One specific machine learning application that is of interest to us…

Software Engineering · Computer Science 2023-05-10 Teodor Rares Begu

Large Language Models(LLMs) trained on large data sets came into prominence in 2018 after Google introduced BERT. Subsequently, different LLMs such as GPT models from OpenAI have been released. These models perform well on diverse tasks and…

Human-Computer Interaction · Computer Science 2024-07-23 Abdullahi Saka , Ridwan Taiwo , Nurudeen Saka , Babatunde Salami , Saheed Ajayi , Kabiru Akande , Hadi Kazemi

Engineers in the manufacturing industries have used accelerated test (AT) experiments for many decades. The purpose of AT experiments is to acquire reliability information quickly. Test units of a material, component, subsystem or entire…

Methodology · Statistics 2007-08-03 Luis A. Escobar , William Q. Meeker

The broader goal of this research, on the one hand, is to obtain the State of the Art in Automated Test Production (ATP), to find the open questions and related problems and to track the progress of researchers in the field, and on the…

Software Engineering · Computer Science 2024-01-04 José Marcos Gomes , Luis Alberto Vieira Dias

Machine Translation (MT) tools are widely used today, often in contexts where professional translators are not present. Despite progress in MT technology, a gap persists between system development and real-world usage, particularly for…

Item difficulty plays a crucial role in test performance, interpretability of scores, and equity for all test-takers, especially in large-scale assessments. Traditional approaches to item difficulty modeling rely on field testing and…

Computation and Language · Computer Science 2025-09-30 Sydney Peters , Nan Zhang , Hong Jiao , Ming Li , Tianyi Zhou , Robert Lissitz

Machine learning (ML) models are nowadays used in complex applications in various domains, such as medicine, bioinformatics, and other sciences. Due to their black box nature, however, it may sometimes be hard to understand and trust the…

Machine Learning · Computer Science 2024-04-19 A. Chatzimparmpas , R. Martins , I. Jusufi , K. Kucher , Fabrice Rossi , A. Kerren

Neural Machine Translation (NMT) has reached a level of maturity to be recognized as the premier method for the translation between different languages and aroused interest in different research areas, including software engineering. A key…

Computation and Language · Computer Science 2022-03-31 Pietro Liguori , Cristina Improta , Simona De Vivo , Roberto Natella , Bojan Cukic , Domenico Cotroneo

Material defects (MD) represent a primary challenge affecting product performance and giving rise to safety issues in related products. The rapid and accurate identification and localization of MD constitute crucial research endeavors in…

Computer Vision and Pattern Recognition · Computer Science 2025-05-06 Jun Bai , Di Wu , Tristan Shelley , Peter Schubel , David Twine , John Russell , Xuesen Zeng , Ji Zhang

Robustness is often regarded as a critical future challenge for real-world applications, where stability is essential. However, as models often learn tasks in a similar order, we hypothesize that easier tasks will be easier regardless of…

Machine Learning · Computer Science 2026-02-04 Shir Ashury-Tahan , Ariel Gera , Elron Bandel , Michal Shmueli-Scheuer , Leshem Choshen

Industrial Artificial Intelligence (Industrial AI) is an emerging concept which refers to the application of artificial intelligence to industry. Industrial AI promises more efficient future industrial control systems. However,…

Machine learning techniques have been widely employed as effective tools in addressing various engineering challenges in recent years, particularly for the challenging task of microstructure-informed materials modeling. This work provides a…

Materials Science · Physics 2024-05-29 Xiang-Long Peng , Mozhdeh Fathidoost , Binbin Lin , Yangyiwei Yang , Bai-Xiang Xu

We present Integer Linear Programming (ILP) Modulo Theories (IMT). An IMT instance is an Integer Linear Programming instance, where some symbols have interpretations in background theories. In previous work, the IMT approach has been…

Logic in Computer Science · Computer Science 2013-04-09 Panagiotis Manolios , Vasilis Papavasileiou

Mobile agents are essential for automating tasks in complex and dynamic mobile environments. As foundation models evolve, the demands for agents that can adapt in real-time and process multimodal data have grown. This survey provides a…

Artificial Intelligence · Computer Science 2025-09-16 Biao Wu , Yanda Li , Zhiwei Zhang , Yunchao Wei , Meng Fang , Ling Chen