SCICO @SCICO_journal

Science of Computer Programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance. journals.elsevier.com/science-of-com… Joined January 2021

Tweets

363
Followers

253
Following

45
Likes

30

SCICO @SCICO_journal

a day ago

Ding et al. introduce a Metric Attention Module (MAM) that boosts software defect prediction by mining correlations in features and modules. It was evaluated on several datasets in within- and cross-project settings, showing improvements over baselines. doi.org/10.1016/j.scic…

0 0 0 11 0

SCICO @SCICO_journal

6 days ago

Suwa and Igarashi introduce MetaFM, a module system enabling cross-stage type abstraction in multi-stage programming with advanced module features. It is evaluated through two formal semantics and a real-world implementation showing type safety. authors.elsevier.com/a/1lbtuc7X5EoFU

0 0 1 11 0

SCICO @SCICO_journal

a week ago

Rabbiun et al. introduce an exact schedulability test for Adaptive Mixed-Criticality systems with Weakly-Hard constraints using a generalized (m,k)-firm model. The evaluation shows an 18% schedulability improvement over the traditional skip-over model. authors.elsevier.com/a/1lbEtc7X5EoFy

0 0 1 18 0

SCICO @SCICO_journal

2 weeks ago

Boukham et al. present a retrospective case study on using the Spoofax language workbench at Oracle to develop DSLs for large-scale graph analytics. The evaluation examines how Spoofax met industrial needs over 10 years in real-world use. authors.elsevier.com/a/1lZTec7X5EoFH

0 0 1 23 0

SCICO @SCICO_journal

2 weeks ago

Llanez et al. integrate four software design patterns into the Cognitive-Affective (COGAF) model to streamline the development of Serious Games. A case study shows improved code organization and efficiency without compromising training effectiveness. sciencedirect.com/science/articl…

0 0 1 17 0

SCICO @SCICO_journal

3 weeks ago

Ahmadi introduces a typed, index-free framework for linear algebra and tensor calculus using semiadditive 2-categories, where tensors are modeled as 1- and 2-morphisms. The framework is assessed through explicit operations within the 2-category of 2Vec. doi.org/10.1016/j.scic…

0 0 1 21 0

SCICO @SCICO_journal

3 weeks ago

Zhao and Chen introduce Wolfs, a communication-centric programming framework for Distributed Computing Continuum Systems using hierarchical models built from basic programming constructs. Its capabilities are demonstrated through two case studies. authors.elsevier.com/a/1lWatc7X5EoDU

0 0 1 19 0

SCICO @SCICO_journal

4 weeks ago

Zili et al. introduce WEST, an interactive visualization tool to help practitioners validate Mission-time Linear Temporal Logic (MLTL). The evaluation includes 5 validation methods and scalability tests with 3 suites of randomly generated MLTL formulas. authors.elsevier.com/a/1lSM5c7X5EoDI

0 0 2 29 0

SCICO @SCICO_journal

a month ago

Dai et al. introduce IMOACT, a framework that uses intrathread method orders to generate effective concurrency tests adaptively. Experiments show it improves bug detection by 65% and runs 2.43× faster than existing methods. doi.org/10.1016/j.scic…

0 0 1 25 0

SCICO @SCICO_journal

a month ago

Liu et al. introduce an optimized Farkas' Lemma-based invariant generation method using divide-and-conquer and pruning to reduce CNF-to-DNF conversion overhead. It achieved a 9.27x speedup over existing methods with the same accuracy on a custom dataset. authors.elsevier.com/a/1lRvnc7X5EoCj

0 0 1 27 0

SCICO @SCICO_journal

2 months ago

Zhu et al. present a method using a fine-tuned BERT model to detect duplicate vulnerability records across databases (CVE, OSV, etc.). It outperforms other methods, generalizes well to unseen data, and enhances database maintenance. authors.elsevier.com/a/1lOu7c7X5EoC6

0 0 1 68 0

SCICO @SCICO_journal

2 months ago

Francalanza et al. introduce Grits, a channel-based message-passing concurrent language. The language leverages modalities from adjoint logic to express idioms like broadcast communication and message cancellation. doi.org/10.1016/j.scic…

0 0 1 38 0

SCICO @SCICO_journal

2 months ago

Cuijpers et al. present a method to synthesize infinite, safe schedules for multi-variable Energy Timed Automata using limit sets and quantifier elimination. The method is validated in an industrial oil tank case study. doi.org/10.1016/j.scic…

0 0 1 51 0

SCICO @SCICO_journal

2 months ago

Wang et al. analyze five C random program generators for compiler testing. Each generator produces distinct program features, influencing compiler component coverage differently. authors.elsevier.com/a/1lNXN_3pyw7u…

0 0 1 30 0

SCICO @SCICO_journal

2 months ago

Aguzzi et al. present ScaFi-Blocks, a visual low-code environment that simplifies the design of swarm algorithms. It lowers the entry barrier for programming collective systems by allowing users to visually build swarm behaviors. authors.elsevier.com/a/1lMNXc7X5EoBw

0 0 1 33 0

SCICO @SCICO_journal

2 months ago

Bogø et al. present PN2CCS, a browser-based tool that encodes Petri nets into CCS to apply process calculi techniques to process mining. Evaluation is demonstrated through functional capability, without the use of formal benchmarks. authors.elsevier.com/a/1lPE8c7X5EoBk

0 0 1 38 0

SCICO @SCICO_journal

2 months ago

Wen et al. present APT-DRL, a deep reinforcement learning approach using PPO for efficient pairwise test suite generation. By modeling coverage as a state and applying action masking, it outperforms or matches 8 baselines in coverage and efficiency. authors.elsevier.com/a/1lKjec7X5EoBX

0 0 1 37 0

SCICO @SCICO_journal

3 months ago

Edwards et al. released Fossil 2.0 for synthesizing certificates and controllers for dynamical systems. This version supports a broader class of certificates, integrates control law synthesis, and is compatible with discrete-time models. doi.org/10.1016/j.scic…

0 0 1 39 0

SCICO @SCICO_journal

3 months ago

Manzino and de Latorre present a Haskell-embedded DSL that enforces Delimited Release by encoding security policies in types, reducing to type-checking verification. It is evaluated via three examples: purchase, database access, and password checking. authors.elsevier.com/a/1lI3Fc7X5EoB9

0 0 1 59 0

SCICO @SCICO_journal

3 months ago

Passato et al. present DEScMaker to automatically generate C or structured code from SCT-based FSM controllers, preserving properties like controllability and non-blockingness. Its effectiveness is shown through examples comparing it to manual coding. authors.elsevier.com/a/1lI6Yc7X5EoB3