Výsledky vyhledávání - "Software and its engineering Software organization and properties"

Fixing Large Language Models' Specification Misunderstanding for Better Code Generation Autor Tian, Zhao, Chen, Junjie, Zhang, Xiangyu

“…Code generation is to automatically generate source code conforming to a given programming specification, which has received extensive attention especially…”
Získat plný text

TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software Autor Birchler, Christian, Rohrbach, Cyrill, Kim, Hyeongkyun, Gambi, Alessio, Liu, Tianhai, Horneber, Jens, Kehrer, Timo, Panichella, Sebastiano

“…Safety-critical systems such as self-driving cars (SDCs) must be rigorously tested. Especially electronic control units (ECUs) of SDCs should be tested with…”
Získat plný text

Software Model Evolution with Large Language Models: Experiments on Simulated, Public, and Industrial Datasets Autor Tinnes, Christof, Welter, Alisa, Apel, Sven

“… As with other software engineering artifacts, software models are subject to evolution. Supporting modelers in evolving software models with recommendations for model completions is still an open problem, though…”
Získat plný text

EP-Detector: Automatic Detection of Error-Prone Operation Anomalies in Android Applications Autor Guo, Chenkai, Wang, Qianlu, Dong, Naipeng, Fan, Lingling, Wang, Tianhong, Zhang, Weijie, Chen, Enbao, Liu, Zheli, Yu, Lu

“… To achieve this objective, we investigated the root causes of EPAs from three dimensions, i.e., subject, object and environment…”
Získat plný text

A Generalized Approach for Solving Web Form Constraints Autor Karthein, Bjorn, Staicu, Cristian-Alexandru, Zeller, Andreas

“… Filling out forms automatically is challenging, as form fields would typically be subject to specific constraints that prevent entry of invalid data…”
Získat plný text

CoMSA: A Modeling-Driven Sampling Approach for Configuration Performance Testing Autor Xia, Yuanjie, Ding, Zishuo, Shang, Weiyi

“…Highly configurable systems enable customers to flexibly configure the systems in diverse deployment environments. The flexibility of configurations also poses…”
Získat plný text

Parametric Falsification of Many Probabilistic Requirements Under Flakiness Autor Camilli, Matteo, Mirandola, Raffaela

“…Falsification is a popular simulation-based testing method for Cyber-Physical Systems to find inputs that violate a formal requirement. It employs optimization…”
Získat plný text

Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning Autor Zhao, Hanrui, Zeng, Xia, Qi, Niuniu, Yang, Zhengfeng, Zeng, Zhenbing

“…) controllers for nonlinear systems subject to safety constraints. Our approach incorporates two phases…”
Získat plný text

Software architecture: foundations, theory, and practice Autor Medvidovic, Nenad, Taylor, Richard N.

“…Software architecture has become a centerpiece subject for software engineers, both researchers and practitioners alike…”
Získat plný text

Coverage-Driven Test Code Generation for Concurrent Classes Autor Terragni, Valerio, Shing-Chi Cheung

“…Previous techniques on concurrency testing have mainly focused on exploring the interleaving space of manually written test code to expose faulty interleavings…”
Získat plný text

From Sandbox to Playground: Dynamic Virtual Environments in the Grid Autor Keahey, Katarzyna, Doering, Karl, Foster, Ian

“…Much experience has been gained with the protocols and mechanisms needed for discovery and allocation of remote computational resources. However, the…”
Získat plný text

Checkpointing strategies for a fixed-length execution Autor Benoit, Anne, Perotin, Lucas, Robert, Yves, Vivien, Frederic

“…This work considers checkpointing strategies for a parallel application executing on a large-scale platform whose nodes are subject to failures…”
Získat plný text

Meeting Job-Level Dependencies by Task Merging Autor Becker, Matthias

“…Industrial applications are often time critical and subject to end-to-end latency constraints…”
Získat plný text

SBFT Tool Competition 2024 - Python Test Case Generation Track Autor Erni, Nicolas, Mohammed, Al-Ameen Mohammed Ali, Birchler, Christian, Derakhshanfar, Pouria, Lukasczyk, Stephan, Panichella, Sebastiano

“… budget of 400 seconds. We considered one configuration of each tool for each test subject and evaluated the tools…”
Získat plný text

Thermal aware task sequencing on embedded processors Autor Sushu Zhang, Chatha, Karam S

“…We seek to maximize the throughput of a periodic application by obtaining an optimized task sequence and dynamic voltage/frequency scaling schedules subject to a peak temperature constraint…”
Získat plný text

The MULTI Process Challenge Autor Almeida, Joao Paulo A., Rutle, Adrian, Wimmer, Manuel, Kuhne, Thomas

“… Despite the similar criteria, the subject domain has been changed entirely and new criteria have been added which are intended to increase opportunities for languages and tools to exercise their capabilities…”
Získat plný text

How Blockchain and Microservices are Being Used Together: a Systematic Mapping Study Autor Santos, Rayane, Soares, Pamella, Rodrigues, Evandro, Maia, Paulo Henrique M., Silveira, Amanda

“… This study aims to map how both tech-nologies have been integrated with applications, presenting the state of the art in the subject…”
Získat plný text

Multilevel Modelling with MultEcore: A Contribution to the MULTI Process Challenge Autor Rodriguez, Alejandro, Macias, Fernando

“… This year the subject domain has been changed with respect to previous editions (MULTI Bicycle challenge in 2017 and 2018…”
Získat plný text

Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis Autor Wang, Zan, You, Hanmo, Chen, Junjie, Zhang, Yingyi, Dong, Xuyuan, Zhang, Wenbin

“…Deep Neural Network (DNN) testing is one of the most widely-used ways to guarantee the quality of DNNs. However, labeling test inputs to check the correctness…”
Získat plný text

Towards Continuous Delivery for Domain Experts: Using MDE to Integrate Non-Programmers into a Software Delivery Pipeline Autor Nehls, Holger, Ratiu, Daniel

“…Modern computed tomography (CT) scanners are complex, software-intensive systems whose correct functioning is governed by over 100 parameters which depend on…”
Získat plný text