Science of Computer Programming

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

An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report	10
Pattern-based circular reference detection in Python	9
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)	9
Path-guided conformance test case generation for models with data and time using symbolic execution techniques	9
State merging for concolic testing of event-driven applications	9
Safety assurance of an industrial robotic control system using hardware/software co-verification	8
Synthesizing LTL contracts from component libraries using rich counterexamples	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	8
Experiences on teaching alloy with an automated assessment platform	8
ACSmt: A plugin for eclipse papyrus to model systems of systems	8
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis	7
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties	7
Using capabilities for strict runtime invariant checking	7
Editorial Board	7
An industrial experience report on model-based, AI-enabled proposal development for an RFP/RFI	7
Are you of value to me? A partner selection reference method for software ecosystem orchestrators	7
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021)	7
Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications	6
Contract Automata Library	6
An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring	6
Evaluating the impact of feature selection consistency in software prediction	6
An empirical study of code clones: Density, entropy, and patterns	6
Reversible computing and implicit computational complexity	6
Multi-objective differential evolution in the generation of adversarial examples	6
Preface for the special issue on “Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering” (FASE 2023)	5
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator	5
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations	5
PAMELA: An annotation-based Java modeling framework	5
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems	5
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology	5
Impacts of software community patterns on process and product: An empirical study	5
Editorial Board	5
Editorial Board	5
LayoutOptimizer: A layout rendering performance optimizer for Android application	5
Editorial Board	5
Compositional noninterference on hardware weak memory models	5
Out of step: Code clone detection for mobile apps across different language codebases	5
SBD: Securing safe rust automatically from unsafe rust	5
How accessibility affects other quality attributes of software? A case study of GitHub	5
Exhaustive property oriented model-based testing with symbolic finite state machines	5
Editorial Board	5
CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphs	4
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation	4
Special issue on Tools at the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)	4
Model independent refusal trace testing	4
The CodeSparks Framework – Augmenting Source Code with Glyph-based Visualizations	4
Vamos: Middleware for best-effort third-party monitoring	4
State identification for labeled transition systems with inputs and outputs	4
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool	4

A decentralized analysis of multiparty protocols	4
Formal verification of IoT applications using rewriting logic: An MDE-based approach	4
A fairness-based refinement strategy to transform liveness properties in Event-B models	4
MMINT-A: A framework for model-based safety assurance	4
Forward- or reverse-mode automatic differentiation: What's the difference?	4
Reversing an imperative concurrent programming language	4
Human-in-the-loop online just-in-time software defect prediction: What have we achieved and what do we still miss?	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
Preface for “Selected Papers from the 27th Ibero-American Conference on Software Engineering (CIbSE 2024)”	4
Program generation meets program verification: A case study on number-theoretic transform	4
Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools	4
Editorial Board	4
Editorial Board	4
Smart contract vulnerability detection using wide and deep neural network	4
A toolchain for domestic heat-pump control using Uppaal Stratego	4
Modular unification of unilingual pointer analyses to multilingual FFI-based programs	4
Towards a systematic approach to manual annotation of code smells	4
Improving performance with hybrid feature selection and ensemble machine learning techniques for code smell detection	4
DPFuzz: A fuzz testing tool based on the guidance of defect prediction	3
Parglare: A LR/GLR parser for Python	3
S2O: A smart objects orchestrator framework based on the web of things	3
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework	3
Several lifted abstract domains for static analysis of numerical program families	3
IPFS requested content location service	3
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020)	3
Verifying safety of neural networks from topological perspectives	3
A program logic for fresh name generation	3
Automated replication of tuple spaces via static analysis	3
Reasoning about logical systems in the Coq proof assistant	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
Translation certification for smart contracts	3
Editorial Board	3
Editorial Board	3
Deductive verification of solidity smart contracts with SSCalc	3
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents	3
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021	3
Extending the EB4EB framework with parameterised events	3
TerGEC: A graph enhanced contrastive approach for program termination analysis	3
The orchestrator's partner management framework for software ecosystems	3
Editorial Board	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
An exploratory study on the usage of quantum programming languages	3
Editorial Board	3
Denotational and operational semantics for interaction languages: Application to trace analysis	3
Trylock, a case for temporal logic and eternity variables	3
Gaiwan: A size-polymorphic typesystem for GPU programs	3
Report to the readership	3
Exploring complex models with picto web	3
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures	3
Editorial Board	3
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants	2
Baital: Sampling configurable systems with high t-wise coverage	2
An empirical study to evaluate the impact of mindfulness on helpdesk employees	2
Model based component development and analysis with ComMA	2
Special issue on ‘Software Engineering and Formal Methods’	2
A text-based syntax completion method using LR parsing and its evaluation	2
Model checking with memoisation for fast overtaking planning	2
Prescriptive procedure for manual code smell annotation	2
Editorial Board	2
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235	2
Evaluation and assessment of machine learning based user story grouping: A framework and empirical studies	2
A two-level formal model for Big Data processing programs	2
Editorial Board	2
JoT: A Jolie framework for testing microservices	2
Qualification of proof assistants, checkers, and generators: Where are we and what next?	2
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B	2
Microservices simulator: An object-oriented framework for transactional causal consistency	2
Controlling timed automata against MTL specifications with TACoS	2
Subsumption, correctness and relative correctness: Implications for software testing	2
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection	2
A Configurable Software Model of a Self-Adaptive Robotic System	2
Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering	2
Preface for “Selected papers from the 26th Ibero-American Conference on Software Engineering (CIbSE 2023)”	2
Core Hybrid Event-B III: Fundamentals of a reasoning framework	2
High-level axioms for graphical linear algebra	2
Notes on the maximality of reversible gate sets under borrow and ancilla closure	2
Applying model-driven engineering to the domain of chatbots: The Xatkit experience	2
Preface for the special issue on “Fundamental Approaches to Software Engineering” (FASE 2022)	2

