Science of Computer Programming

Article	Citations
Auto-active verification of distributed systems and specification refinements with Why3-do	52
Asynchronous unfold/fold transformation for fixpoint logic	38
Encoding TLA+ proof obligations safely for SMT	27
Social debt in software development environments: A systematic literature review	22
An adaptive pairwise testing algorithm based on deep reinforcement learning	21
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills	21
Towards partial monitoring: Never too early to give in	18
ModelSet: A labelled dataset of software models for machine learning	14
Neighborhood contrastive learning-based graph neural network for bug triaging	14
Revisiting occurrence typing	14
tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies	14
The complexity of evaluating nfer	13
Editorial Board	12
SolAR: Automated test-suite generation for solidity smart contracts	12
Interleaving semantics and verification of UML 2 dynamic interactions using process algebra	12
A model-checker exploiting structural reductions even with stutter sensitive LTL	11
Toward a novel taxonomy to capture code smells caused by refactoring	11
Orchestration for quantum services: The power of load balancing across multiple service providers	11
Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023)	11
Editorial Board	10
The Modeling Assistant Recommender: A UML class diagram recommender system	10
A pragma based C++ framework for hybrid quantum/classical computation	10
CtxFuzz: Discovering heap-based memory vulnerabilities through context heap operation sequence guided fuzzing	10
Graph neural network-based long method and blob code smell detection	10
Using word embedding and convolution neural network for bug triaging by considering design flaws	10

Low-code design of collective systems with ScaFi-Blocks	9
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems	9
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report	9
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)	8
Pattern-based circular reference detection in Python	8
Editorial Board	8
Using capabilities for strict runtime invariant checking	8
AmbieGen: A search-based framework for autonomous systems testing	8
Path-guided conformance test case generation for models with data and time using symbolic execution techniques	8
Monitoring and forecasting usability indicators: A business intelligence approach for leveraging user-centered evaluation data	8
ACSmt: A plugin for eclipse papyrus to model systems of systems	8
An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring	8
Does the compiler or interpreter version influence the energy consumption of programming languages?	8
Synthesizing LTL contracts from component libraries using rich counterexamples	8
State merging for concolic testing of event-driven applications	8
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021)	8
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties	8
Assessing the coverage of W-based conformance testing methods over code faults	7
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology	7
Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications	7
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis	7
Random test generators demystified: Differences and potential for compiler reliability	7
Multi-objective differential evolution in the generation of adversarial examples	7
DopSteg: Program steganography using data-oriented programming	7
Systematicity and generalizability in business process redesign methodologies: A systematic literature review	7
An empirical study of code clones: Density, entropy, and patterns	7
An industrial experience report on model-based, AI-enabled proposal development for an RFP/RFI	7
Preface for the special issue on “Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering” (FASE 2023)	6
Contract Automata Library	6
Exhaustive property oriented model-based testing with symbolic finite state machines	6
Software project management tools in practice in IT industry of Bangladesh	6
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator	6
CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphs	6
Editorial Board	6
How accessibility affects other quality attributes of software? A case study of GitHub	6
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations	6
Compositional noninterference on hardware weak memory models	6
Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools	6
Out of step: Code clone detection for mobile apps across different language codebases	6
“Your AI is impressive, but my code does not have any bugs” managing false positives in industrial contexts	6
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems	6
LayoutOptimizer: A layout rendering performance optimizer for Android application	6
Detecting duplicate vulnerability records across databases	6
Editorial Board	6
SBD: Securing safe rust automatically from unsafe rust	6
Intrathread method orders based adaptive testing of concurrent objects	5
Model independent refusal trace testing	5
Editorial Board	5
Automatic identification of extrinsic bug reports for just-in-time bug prediction	5
Program generation meets program verification: A case study on number-theoretic transform	5

