Science of Computer Programming

Article	Citations
Test case prioritization with neuron valuation based pattern	60
Neighborhood contrastive learning-based graph neural network for bug triaging	46
ModelSet: A labelled dataset of software models for machine learning	29
Encoding TLA+ proof obligations safely for SMT	20
Asynchronous unfold/fold transformation for fixpoint logic	19
Revisiting occurrence typing	19
Towards partial monitoring: Never too early to give in	18
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills	16
Fast rule-based graph programs	15
SolAR: Automated test-suite generation for solidity smart contracts	15
The complexity of evaluating nfer	15
Toward a novel taxonomy to capture code smells caused by refactoring	14
Editorial Board	14
Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023)	14
A model-checker exploiting structural reductions even with stutter sensitive LTL	14
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems	13
Orchestration for quantum services: The power of load balancing across multiple service providers	13
Editorial Board	13
AmbieGen: A search-based framework for autonomous systems testing	13
Graph neural network-based long method and blob code smell detection	13
Using word embedding and convolution neural network for bug triaging by considering design flaws	13
KinZ an Azure Kinect toolkit for Python and Matlab	13
A pragma based C++ framework for hybrid quantum/classical computation	13
The Modeling Assistant Recommender: A UML class diagram recommender system	12
Does the compiler or interpreter version influence the energy consumption of programming languages?	12

An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report	11
Path-guided conformance test case generation for models with data and time using symbolic execution techniques	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
State merging for concolic testing of event-driven applications	10
Pattern-based circular reference detection in Python	10
Synthesizing LTL contracts from component libraries using rich counterexamples	10
Assessing the coverage of W-based conformance testing methods over code faults	9
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties	9
Safety assurance of an industrial robotic control system using hardware/software co-verification	9
Reversible computing and implicit computational complexity	9
Experiences on teaching alloy with an automated assessment platform	9
An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring	8
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021)	8
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis	8
ACSmt: A plugin for eclipse papyrus to model systems of systems	8
DopSteg: Program steganography using data-oriented programming	8
Using capabilities for strict runtime invariant checking	8
Editorial Board	8
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
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology	7
Are you of value to me? A partner selection reference method for software ecosystem orchestrators	7
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems	7
Multi-objective differential evolution in the generation of adversarial examples	7
Evaluating the impact of feature selection consistency in software prediction	7
Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications	7
LayoutOptimizer: A layout rendering performance optimizer for Android application	7
CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphs	6
Exhaustive property oriented model-based testing with symbolic finite state machines	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
Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools	6
Editorial Board	6
Editorial Board	6
How accessibility affects other quality attributes of software? A case study of GitHub	6
Out of step: Code clone detection for mobile apps across different language codebases	6
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations	6
SBD: Securing safe rust automatically from unsafe rust	6
Contract Automata Library	6
Editorial Board	6
Compositional noninterference on hardware weak memory models	6
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator	6
A toolchain for domestic heat-pump control using Uppaal Stratego	5
Reversing an imperative concurrent programming language	5
MMINT-A: A framework for model-based safety assurance	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
Vamos: Middleware for best-effort third-party monitoring	5
Forward- or reverse-mode automatic differentiation: What's the difference?	5
A fairness-based refinement strategy to transform liveness properties in Event-B models	5

