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

356
Followers

253
Following

45
Likes

30

SCICO @SCICO_journal

4 days 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 20 0

SCICO @SCICO_journal

2 weeks 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 21 0

SCICO @SCICO_journal

3 weeks 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 26 0

SCICO @SCICO_journal

4 weeks 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 67 0

SCICO @SCICO_journal

4 weeks 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

a month 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

a month 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

a month 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 32 0

SCICO @SCICO_journal

a month 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

2 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

2 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

2 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

0 1 5 114 0

SCICO @SCICO_journal

2 months ago

Lourenço and Pinto present Why3-do for auto-active verification of distributed algorithms supporting specification refinement and extension for specific classes. The evaluation includes a verified gallery of distributed algorithms, e.g., Paxos consensus. doi.org/10.1016/j.scic…

0 0 1 30 0

SCICO @SCICO_journal

2 months ago

Cruz et al. employ continuous feedback to enhance ML-based code smell detection. They compare detection performance before and after iterative expert-like feedback on 4 code smells on 20 Java systems, showing notable accuracy and F1-score improvements. authors.elsevier.com/a/1lExUc7X5EoAJ

0 0 1 41 0

SCICO @SCICO_journal

2 months ago

De Palma et al. incorporate tAPP, a declarative language for expressing topology-aware scheduling policies in OpenWhisk. In a case study across multiple cloud regions, tAPP reduces latency and performance variability compared to standard OpenWhisk. doi.org/10.1016/j.scic…

0 0 1 57 0

SCICO @SCICO_journal

2 months ago

Scott and Johnstone introduce a modified version of Earley's general parsing algorithm that employs a precomputed table to improve efficiency. On Java and ANSI C, it shows less memory usage and efficiency than the traditional Earley parser. doi.org/10.1016/j.scic…

0 0 1 40 0

SCICO @SCICO_journal

2 months ago

Belghiat presents a method to assign formal semantics to UML2 sequence diagrams via translation into π-calculus. It enables systematic construction and reasoning of complex behaviors through a case study with the MWB tool for formal verification. authors.elsevier.com/a/1lAnrc7X5Eo8V

0 0 1 52 0

SCICO @SCICO_journal

3 months ago

Aracena et al. propose an LLM-based method for automating issue classification, with less need for large training data. Evaluation on NLBSE 2023 and 2024 datasets revealed that fine-tuned GPT-4o outperformed DeepSeek R1, achieving an average 80.7% F1. authors.elsevier.com/a/1l9jmc7X5Eo8J

0 0 1 76 0

SCICO @SCICO_journal

3 months ago

Li et al. introduce ESBMC v7.6, an enhanced SMT-based model checker for C++ that builds on the Clang-based front-end of ESBMC v7.3. It supports exception handling, improved memory safety analysis, and updated STL operational models using Clang AST. doi.org/10.1016/j.scic…