A toolchain for domestic heat-pump control using Uppaal Stratego	5
Concurrent Distributed Systems Beyond Monotonicity	5
Editorial Board	5
Preface for “Selected Papers from the 27th Ibero-American Conference on Software Engineering (CIbSE 2024)”	5
A fairness-based refinement strategy to transform liveness properties in Event-B models	5
Applying large language models to issue classification: Revisiting with extended data and new models	5
Vamos: Middleware for best-effort third-party monitoring	5
WEST: Interactive validation of Mission-time Linear Temporal Logic (MLTL)	5
Reversing an imperative concurrent programming language	5
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation	5
A mechanized semantics for component-based systems in the HAMR AADL runtime	5
MMINT-A: A framework for model-based safety assurance	5
Formal verification of IoT applications using rewriting logic: An MDE-based approach	5
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool	4
Human-in-the-loop online just-in-time software defect prediction: What have we achieved and what do we still miss?	4
The CodeSparks Framework – Augmenting Source Code with Glyph-based Visualizations	4
Modular unification of unilingual pointer analyses to multilingual FFI-based programs	4
A program logic for fresh name generation	4
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020)	4
Report to the readership	4
Editorial Board	4
A programming framework for distributed computing continuum systems	4
MetaOCaml: ten years later – System description	4
Smart contract vulnerability detection using wide and deep neural network	4
A decentralized analysis of multiparty protocols	4
Special issue on Tools at the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)	4
Forward- or reverse-mode automatic differentiation: What's the difference?	4
IPFS requested content location service	4
Automated replication of tuple spaces via static analysis	4
PerturbationDrive: A Framework for Perturbation-Based Testing of ADAS	4
Denotational and operational semantics for interaction languages: Application to trace analysis	4
Gaiwan: A size-polymorphic typesystem for GPU programs	4
Towards a systematic approach to manual annotation of code smells	4
Design and Evaluation of Coconut: Typestates for C++	4
Verifying safety of neural networks from topological perspectives	4
What makes a real change in software performance? An empirical study on analyzing the factors that affect the triagement of performance change points	4
Extending the EB4EB framework with parameterised events	4
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021	4
S2O: A smart objects orchestrator framework based on the web of things	4
Deductive verification of solidity smart contracts with SSCalc	4
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents	4
Exploring complex models with picto web	4
Translation certification for smart contracts	3
Editorial Board	3
Verification of forward simulations with thread-local, step-local proof obligations	3
An exploratory study on the usage of quantum programming languages	3
Testing non-commutativity of reduce functions with multi-column inputs	3
A text-based syntax completion method using LR parsing and its evaluation	3
Prescriptive procedure for manual code smell annotation	3
Editorial Board	3
Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering	3
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection	3
Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems	3
Web Augmentation: A systematic mapping study	3
Editorial Board	3
TerGEC: A graph enhanced contrastive approach for program termination analysis	3
Automatic detection of infeasible paths in large-scale program based on program summaries	3
Ranking co-change candidates suggested by FLeCCS using programmer sensitivity	3
An ML-style module system for cross-stage type abstraction in multi-stage programming	3
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants	3
Special issue on ‘Software Engineering and Formal Methods’	3
Latch: Enabling large-scale automated testing on constrained systems	3
DPFuzz: A fuzz testing tool based on the guidance of defect prediction	3
Reasoning about logical systems in the Coq proof assistant	3
Selected papers from the 2021 European Conference on Object-Oriented Programming	3
Combining sequential feature test cases to generate sound tests for concurrent features	3
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework	3
A Configurable Software Model of a Self-Adaptive Robotic System	3
Model checking with memoisation for fast overtaking planning	3
An empirical study to evaluate the impact of mindfulness on helpdesk employees	3
The sampling threat when mining generalizable inter-library usage patterns	3
Special issue on selected papers from the 19th International Conference on Formal Aspects of Component Software (FACS 2023)	3
Microservices simulator: An object-oriented framework for transactional causal consistency	3
Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020)	3
Safe and infinite resource scheduling using energy timed automata	2
SSDTutor: A feedback-driven intelligent tutoring system for secure software development	2
Preface for the special issue on “Fundamental Approaches to Software Engineering” (FASE 2022)	2
Editorial Board	2
Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging	2
Specification of paraconsistent transition systems, revisited	2

