Science of Computer Programming

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

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

Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations	6
Reversing an imperative concurrent programming language	6
A toolchain for domestic heat-pump control using Uppaal Stratego	5
Vamos: Middleware for best-effort third-party monitoring	5
Forward- or reverse-mode automatic differentiation: What's the difference?	5
A mechanized semantics for component-based systems in the HAMR AADL runtime	5
Extending the EB4EB framework with parameterised events	5
Special issue on Tools at the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)	5
The CodeSparks Framework – Augmenting Source Code with Glyph-based Visualizations	5
Editorial Board	5
Program generation meets program verification: A case study on number-theoretic transform	5
Editorial Board	5
Human-in-the-loop online just-in-time software defect prediction: What have we achieved and what do we still miss?	5
What makes a real change in software performance? An empirical study on analyzing the factors that affect the triagement of performance change points	5
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool	5
Model independent refusal trace testing	5
Applying large language models to issue classification: Revisiting with extended data and new models	5
Editorial Board	5
Formal verification of IoT applications using rewriting logic: An MDE-based approach	5
Towards a systematic approach to manual annotation of code smells	5
A decentralized analysis of multiparty protocols	5
Modular unification of unilingual pointer analyses to multilingual FFI-based programs	5
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation	5
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021	4
Trylock, a case for temporal logic and eternity variables	4
Smart contract vulnerability detection using wide and deep neural network	4
Several lifted abstract domains for static analysis of numerical program families	4
S2O: A smart objects orchestrator framework based on the web of things	4
TerGEC: A graph enhanced contrastive approach for program termination analysis	4
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents	4
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020)	4
Verifying safety of neural networks from topological perspectives	4
Denotational and operational semantics for interaction languages: Application to trace analysis	4
Deductive verification of solidity smart contracts with SSCalc	4
Automated replication of tuple spaces via static analysis	4
IPFS requested content location service	4
Gaiwan: A size-polymorphic typesystem for GPU programs	4
A program logic for fresh name generation	4
Exploring complex models with picto web	4
Editorial Board	4
Report to the readership	4
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework	4
SSDTutor: A feedback-driven intelligent tutoring system for secure software development	3
Special issue on ‘Software Engineering and Formal Methods’	3
Translation certification for smart contracts	3
Microservices simulator: An object-oriented framework for transactional causal consistency	3
Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems	3
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants	3
DPFuzz: A fuzz testing tool based on the guidance of defect prediction	3
The orchestrator's partner management framework for software ecosystems	3
Testing non-commutativity of reduce functions with multi-column inputs	3
Model checking with memoisation for fast overtaking planning	3
Latch: Enabling large-scale automated testing on constrained systems	3
Earley table traversing parsers	3
An empirical study to evaluate the impact of mindfulness on helpdesk employees	3
Editorial Board	3
Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020)	3
Parglare: A LR/GLR parser for Python	3
User-driven diverse scenario exploration in model finders	3
Web Augmentation: A systematic mapping study	3
Reasoning about logical systems in the Coq proof assistant	3
Selected papers from the 2021 European Conference on Object-Oriented Programming	3
Verification of forward simulations with thread-local, step-local proof obligations	3
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures	3
Editorial Board	3
Ranking co-change candidates suggested by FLeCCS using programmer sensitivity	3
Applying model-driven engineering to the domain of chatbots: The Xatkit experience	3
Preface for “Selected papers from the 26th Ibero-American Conference on Software Engineering (CIbSE 2023)”	3
A Configurable Software Model of a Self-Adaptive Robotic System	3
Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering	3
An exploratory study on the usage of quantum programming languages	3
Prescriptive procedure for manual code smell annotation	3
A text-based syntax completion method using LR parsing and its evaluation	3
Editorial Board	3
Editorial Board	3
Automatic detection of infeasible paths in large-scale program based on program summaries	3
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection	3
Specification of paraconsistent transition systems, revisited	3
Qualification of proof assistants, checkers, and generators: Where are we and what next?	3
Model checking and verification of a rail-side protection system	2

