样式: 排序: IF: - GO 导出 标记为已读
-
Stark: A tool for the analysis of CPSs robustness Sci. Comput. Program. (IF 1.3) Pub Date : 2024-04-18 Valentina Castiglioni, Michele Loreti, Simone Tini
We present the (), our Java tool for the specification, analysis and verification of robustness properties of Cyber-Physical Systems (CPSs). includes: (i) a specification language for systems behaviour, perturbations, distances on systems behaviours, and requirements on systems behaviour expressed in the (), a temporal logic for the specification and verification of properties on the evolution of between
-
Verifying safety of neural networks from topological perspectives Sci. Comput. Program. (IF 1.3) Pub Date : 2024-04-16 Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
Neural networks (NNs) are increasingly applied in safety-critical systems such as autonomous vehicles. However, they are fragile and are often ill-behaved. Consequently, their behaviors should undergo rigorous guarantees before deployment in practice. In this paper, we propose a set-boundary reachability method to investigate the safety verification problem of NNs from topological perspectives. Given
-
A pragma based C++ framework for hybrid quantum/classical computation Sci. Comput. Program. (IF 1.3) Pub Date : 2024-04-10 Arnaud Gazda, Océane Koska
Quantum computers promise exponential speed ups over classical computers for various tasks. This emerging technology is expected to have its first huge impact in High Performance Computing (HPC), as it can solve problems beyond the reach of HPC. To that end, HPC will require quantum accelerators, which will enable applications to run on both classical and quantum devices, via hybrid quantum-classical
-
Toward a novel taxonomy to capture code smells caused by refactoring Sci. Comput. Program. (IF 1.3) Pub Date : 2024-04-09 Mashail N. Alkhomsan, Mohammad Alshayeb, Malak Baslyman
Code smells tend to have an impact on software quality attributes such as reusability, maintainability, and understandability. These are code flaws that do not necessarily prevent the system from operating; rather, they increase the possibility of defects occurring in the future. Hence, to maintain code quality, code smells should be detected and corrected through refactoring. The objective of this
-
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents Sci. Comput. Program. (IF 1.3) Pub Date : 2024-04-09 Sinem Getir Yaman, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Cavalcanti, Radu Calinescu
A growing range of applications use AI and other autonomous agents to perform tasks that raise social, legal, ethical, empathetic, and cultural (SLEEC) concerns. To support a framework for the consideration of these concerns, we introduce SLEEC-TK, a toolkit for specification, validation, and verification of SLEEC requirements. SLEEC-TK is an Eclipse-based environment for defining SLEEC rules in a
-
Synthesizing LTL contracts from component libraries using rich counterexamples Sci. Comput. Program. (IF 1.3) Pub Date : 2024-04-05 Antonio Iannopollo, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
We provide a method to synthesize an LTL Assume/Guarantee (A/G) specification, or contract, as an interconnection of elements from a library, each of which is also represented by an LTL A/G contract. Our approach, based on counterexample-guided inductive synthesis, leverages an off-the-shelf model checker to reason about infinite-length counterexamples and guarantee correctness. To increase scalability
-
Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging Sci. Comput. Program. (IF 1.3) Pub Date : 2024-04-05 Kazumasa Shimari, Takashi Ishio, Tetsuya Kanda, Katsuro Inoue
Debugging is an important task to identify the defects in the software. Especially, logging is an important feature of a software system to record runtime information. Detailed logging allows developers to collect run-time information when they cannot use an interactive debugger, such as continuous integration and web application server cases. However, extensive logging leads to larger execution traces
-
Agile effort estimation in Colombia: An assessment and opportunities for improvement Sci. Comput. Program. (IF 1.3) Pub Date : 2024-04-05 Juan Cubillos, Jairo Aponte, Diana Gomez, Edwar Rojas
Effort estimation is fundamental for the development of software projects and critical to their success. The objective of this paper is to understand how Colombian agile practitioners perform effort estimates and to identify opportunities for improvement based on these results. For this purpose, we conducted an exploratory survey study using as instrument an on-line questionnaire answered by agile
-
Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving Sci. Comput. Program. (IF 1.3) Pub Date : 2024-04-03 Joabe Jesus, Augusto Sampaio
Compositional deadlock analysis of process networks is a well-known challenge. We propose a compositional deadlock analysis strategy for timed process networks, more specifically, those obtained from multi-rate block diagrams. We handle models with both acyclic and cyclic communication graphs. Particularly, the latter naturally happens in models with feedback, among other kinds of cycles. Since there
-
Out of step: Code clone detection for mobile apps across different language codebases Sci. Comput. Program. (IF 1.3) Pub Date : 2024-04-03 Stephannie Jimenez, Gordana Rakić, Silvia Takahashi, Nicolás Cardozo
Clone detection provides insight about replicated fragments in a code base. With the rise of multi-language code bases, new techniques addressing cross-language code clone detection enable the analysis of polyglot systems. Such techniques have not yet been applied to the mobile apps' domain, which are naturally polyglot. Native mobile app developers must synchronize their code base in at least two
-
Exploring issues of story-based effort estimation in Agile Software Development (ASD) Sci. Comput. Program. (IF 1.3) Pub Date : 2024-03-31 Muhammad Iqbal, Muhammad Ijaz, Tehseen Mazhar, Tariq Shahzad, Qamar Abbas, YazeedYasin Ghadi, Wasim Ahmad, Habib Hamam
Effort estimation based on user stories plays a pivotal role in agile software development, where accurate predictions of project efforts are vital for success. While various supervised ML tools attempt to estimate effort, the prevalence of estimation errors presents significant challenges, as evidenced by the CHAOS report by the Standish Group, which highlights incorrect estimations contributing to
-
Actionable code smell identification with fusion learning of metrics and semantics Sci. Comput. Program. (IF 1.3) Pub Date : 2024-03-27 Dongjin Yu, Quanxin Yang, Xin Chen, Jie Chen, Sixuan Wang, Yihang Xu
Code smell detection is one of the essential tasks in the field of software engineering. Identifying whether a code snippet has a code smell is subjective and varies by programming language, developer, and development method. Moreover, developers tend to focus on code smells that have a real impact on development and ignore insignificant ones. However, existing static code analysis tools and code smell
-
Implementing an environment for hybrid software evaluation Sci. Comput. Program. (IF 1.3) Pub Date : 2024-03-24 Ana Díaz-Muñoz, Moisés Rodríguez, Mario Piattini
Quantum computing is a revolutionary paradigm in computer science based on the principles of quantum mechanics. It has the potential to solve problems that are currently unsolvable for classical computing. Applications of quantum computing already span a variety of sectors.
-
“Will I be replaced?” Assessing ChatGPT's effect on software development and programmer perceptions of AI tools Sci. Comput. Program. (IF 1.3) Pub Date : 2024-03-22 Mohammad Amin Kuhail, Sujith Samuel Mathew, Ashraf Khalil, Jose Berengueres, Syed Jawad Hussain Shah
ChatGPT is a language model with artificial intelligence (AI) capabilities that has found utility across various sectors. Given its impact, we conducted two empirical studies to assess the potential and limitations of ChatGPT and other AI tools in software development. In the first study, we evaluated ChatGPT 3.5′s effectiveness in generating code for 180 coding problems from LeetCode, an online coding
-
PX-MBT: A framework for model-based player experience testing Sci. Comput. Program. (IF 1.3) Pub Date : 2024-03-20 Saba Gholizadeh Ansari, I.S.W.B. Prasetya, Mehdi Dastani, Gabriele Keller, Davide Prandi, Fitsum Meshesha Kifetew, Frank Dignum
As video games become more complex and widespread, player experience (PX) testing becomes crucial in the game industry. Attracting and retaining players are key elements to guarantee the success of a game in the highly competitive market. Although a number of techniques have been introduced to measure the emotional aspect of the experience, automated testing of player experience still needs to be explored
-
A method to identify overfitting program repair patches based on expression tree Sci. Comput. Program. (IF 1.3) Pub Date : 2024-03-05 Yukun Dong, Xiaotong Cheng, Yufei Yang, Lulu Zhang, Shuqi Wang, Lingjie Kong
The primary aim of Automatic Program Repair (APR) is to automatically repair defective programs, with the intention of reducing the amount of effort required by developers. However, APR techniques may produce overfitting patches that do not truly repair the program, allowing the program to pass all test cases. This paper provides a comprehensive review of the overfitting problem and adds to the existing
-
Diagnosis of package installation incompatibility via knowledge base Sci. Comput. Program. (IF 1.3) Pub Date : 2024-03-01 Yulu Cao, Zhifei Chen, Xiaowei Zhang, Yanhui Li, Lin Chen, Linzhang Wang
Python package installation is far from trivial. Users encounter a variety of errors when installing Python libraries, including dependency conflicts and incompatibilities. Existing solutions focus on parsing third-party dependencies but ignore the impact of local settings and user requirements. In this paper, we propose a novel approach, HELP, to help Python users tackle installation errors. We first
-
Sibilla: A tool for reasoning about collective systems Sci. Comput. Program. (IF 1.3) Pub Date : 2024-02-28 Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti
Formal approaches and tools have been defined, implemented and successfully applied to support the design and development of Collective Adaptive Systems. These tools are highly specialised in their fields, and their integration requires an effort.
-
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022 Sci. Comput. Program. (IF 1.3) Pub Date : 2024-02-23 Ferruccio Damiani, David Eyers, Anna Philippou
-
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems Sci. Comput. Program. (IF 1.3) Pub Date : 2024-02-23 Byeongjee Kang, Kyungmin Bae
A concurrent system specified as a rewrite theory can be analyzed symbolically using narrowing-based reachability analysis. Narrowing-based approaches have been applied to formally analyze cryptographic protocols and parameterized protocols. However, existing narrowing-based analysis methods, based on a breadth-first-search strategy, cannot deal with generic distributed systems with objects and messages
-
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology Sci. Comput. Program. (IF 1.3) Pub Date : 2024-02-20 Pablo Becker, María Fernanda Papa, Luis Olsina
-
Neighborhood contrastive learning-based graph neural network for bug triaging Sci. Comput. Program. (IF 1.3) Pub Date : 2024-02-20 Haozhen Dong, Hongmin Ren, Jialiang Shi, Yichen Xie, Xudong Hu
Researchers have been developing automatic bug triaging techniques by leveraging bug information sourced from bug tracking systems. Recent studies have modeled the bug-developer relationship as a graph, introducing graph neural networks for bug triaging. Despite achieving positive outcomes, these methods overlook issues related to data sparsity and fail to fully exploit implicit relationships within
-
Introduction to the TASE 2022 Special issue Sci. Comput. Program. (IF 1.3) Pub Date : 2024-02-10 Yamine Ait-Ameur, Florin Craciun
-
Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering Sci. Comput. Program. (IF 1.3) Pub Date : 2024-02-09 Davide Di Ruscio, Jessie Galasso, Richard Paige
-
The Modeling Assistant Recommender: A UML class diagram recommender system Sci. Comput. Program. (IF 1.3) Pub Date : 2024-02-09 Maxime Savary-Leblanc, Xavier Le Pallec, Sébastien Gérard
IDEs are in full mutation thanks to more and more intelligent code completion and validation functionalities. These intelligent features also facilitate the creation of new ways of programming such as low-code or no-code. In the meantime, modeling environments still suffer, for the most part, from their outdated interfaces, their too basic features, or their lack of usability. Our research work on
-
A model-checker exploiting structural reductions even with stutter sensitive LTL Sci. Comput. Program. (IF 1.3) Pub Date : 2024-02-06 Yann Thierry-Mieg, Etienne Renault, Emmanuel Paviot-Adet, Denis Poitrenaud
In we proposed to verify LTL properties using a fine grain analysis classifying formulae into four classes (stutter, shortening, lengthening insensitive or none of these). With this classification we extend the applicability of structural reduction to two new classes of formulas, when classical techniques are only applicable for stutter insensitive formulas. This comes at the price of a semi-decision
-
Operationally proving memory access violations in Isabelle/HOL Sci. Comput. Program. (IF 1.3) Pub Date : 2024-01-29 Sharar Ahmadi, Brijesh Dongol, Matt Griffin
Security-critical applications often rely on memory isolation mechanisms to ensure integrity of critical data (e.g., keys) and program instructions (e.g., implementing an attestation protocol). These include software-based security microvisor S μV or hardware-based (e.g., TrustLite or SMART) techniques. Here, we must guarantee that during an execution of a program, none of the assembly-level instructions
-
An industrial experience of using reference architectures for mapping features to code Sci. Comput. Program. (IF 1.3) Pub Date : 2024-01-23 Karam Ignaim, João M. Fernandes, André L. Ferreira
Software Product Lines (SPLs) constitute a popular method for encouraging the methodical reuse of software artefacts. Just like any other piece of software, SPLs require management throughout their evolution, namely to preserve the consistency between requirements and the code. Over time, for a given SPL, many change requests are made and all of them need to be integrated in a consistent and coordinated
-
A framework for higher-order effects & handlers Sci. Comput. Program. (IF 1.3) Pub Date : 2024-01-17 Birthe van den Berg, Tom Schrijvers
Algebraic effects & handlers are a modular approach for modeling side-effects in functional programming. Their syntax is defined in terms of a signature of effectful operations, encoded as a functor, that are plugged into the free monad; their denotational semantics is defined by fold-style handlers that only interpret their part of the syntax and forward the rest. However, not all effects are algebraic:
-
-
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis Sci. Comput. Program. (IF 1.3) Pub Date : 2024-01-12 Xiaoxue Wu, Yizeng Gu, Lidan Lin, Wei Zheng, Xiang Chen
With the increasing use of intelligent systems in various domains such as self-driving cars, robotics, and smart cities, it is crucial to ensure the quality of intelligent systems for their reliable and effective use in various domains. However, testing intelligent systems poses unique challenges due to their complex structure, low efficiency, and the high cost associated with manually collecting a
-
HFCommunity: An extraction process and relational database to analyze Hugging Face Hub data Sci. Comput. Program. (IF 1.3) Pub Date : 2024-01-10 Adem Ait, Javier Luis Cánovas Izquierdo, Jordi Cabot
Social coding platforms such as or have become the standard for developing Open-Source Software (OSS) projects. With the emergence of Machine Learning (ML), platforms specifically designed for hosting and developing ML-based projects have appeared, being (HFH) one of the most popular ones. HFH aims at sharing datasets, pre-trained ML models and the applications built with them. With over 400 K repositories
-
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection Sci. Comput. Program. (IF 1.3) Pub Date : 2024-01-04 Huiwen Yang, Xiguo Gu, Xiang Chen, Liwei Zheng, Zhanqi Cui
Smart contracts are computer programs that run on a blockchain. As the functions implemented by smart contracts become increasingly complex, the number of cross-contract interactions within them also rises. Consequently, the combinatorial explosion of transaction sequences poses a significant challenge for smart contract security vulnerability detection. Existing static analysis-based methods for detecting
-
Verification of message-passing uninterpreted programs Sci. Comput. Program. (IF 1.3) Pub Date : 2024-01-02 Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang
Message-passing programs involve several processes with channel-based communications to deal with tasks concurrently. The complex computations and communications between processes make the verification of message-passing programs hard. By regarding the functions in programs as uninterpreted functions, we focus on the verification problem of message-passing uninterpreted programs. Although the usage
-
Monitoring and forecasting usability indicators: A business intelligence approach for leveraging user-centered evaluation data Sci. Comput. Program. (IF 1.3) Pub Date : 2023-12-30 José A Macías, Clemente R. Borges
Monitoring performance indicators has become a main concern for most organizations today. While much attention has been paid to developing economic, bioinformatics, health, and social media dashboards, little or no attention has been devoted to monitoring and forecasting usability indicators. This can be of interest for analyzing the degree of perceived satisfaction and usability of interactive software
-
Symbolic Analysis and Parameter Synthesis for Networks of Parametric Timed Automata with Global Variables using Maude and SMT Solving Sci. Comput. Program. (IF 1.3) Pub Date : 2023-12-14 Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
This paper presents a rewriting logic “interpreter” for networks of parametric timed automata with global variables (NPTAVs) in Real-Time Maude style. Since explicit-state analysis is not sound and complete for such dense-time systems, we explain how our real-time rewrite theory can be systematically transformed into a rewrite theory that is amenable to symbolic analysis using the integration of Maude
-
TDFix: A lightweight tool for fixing deadlocks based on templates Sci. Comput. Program. (IF 1.3) Pub Date : 2023-12-14 Wangjie Ji, Lili Bo, Yanchi Yuan, Xiaobing Sun
Deadlock is notoriously difficult to detect and fix correctly. Existing approaches aim at fixing deadlocks under the premise of having known the deadlock and the buggy code involved in the deadlock, which leads to a certain gap from the practical multithreaded software development. In this paper, we describe the design and implementation of TDFix, which can detect, localize, and fix deadlocks in Java
-
Preface to the special issue on success stories in model driven engineering Sci. Comput. Program. (IF 1.3) Pub Date : 2023-12-05 Paula Muñoz, Steffen Zschaler, Richard F. Paige
Abstract not available
-
Preface for the Special Issue on SBST’22: Search-Based Software Testing - Tools Sci. Comput. Program. (IF 1.3) Pub Date : 2023-11-30
Abstract not available
-
WebDraw: A machine learning-driven tool for automatic website prototyping Sci. Comput. Program. (IF 1.3) Pub Date : 2023-11-28 Thisaranie Kaluarachchi, Manjusri Wickramasinghe
To overcome the time-consuming nature and improve the cost-effectiveness of classical web development, being automatic is the most convenient alternative recent researchers suggest. Over the years, researchers have been working on inventing new approaches to generating websites automatically. In this paper, a novel approach is presented that automates the website generation process by incorporating
-
Model based component development and analysis with ComMA Sci. Comput. Program. (IF 1.3) Pub Date : 2023-11-22 Ivan Kurtev, Jozef Hooman, Mathijs Schuts, Daan van der Munnik
The lack of explicit and precise specifications of software interfaces between components often leads to integration issues during development and maintenance. To address this, we have developed a framework named ComMA (Component Modeling and Analysis) that supports model-based engineering of high-tech systems by precisely defining components and their interfaces. The framework is a family of Domain
-
What makes a real change in software performance? An empirical study on analyzing the factors that affect the triagement of performance change points Sci. Comput. Program. (IF 1.3) Pub Date : 2023-11-22 Jie Chen, Ziyuan Zhang, Dongjin Yu, Haiyang Hu
Performance tests can be automatically done on each commit version with a continuous integration system. After code changes are pushed to the repository, multiple benchmark tests are run to measure system's performance. Change point detection technology analyzes all these outcomes to identify commits that significantly change performance automatically. However, a considerable number of automatically
-
Preface for “Selected papers from the 25th Ibero-American Conference on Software Engineering (CIbSE 2022)” Sci. Comput. Program. (IF 1.3) Pub Date : 2023-11-17 Jose Luis de la Vara, Monalessa Barcellos, Marcela Genero, Renata Guizzardi
Abstract not available
-
OnTrack: Reflecting on domain specific formal methods for railway designs Sci. Comput. Program. (IF 1.3) Pub Date : 2023-11-15 Phillip James, Faron Moller, Filippos Pantekis
OnTrack is a tool that supports workflows for railway verification that has been implemented using model driven engineering frameworks. Starting with graphical scheme plans and finishing with automatically generated formal models set-up for verification, OnTrack allows railway engineers to interact with verification procedures through encapsulating formal methods. OnTrack is grounded on a domain specification
-
Translation Certification for Smart Contracts Sci. Comput. Program. (IF 1.3) Pub Date : 2023-11-07 Jacco O.G. Krijnen, Manuel M.T. Chakravarty, Gabriele Keller, Wouter Swierstra
Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart contracts are self-contained pieces of software that control (valuable) assets in an adversarial environment; once committed to the blockchain, these smart contracts cannot be modified. Smart contracts are typically developed in a high-level contract language
-
An industrial experience report on model-based, AI-enabled proposal development for an RFP/RFI Sci. Comput. Program. (IF 1.3) Pub Date : 2023-11-10 Padmalata Nistala, Asha Rajbhoj, Vinay Kulkarni, Sapphire Noronha, Ankit Joshi
Large organizations respond to huge volumes of Request for Proposals (RFP)/ Request for Information (RFI) every year. The process of developing a proposal for an RFP/ RFI is completely manual and time-, effort-, and intellect-intensive. While Model Driven Engineering (MDE) approaches have been popular in downstream Software Development Lifecycle (SDLC) phases to transform the design models into code
-
Reasoning about logical systems in the Coq proof assistant Sci. Comput. Program. (IF 1.3) Pub Date : 2023-11-10 Conor Reynolds, Rosemary Monahan
The theory of institutions provides an abstract mathematical framework for specifying logical systems and their semantic relationships. Institutions are based on category theory and have deep roots in a well-developed branch of algebraic specification. However, there are no machine-assisted proofs of correctness for institution-theoretic constructions—chiefly satisfaction conditions for institutions
-
Testing and incremental conformance testing of timed state machines Sci. Comput. Program. (IF 1.3) Pub Date : 2023-11-07 Aleksandr Tvardovskii, Khaled El-Fakih, Nina Yevtushenko
We present methods for testing and incremental testing of systems modeled as finite state machines with timeouts (TFSMs). For testing, we establish an appropriate fault model and show how a complete test suite can be derived for a given TFSM specification using traditional FSM-based test derivation approaches considering an untimed FSM abstraction of the given specification. In addition, we consider
-
Preface for the special issue on “Fundamental Approaches to Software Engineering” (FASE 2022) Sci. Comput. Program. (IF 1.3) Pub Date : 2023-11-04 Marie-Christine Jakobs, Einar Broch Johnsen, Eduard Kamburjan, Manuel Wimmer
Abstract not available
-
AnimUML: A practical tool for partial model animation and analysis Sci. Comput. Program. (IF 1.3) Pub Date : 2023-10-31 Frédéric Jouault, Valentin Besnard, Matthias Brun, Théo Le Calvar, Fabien Chhel, Mickaël Clavreul, Jérome Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov
Each software modeling tool typically supports only a few tasks among model creation, simulation, debugging, analysis, transformation, deployment, and monitoring. Therefore, multiple tools must generally be jointly used. However, few guarantees are generally provided regarding their semantic compatibility. This paper presents AnimUML, a UML modeling tool supporting most modeling tasks, and helping
-
Enhancing test reuse with GUI events deduplication and adaptive semantic matching Sci. Comput. Program. (IF 1.3) Pub Date : 2023-10-31 Shuqi Liu, Yu Zhou, Longbing Ji, Tingting Han, Taolue Chen
Developers typically employ Graphical User Interface (GUI) testing to ensure the expected behavior of applications, but they face the challenge of designing appropriate test cases with functional features. Recently, researchers have proposed several test reuse methods based on semantic matching to alleviate the burden. However, the limited text semantic information and semantic matching rules between
-
Preface for the special issue on NLBSE’22: Natural Language-based Software to support software engineering processes Sci. Comput. Program. (IF 1.3) Pub Date : 2023-10-28
Abstract not available
-
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report Sci. Comput. Program. (IF 1.3) Pub Date : 2023-10-23 Andrey Sadovykh, Bilal Said, Dragos Truscan, Hugo Bruneliere
In this paper, we report on our 7 years of practical experience designing, developing, deploying, using, and evolving an iterative Model-based Requirements Engineering (MBRE) approach and language in the context of five large European collaborative projects providing complex software-intensive solutions. Based on significant data sets collected both during project execution and via surveys realized
-
Web Augmentation: A systematic mapping study Sci. Comput. Program. (IF 1.3) Pub Date : 2023-10-23 Iñigo Aldalur
The potential of Web Augmentation lies in the fact that all users need to adapt the content, style, or behavior of the web pages they visit. This is because every human being has different desires and needs, yet everyone accesses web pages designed for the general public, which cannot satisfy everyone. Web Augmentation tools have diverse objectives, such as modifying content, style, or behavior. Similarly
-
A formal approach for the correct deployment of cloud applications Sci. Comput. Program. (IF 1.3) Pub Date : 2023-10-21 Amel Mammar, Meriem Belguidoum, Saddam Hocine Hiba
The deployment of cloud applications is a complex task. It refers to the enablement of SaaS, PaaS or IaaS solutions that may be accessed on demand by end users. It encompasses all the activities from installation to uninstallation, including reconfiguration, etc. To facilitate the deployment of cloud applications, it is essential to design them as component-based applications in order to favor the
-
TyphonML: Tool support for hybrid polystores Sci. Comput. Program. (IF 1.3) Pub Date : 2023-10-16 Francesco Basciani, Juri Di Rocco, Ludovico Iovino, Alfonso Pierantonio
Polystore technology supports transparent data access, however building and deploying hybrid data persistence structures is unsupported, complex, and error-prone. Existing methods do not separate conceptual and storage concepts or technology components from modeling data items. Thus, a transparent data layer across technologies is unsupported. This document describes TyphonML's hybrid polystore modeling
-
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications Sci. Comput. Program. (IF 1.3) Pub Date : 2023-10-20 Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A.C. Willemse
The eXtensible Access Control Markup Language (XACML) is a popular OASIS standard for the specification of fine-grained access control policies. However, the standard does not provide a proper solution for the verification of XACML access control policies before their deployment. The first step for the formal verification of XACML policies is to formally specify such policies. Hence, this paper presents
-
SolAR: Automated test-suite generation for solidity smart contracts Sci. Comput. Program. (IF 1.3) Pub Date : 2023-10-12 S.W. Driessen, D. Di Nucci, D.A. Tamburri, W.J. van den Heuvel
Smart contracts have rapidly gained popularity as self-contained pieces of code, especially those run on the Ethereum blockchain. On the one hand, smart contracts are immutable, have transparent workings, and execute autonomously. On the other hand, these qualities make it essential to properly test the behavior of a smart contract before deploying it. In this paper, we introduce SolAR, a tool and
-
Exploring complex models with picto web Sci. Comput. Program. (IF 1.3) Pub Date : 2023-10-10 Alfa Yohannis, Dimitris Kolovos, Antonio García-Domínguez
Picto Web is a multi-tenant web-based tool for complex model exploration. It can transform different types of models into a variety of transient web-based views in formats such as HTML, Graphviz and PlantUML using rule-based model-to-text transformations. Picto Web implements a lazy view computation approach to support large models and complex transformations efficiently, and includes model and transformation
-
Program generation meets program verification: A case study on number-theoretic transform Sci. Comput. Program. (IF 1.3) Pub Date : 2023-10-06 Masahiro Masuda, Yukiyoshi Kameyama
Program generation allows us to produce high-performance code specialized to each application domain. Although it has had great success in various domains, it remains to be seen whether it is effective for cryptography, where the correctness of programs is indispensable. This work presents a unified approach to program generation, analysis, and verification. Our target is Number-Theoretic Transform