Editorial Board	5
Model independent refusal trace testing	5
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation	5
Modular unification of unilingual pointer analyses to multilingual FFI-based programs	5
Human-in-the-loop online just-in-time software defect prediction: What have we achieved and what do we still miss?	5
Program generation meets program verification: A case study on number-theoretic transform	5
Formal verification of IoT applications using rewriting logic: An MDE-based approach	5
A mechanized semantics for component-based systems in the HAMR AADL runtime	5
Editorial Board	5
Improving performance with hybrid feature selection and ensemble machine learning techniques for code smell detection	5
Editorial Board	5
Several lifted abstract domains for static analysis of numerical program families	4
Trylock, a case for temporal logic and eternity variables	4
Design and Evaluation of Coconut: Typestates for C++	4
Special issue on Tools at the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)	4
Smart contract vulnerability detection using wide and deep neural network	4
Report to the readership	4
Editorial Board	4
Denotational and operational semantics for interaction languages: Application to trace analysis	4
Deductive verification of solidity smart contracts with SSCalc	4
A program logic for fresh name generation	4
The CodeSparks Framework – Augmenting Source Code with Glyph-based Visualizations	4
Towards a systematic approach to manual annotation of code smells	4
A decentralized analysis of multiparty protocols	4
Gaiwan: A size-polymorphic typesystem for GPU programs	4
An exploratory study on the usage of quantum programming languages	4
Exploring complex models with picto web	4
IPFS requested content location service	4
Extending the EB4EB framework with parameterised events	4
Verifying safety of neural networks from topological perspectives	4
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020)	4
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool	4
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021	4
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework	4
S2O: A smart objects orchestrator framework based on the web of things	4
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents	4
Prescriptive procedure for manual code smell annotation	3
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection	3
Reasoning about logical systems in the Coq proof assistant	3
Editorial Board	3
Model checking with memoisation for fast overtaking planning	3
Verification of forward simulations with thread-local, step-local proof obligations	3
A text-based syntax completion method using LR parsing and its evaluation	3
The orchestrator's partner management framework for software ecosystems	3
Web Augmentation: A systematic mapping study	3
User-driven diverse scenario exploration in model finders	3
Latch: Enabling large-scale automated testing on constrained systems	3
Parglare: A LR/GLR parser for Python	3
Applying model-driven engineering to the domain of chatbots: The Xatkit experience	3
Selected papers from the 2021 European Conference on Object-Oriented Programming	3
Editorial Board	3
Editorial Board	3
Automatic detection of infeasible paths in large-scale program based on program summaries	3
Automated replication of tuple spaces via static analysis	3
DPFuzz: A fuzz testing tool based on the guidance of defect prediction	3
Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020)	3
Microservices simulator: An object-oriented framework for transactional causal consistency	3
A Configurable Software Model of a Self-Adaptive Robotic System	3
Translation certification for smart contracts	3
Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems	3
Editorial Board	3
Testing non-commutativity of reduce functions with multi-column inputs	3
TerGEC: A graph enhanced contrastive approach for program termination analysis	3
Ranking co-change candidates suggested by FLeCCS using programmer sensitivity	3
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures	3
Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering	3
Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging	2
Modal characterisation of simulation relations in probabilistic concurrent games	2
JoT: A Jolie framework for testing microservices	2
Formal verification of timely knowledge propagation in airborne networks	2
Editorial Board	2
HBSniff: A static analysis tool for Java Hibernate object-relational mapping code smell detection	2
Hybrid dynamical systems logic and its refinements	2
SSDTutor: A feedback-driven intelligent tutoring system for secure software development	2
Editorial Board	2
Subsumption, correctness and relative correctness: Implications for software testing	2
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants	2
Preface for the special issue on “Fundamental Approaches to Software Engineering” (FASE 2022)	2
Model based component development and analysis with ComMA	2
Preface for the special issue on NLBSE’22: Natural Language-based Software to support software engineering processes	2