Safe and infinite resource scheduling using energy timed automata	2
Verified synthesis of optimal safety controllers for human-robot collaboration	2
Advances of proof scores in CafeOBJ	2
A two-level formal model for Big Data processing programs	2
Editorial Board	2
High-level axioms for graphical linear algebra	2
: Asynchronous global types in co-logic programming	2
TADA: A Toolkit for Approximate Distributed Agreement	2
Enhancing test reuse with GUI events deduplication and adaptive semantic matching	2
Preface – Special Issue on selected and extended papers from FACS 2019	2
Baital: Sampling configurable systems with high t-wise coverage	2
MacroSwarm: A scala framework for swarm programming	2
Controlling timed automata against MTL specifications with TACoS	2
Modelling and verifying BDI agents under uncertainty	2
Subsumption, correctness and relative correctness: Implications for software testing	2
DEScMaker: A tool for automated code generation for discrete event systems controllers	2
API comparison based on the non-functional information mined from Stack Overflow	2
AllSynth: A BDD-based approach for network update synthesis	2
HBSniff: A static analysis tool for Java Hibernate object-relational mapping code smell detection	2
The CAOS framework for Scala: Computer-aided design of SOS	2
Modal characterisation of simulation relations in probabilistic concurrent games	2
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022	2
Preface for the special issue on “Fundamental Approaches to Software Engineering” (FASE 2022)	2
Preface for the special issue on NLBSE’22: Natural Language-based Software to support software engineering processes	2
Model based component development and analysis with ComMA	2
Examining the performance of kernel methods for software defect prediction based on support vector machine	2
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B	2
Editorial Board	2
LEMMA2Jolie: A tool to generate microservice APIs from domain models	2
Behavioural theory of reflective algorithms I: Reflective sequential algorithms	2
Hybrid dynamical systems logic and its refinements	2
Formal verification of timely knowledge propagation in airborne networks	2
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving	2
Evaluation and assessment of machine learning based user story grouping: A framework and empirical studies	2
Core Hybrid Event-B III: Fundamentals of a reasoning framework	2
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235	2
The Peer-Model tool-chain	2
TDFix: A lightweight tool for fixing deadlocks based on templates	2
Editorial Board	2
Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering	2
JoT: A Jolie framework for testing microservices	2
iGnnVD: A novel software vulnerability detection model based on integrated graph neural networks	2
Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging	2
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs	2
DevReplay: Linter that generates regular expressions for repeating code changes	2
Structured development of implementations for divide-and-conquer specifications	1
Featured games	1
Time-symmetric Turing machines for computable involutions	1
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021)	1
FCPP to aggregate them all	1
Editorial Board	1
Analysis and formal specification of OpenJDK's BitSet: Proof files	1
OCLVerifer: Automated verification of OCL contracts in requirements models	1
Computing maximum fixed point solutions over feasible paths in data flow analyses	1
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems	1
Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation	1
Studying the commonalities, mappings and relationships between non-functional requirements using machine learning	1
Analyzing novice and competent programmers' problem-solving behaviors using an automated evaluation system	1
Optimization of Farkas' Lemma-based linear invariant generation using divide-and-conquer with pruning	1
PSTMonitor: Monitor synthesis from probabilistic session types	1
PN2CCS: A tool to encode Petri nets into calculus of communicating systems	1
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)	1
Formally proved specification of non-nested STL formulas as synchronous observers	1
Taming shared mutable states of operating systems in Rust	1
Modeling, manipulating and evolving hybrid polystores with HyDRa	1
The polychronous model of computation and Kahn process networks	1
libmg: A Python library for programming graph neural networks in μG	1
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing	1
AnimUML: A practical tool for partial model animation and analysis	1
The VariCity ecosystem: City visualization of object-oriented variability in Java and TypeScript	1
TraLogAnomaly: A microservice system anomaly detection approach based on hybrid event sequences	1
Tools and Software at the Systems and Software Product Line Conference (SPLC 2022 and 2023)	1
An exploratory study on automatic identification of assumptions in the development of deep learning frameworks	1
GraphPyRec: A novel graph-based approach for fine-grained Python code recommendation	1
Teaching language processing with the PAMOJA framework	1
A Haskell-embedded DSL for secure information-flow	1
Editorial Board	1
Application of fuzzy Delphi technique to identify analytical lenses for determining the preparation of free and open source software projects for user experience maturity	1
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems	1
Innermost many-sorted term rewriting on GPUs	1
Editorial Board	1
Automated code transformation for distributed training of TensorFlow deep learning models	1
Investigating quality aspects for UX evaluation of IoT-based applications in smart cities: A literature review	1
Applying graph-based knowledge representation to capture insights from discussions forum in software engineering	1
TABASCO: A transformer based contextualization toolkit	1
Preface for the special issue on tool papers of the 25th International Systems and Software Product Line Conference (SPLC 2021)	1
A provably safe controller for the needle-steering problem using online strategy synthesis	1
The ABS simulator toolchain	1
Editorial Board	1
Special Issue on Selected Tools from the Tool Track of the 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023 Tool Track)	1
A refinement development approach for enhancing the safety of PLC programs with Event-B	1
Introduction to the TASE 2022 Special issue	1
BEAPI: A tool for bounded exhaustive input generation from APIs	1
WebDraw: A machine learning-driven tool for automatic website prototyping	1
Causal program dependence analysis	1