Science of Computer Programming

Article	Citations
Neighborhood contrastive learning-based graph neural network for bug triaging	93
Towards partial monitoring: Never too early to give in	59
Revisiting occurrence typing	50
Formal Techniques for Safety-Critical Systems (FTSCS 2018)	34
Encoding TLA+ proof obligations safely for SMT	25
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills	23
ModelSet: A labelled dataset of software models for machine learning	19
Asynchronous unfold/fold transformation for fixpoint logic	19
Test case prioritization with neuron valuation based pattern	18
Fast rule-based graph programs	16
A pragma based C++ framework for hybrid quantum/classical computation	16
Orchestration for quantum services: The power of load balancing across multiple service providers	14
A model-checker exploiting structural reductions even with stutter sensitive LTL	13
Editorial Board	13
Editorial Board	13
Using word embedding and convolution neural network for bug triaging by considering design flaws	12
SolAR: Automated test-suite generation for solidity smart contracts	12
The complexity of evaluating nfer	12
Toward a novel taxonomy to capture code smells caused by refactoring	12
KinZ an Azure Kinect toolkit for Python and Matlab	11
AmbieGen: A search-based framework for autonomous systems testing	11
The Modeling Assistant Recommender: A UML class diagram recommender system	11
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems	11
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)	10
Editorial Board	10

Safety assurance of an industrial robotic control system using hardware/software co-verification	10
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report	10
State merging for concolic testing of event-driven applications	9
Pattern-based circular reference detection in Python	9
Experiences on teaching alloy with an automated assessment platform	9
Synthesizing LTL contracts from component libraries using rich counterexamples	9
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study	9
Evaluating the impact of feature selection consistency in software prediction	8
Reversible computing and implicit computational complexity	8
Monitoring and forecasting usability indicators: A business intelligence approach for leveraging user-centered evaluation data	8
Assessing the coverage of W-based conformance testing methods over code faults	7
Using capabilities for strict runtime invariant checking	7
An industrial experience report on model-based, AI-enabled proposal development for an RFP/RFI	7
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis	7
ACSmt: A plugin for eclipse papyrus to model systems of systems	7
An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring	6
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021)	6
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology	6
Editorial Board	6
Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications	6
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties	6
Are you of value to me? A partner selection reference method for software ecosystem orchestrators	6
Minimizing Characterizing sets	5
Multi-objective differential evolution in the generation of adversarial examples	5
PAMELA: An annotation-based Java modeling framework	5
Editorial Board	5
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems	5
Exhaustive property oriented model-based testing with symbolic finite state machines	5
Contract Automata Library	5
Editorial Board	5
How accessibility affects other quality attributes of software? A case study of GitHub	5
Editorial Board	5
An empirical study of code clones: Density, entropy, and patterns	5
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations	5
Out of step: Code clone detection for mobile apps across different language codebases	5
Editorial Board	4
Mechanical incrementalization of typing algorithms	4
Editorial Board	4
Reuse estimate and interval prediction using MOGA-NN and RBF-NN in the functional paradigm	4
Reversing an imperative concurrent programming language	4
Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools	4
Impacts of software community patterns on process and product: An empirical study	4
MMINT-A: A framework for model-based safety assurance	4
A toolchain for domestic heat-pump control using Uppaal Stratego	4
Vamos: Middleware for best-effort third-party monitoring	4
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019)	4
A fairness-based refinement strategy to transform liveness properties in Event-B models	4
Editorial Board	4
Compositional noninterference on hardware weak memory models	4
CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphs	4