Examining the performance of kernel methods for software defect prediction based on support vector machine	2
Model checking and verification of a rail-side protection system	2
AllSynth: A BDD-based approach for network update synthesis	2
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B	2
Behavioural theory of reflective algorithms I: Reflective sequential algorithms	2
Enhancing test reuse with GUI events deduplication and adaptive semantic matching	2
The CAOS framework for Scala: Computer-aided design of SOS	2
A two-level formal model for Big Data processing programs	2
Specification of paraconsistent transition systems, revisited	2
Core Hybrid Event-B III: Fundamentals of a reasoning framework	2
LEMMA2Jolie: A tool to generate microservice APIs from domain models	2
Editorial Board	2
Qualification of proof assistants, checkers, and generators: Where are we and what next?	2
DevReplay: Linter that generates regular expressions for repeating code changes	2
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235	2
Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering	2
iGnnVD: A novel software vulnerability detection model based on integrated graph neural networks	2
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs	2
Modelling and verifying BDI agents under uncertainty	2
Baital: Sampling configurable systems with high t-wise coverage	2
API comparison based on the non-functional information mined from Stack Overflow	2
Evaluation and assessment of machine learning based user story grouping: A framework and empirical studies	2
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving	2
Controlling timed automata against MTL specifications with TACoS	2
Preface for “Selected papers from the 26th Ibero-American Conference on Software Engineering (CIbSE 2023)”	2
Notes on the maximality of reversible gate sets under borrow and ancilla closure	2
An Innovative ISO-Based Computational Framework for Software Maintainability Assessment	2
An empirical study to evaluate the impact of mindfulness on helpdesk employees	2
Special issue on ‘Software Engineering and Formal Methods’	2
Advances of proof scores in CafeOBJ	2
High-level axioms for graphical linear algebra	2
Preface – Special Issue on selected and extended papers from FACS 2019	2
Verified synthesis of optimal safety controllers for human-robot collaboration	2
Editorial Board	2
A provably safe controller for the needle-steering problem using online strategy synthesis	1
TADA: A Toolkit for Approximate Distributed Agreement	1
BURST: Benchmarking uniform random sampling techniques	1
Innermost many-sorted term rewriting on GPUs	1
TABASCO: A transformer based contextualization toolkit	1
Editorial Board	1
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021)	1
Editorial Board	1
FCPP to aggregate them all	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
Time-symmetric Turing machines for computable involutions	1
PAMOJA: A component framework for grammar-aware engineering	1
OCLVerifer: Automated verification of OCL contracts in requirements models	1
Editorial Board	1
Computing maximum fixed point solutions over feasible paths in data flow analyses	1
Introduction to the TASE 2022 Special issue	1
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022	1
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems	1
The Peer-Model tool-chain	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
libmg: A Python library for programming graph neural networks in μG	1
Software-intensive Systems-of-Systems	1
AnimUML: A practical tool for partial model animation and analysis	1
The ABS simulator toolchain	1
Automated code transformation for distributed training of TensorFlow deep learning models	1
Service-oriented decomposition and verification of hybrid system models using feature models and contracts	1
Editorial Board	1
Verifying chip designs at RTL level	1
WebDraw: A machine learning-driven tool for automatic website prototyping	1
The VariCity ecosystem: City visualization of object-oriented variability in Java and TypeScript	1
Structured development of implementations for divide-and-conquer specifications	1
MacroSwarm: A scala framework for swarm programming	1
Taming shared mutable states of operating systems in Rust	1
TDFix: A lightweight tool for fixing deadlocks based on templates	1
Tools and Software at the Systems and Software Product Line Conference (SPLC 2022 and 2023)	1
Teaching language processing with the PAMOJA framework	1
Analysis and formal specification of OpenJDK's BitSet: Proof files	1
Sound static analysis of regular expressions for vulnerabilities to denial of service attacks	1
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing	1
The polychronous model of computation and Kahn process networks	1
Modeling, manipulating and evolving hybrid polystores with HyDRa	1
PSTMonitor: Monitor synthesis from probabilistic session types	1
Preface for the special issue on tool papers of the 25th International Systems and Software Product Line Conference (SPLC 2021)	1
TraLogAnomaly: A microservice system anomaly detection approach based on hybrid event sequences	1
: Asynchronous global types in co-logic programming	1
Studying the commonalities, mappings and relationships between non-functional requirements using machine learning	1
Formally proved specification of non-nested STL formulas as synchronous observers	1
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems	1