User-driven diverse scenario exploration in model finders	2
DevReplay: Linter that generates regular expressions for repeating code changes	2
Latch: Enabling large-scale automated testing on constrained systems	2
Specification of paraconsistent transition systems, revisited	2
Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020)	2
Web Augmentation: A systematic mapping study	2
Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems	2
LEMMA2Jolie: A tool to generate microservice APIs from domain models	2
Enhancing test reuse with GUI events deduplication and adaptive semantic matching	2
Advances of proof scores in CafeOBJ	2
Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging	2
SSDTutor: A feedback-driven intelligent tutoring system for secure software development	2
The CAOS framework for Scala: Computer-aided design of SOS	2
Examining the performance of kernel methods for software defect prediction based on support vector machine	1
Time-symmetric Turing machines for computable involutions	1
Formal verification of timely knowledge propagation in airborne networks	1
HBSniff: A static analysis tool for Java Hibernate object-relational mapping code smell detection	1
: Asynchronous global types in co-logic programming	1
Tools and Software at the Systems and Software Product Line Conference (SPLC 2022 and 2023)	1
The polychronous model of computation and Kahn process networks	1
Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering	1
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021)	1
BURST: Benchmarking uniform random sampling techniques	1
OCLVerifer: Automated verification of OCL contracts in requirements models	1
Preface – Special Issue on selected and extended papers from FACS 2019	1
Teaching language processing with the PAMOJA framework	1
The ABS simulator toolchain	1
Computing maximum fixed point solutions over feasible paths in data flow analyses	1
WebDraw: A machine learning-driven tool for automatic website prototyping	1
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems	1
TADA: A Toolkit for Approximate Distributed Agreement	1
Verifying chip designs at RTL level	1
Model checking and verification of a rail-side protection system	1
Behavioural theory of reflective algorithms I: Reflective sequential algorithms	1
Modelling and verifying BDI agents under uncertainty	1
Hybrid dynamical systems logic and its refinements	1
Modal characterisation of simulation relations in probabilistic concurrent games	1
Automated code transformation for distributed training of TensorFlow deep learning models	1
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs	1
libmg: A Python library for programming graph neural networks in μG	1
Editorial Board	1
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022	1
Editorial Board	1
Modeling, manipulating and evolving hybrid polystores with HyDRa	1
The Peer-Model tool-chain	1
PAMOJA: A component framework for grammar-aware engineering	1
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing	1
iGnnVD: A novel software vulnerability detection model based on integrated graph neural networks	1
Editorial Board	1
The VariCity ecosystem: City visualization of object-oriented variability in Java and TypeScript	1
AllSynth: A BDD-based approach for network update synthesis	1
Introduction to the TASE 2022 Special issue	1
API comparison based on the non-functional information mined from Stack Overflow	1
Preface Special Issue SCICO on HSCC2024-software	1
Editorial Board	1
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving	1
Editorial Board	1
Preface for the special issue on tool papers of the 25th International Systems and Software Product Line Conference (SPLC 2021)	1
Verified synthesis of optimal safety controllers for human-robot collaboration	1
FCPP to aggregate them all	1
Sound static analysis of regular expressions for vulnerabilities to denial of service attacks	1
Preface for the special issue on NLBSE’22: Natural Language-based Software to support software engineering processes	1
Structured development of implementations for divide-and-conquer specifications	1
Service-oriented decomposition and verification of hybrid system models using feature models and contracts	1
TDFix: A lightweight tool for fixing deadlocks based on templates	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
MacroSwarm: A scala framework for swarm programming	1
Software-intensive Systems-of-Systems	1
Editorial Board	1