Core Hybrid Event-B III: Fundamentals of a reasoning framework	2
Preface for “Selected papers from the 26th Ibero-American Conference on Software Engineering (CIbSE 2023)”	2
Verified synthesis of optimal safety controllers for human-robot collaboration	2
iGnnVD: A novel software vulnerability detection model based on integrated graph neural networks	2
Preface Special Issue SCICO on HSCC2024-software	2
AllSynth: A BDD-based approach for network update synthesis	2
API comparison based on the non-functional information mined from Stack Overflow	2
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving	2
Subsumption, correctness and relative correctness: Implications for software testing	2
The CAOS framework for Scala: Computer-aided design of SOS	2
High-level axioms for graphical linear algebra	2
Qualification of proof assistants, checkers, and generators: Where are we and what next?	2
Baital: Sampling configurable systems with high t-wise coverage	2
Hybrid dynamical systems logic and its refinements	2
Earley table traversing parsers	2
HBSniff: A static analysis tool for Java Hibernate object-relational mapping code smell detection	2
QualCode: A Data-Driven Framework for Predicting Software Maintainability Based on ISO/IEC 25010	2
Modelling and verifying BDI agents under uncertainty	2
Behavioural theory of reflective algorithms I: Reflective sequential algorithms	2
Editorial Board	2
Editorial Board	2
Enhancing test reuse with GUI events deduplication and adaptive semantic matching	2
Evaluation and assessment of machine learning based user story grouping: A framework and empirical studies	2
JoT: A Jolie framework for testing microservices	2
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235	2
DevReplay: Linter that generates regular expressions for repeating code changes	2
Advances of proof scores in CafeOBJ	2
LEMMA2Jolie: A tool to generate microservice APIs from domain models	2
Model based component development and analysis with ComMA	2
Controlling timed automata against MTL specifications with TACoS	2
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs	2
Applying model-driven engineering to the domain of chatbots: The Xatkit experience	2
Formal verification of timely knowledge propagation in airborne networks	2
Model checking and verification of a rail-side protection system	2
Examining the performance of kernel methods for software defect prediction based on support vector machine	2
DEScMaker: A tool for automated code generation for discrete event systems controllers	2
Machine learning models for predicting software design effort	2
Profit-aware scheduling for time-sensitive applications in heterogeneous multi-server systems	2
A provably safe controller for the needle-steering problem using online strategy synthesis	1
Preface – Special Issue on selected and extended papers from FACS 2019	1
TDFix: A lightweight tool for fixing deadlocks based on templates	1
AnimUML: A practical tool for partial model animation and analysis	1
Taming shared mutable states of operating systems in Rust	1
Tools and Software at the Systems and Software Product Line Conference (SPLC 2022 and 2023)	1
TraLogAnomaly: A microservice system anomaly detection approach based on hybrid event sequences	1
Preface for the special issue on tool papers of the 25th International Systems and Software Product Line Conference (SPLC 2021)	1
Formally proved specification of non-nested STL formulas as synchronous observers	1
Editorial Board	1
The ABS simulator toolchain	1
Structured development of implementations for divide-and-conquer specifications	1
Modeling, manipulating and evolving hybrid polystores with HyDRa	1
Sound static analysis of regular expressions for vulnerabilities to denial of service attacks	1
Computing maximum fixed point solutions over feasible paths in data flow analyses	1
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022	1
Preface for the special issue on NLBSE’22: Natural Language-based Software to support software engineering processes	1
MacroSwarm: A scala framework for swarm programming	1
Editorial Board	1
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021)	1
Applying graph-based knowledge representation to capture insights from discussions forum in software engineering	1
Verifying chip designs at RTL level	1
WebDraw: A machine learning-driven tool for automatic website prototyping	1
TABASCO: A transformer based contextualization toolkit	1
Editorial Board	1
Optimization of Farkas' Lemma-based linear invariant generation using divide-and-conquer with pruning	1
Investigating quality aspects for UX evaluation of IoT-based applications in smart cities: A literature review	1
Introduction to the TASE 2022 Special issue	1
Domain-specific language engineering for large-scale graph analytics using Spoofax: An industry report	1
BURST: Benchmarking uniform random sampling techniques	1
The Peer-Model tool-chain	1
TADA: A Toolkit for Approximate Distributed Agreement	1
Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering	1
PN2CCS: A tool to encode Petri nets into calculus of communicating systems	1
Automated code transformation for distributed training of TensorFlow deep learning models	1
Code clone classification based on multi-dimension feature entropy	1
Editorial Board	1
Editorial Board	1
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems	1
Studying the commonalities, mappings and relationships between non-functional requirements using machine learning	1
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing	1
Type soundness of functional languages with subtyping in Lang-n-Prove	1
The VariCity ecosystem: City visualization of object-oriented variability in Java and TypeScript	1
Teaching language processing with the PAMOJA framework	1
OCLVerifer: Automated verification of OCL contracts in requirements models	1
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems	1
: Asynchronous global types in co-logic programming	1