Formal verification of IoT applications using rewriting logic: An MDE-based approach	4
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation	4
Model independent refusal trace testing	4
Program generation meets program verification: A case study on number-theoretic transform	4
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator	4
Preface for the special issue on “Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering” (FASE 2023)	4
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021	3
IPFS requested content location service	3
What makes a real change in software performance? An empirical study on analyzing the factors that affect the triagement of performance change points	3
Several lifted abstract domains for static analysis of numerical program families	3
Towards a systematic approach to manual annotation of code smells	3
Special issue on Tools at the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)	3
State identification for labeled transition systems with inputs and outputs	3
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool	3
Trylock, a case for temporal logic and eternity variables	3
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking	3
Improving software effort estimation using bio-inspired algorithms to select relevant features: An empirical study	3
Denotational and operational semantics for interaction languages: Application to trace analysis	3
Editorial Board	3
Predicting issue types on GitHub	3
The CodeSparks Framework – Augmenting Source Code with Glyph-based Visualizations	3
Specify and measure, cover and reveal: A unified framework for automated test generation	3
Gaiwan: A size-polymorphic typesystem for GPU programs	3
Verifying safety of neural networks from topological perspectives	3
A program logic for fresh name generation	3
Smart contract vulnerability detection using wide and deep neural network	3
Verification of concurrent code from synchronous specifications	3
Forward- or reverse-mode automatic differentiation: What's the difference?	3
Improving performance with hybrid feature selection and ensemble machine learning techniques for code smell detection	3
A decentralized analysis of multiparty protocols	3
SSDTutor: A feedback-driven intelligent tutoring system for secure software development	2
Editorial Board	2
Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering	2
Selected papers from the 2021 European Conference on Object-Oriented Programming	2
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants	2
The orchestrator's partner management framework for software ecosystems	2
DPFuzz: A fuzz testing tool based on the guidance of defect prediction	2
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection	2
Report to the readership	2
Verification of forward simulations with thread-local, step-local proof obligations	2
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework	2
Exploring complex models with picto web	2
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020)	2
Editorial Board	2
An empirical study to evaluate the impact of mindfulness on helpdesk employees	2
Microservices simulator: An object-oriented framework for transactional causal consistency	2
Qualification of proof assistants, checkers, and generators: Where are we and what next?	2
Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020)	2
An exploratory study on the usage of quantum programming languages	2
Prescriptive procedure for manual code smell annotation	2
Ranking co-change candidates suggested by FLeCCS using programmer sensitivity	2
Automatic detection of infeasible paths in large-scale program based on program summaries	2
Reasoning about logical systems in the Coq proof assistant	2
Editorial Board	2
Translation certification for smart contracts	2
Automated replication of tuple spaces via static analysis	2
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents	2
Editorial Board	2
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures	2
Applying model-driven engineering to the domain of chatbots: The Xatkit experience	2
Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems	2
Special issue on ‘Software Engineering and Formal Methods’	2
Latch: Enabling large-scale automated testing on constrained systems	2
Editorial Board	2
A Configurable Software Model of a Self-Adaptive Robotic System	2
Web Augmentation: A systematic mapping study	2
TerGEC: A graph enhanced contrastive approach for program termination analysis	2
A text-based syntax completion method using LR parsing and its evaluation	2
Editorial Board	2
User-driven diverse scenario exploration in model finders	2
A review of code reviewer recommendation studies: Challenges and future directions	2
Editorial Board	2
S2O: A smart objects orchestrator framework based on the web of things	2
Parglare: A LR/GLR parser for Python	2
LEMMA2Jolie: A tool to generate microservice APIs from domain models	1
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs	1
Examining the performance of kernel methods for software defect prediction based on support vector machine	1
Subsumption, correctness and relative correctness: Implications for software testing	1
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B	1
Model based component development and analysis with ComMA	1

TDFix: A lightweight tool for fixing deadlocks based on templates	1
High-level axioms for graphical linear algebra	1
The VariCity ecosystem: City visualization of object-oriented variability in Java and TypeScript	1
The Peer-Model tool-chain	1
MacroSwarm: A scala framework for swarm programming	1
Notes on the maximality of reversible gate sets under borrow and ancilla closure	1
Preface for the special issue on NLBSE’22: Natural Language-based Software to support software engineering processes	1
Formal security analysis for software architecture design: An expressive framework to emerging architectural styles	1
Editorial Board	1
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution	1
Verified synthesis of optimal safety controllers for human-robot collaboration	1
Core Hybrid Event-B III: Fundamentals of a reasoning framework	1
Modelling and verifying BDI agents under uncertainty	1
Preface for the special issue on “Fundamental Approaches to Software Engineering” (FASE 2022)	1
Modal characterisation of simulation relations in probabilistic concurrent games	1
Specification of paraconsistent transition systems, revisited	1
Controlling timed automata against MTL specifications with TACoS	1
Baital: Sampling configurable systems with high t-wise coverage	1
Editorial Board	1
Computing maximum fixed point solutions over feasible paths in data flow analyses	1
TADA: A Toolkit for Approximate Distributed Agreement	1
HBSniff: A static analysis tool for Java Hibernate object-relational mapping code smell detection	1
Preface – Special Issue on selected and extended papers from FACS 2019	1
A two-level formal model for Big Data processing programs	1
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022	1
Evaluation and assessment of machine learning based user story grouping: A framework and empirical studies	1
Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering	1
Hybrid dynamical systems logic and its refinements	1
Editorial Board	1
API comparison based on the non-functional information mined from Stack Overflow	1
Behavioural theory of reflective algorithms I: Reflective sequential algorithms	1
Enhancing test reuse with GUI events deduplication and adaptive semantic matching	1
AllSynth: A BDD-based approach for network update synthesis	1
DevReplay: Linter that generates regular expressions for repeating code changes	1
Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging	1
iGnnVD: A novel software vulnerability detection model based on integrated graph neural networks	1
Advances of proof scores in CafeOBJ	1
Preface for the special issue on tool papers of the 25th International Systems and Software Product Line Conference (SPLC 2021)	1
Editorial Board	1
: Asynchronous global types in co-logic programming	1
The CAOS framework for Scala: Computer-aided design of SOS	1
Preface to the special issue on Formal Methods: Foundations and Applications	1
JoT: A Jolie framework for testing microservices	1
Editorial Board	1
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235	1
Formal verification of timely knowledge propagation in airborne networks	1
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving	1