Science of Computer Programming

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

State merging for concolic testing of event-driven applications	9
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)	9
Safety assurance of an industrial robotic control system using hardware/software co-verification	9
Experiences on teaching alloy with an automated assessment platform	8
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study	8
Synthesizing LTL contracts from component libraries using rich counterexamples	8
Pattern-based circular reference detection in Python	8
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis	7
Reversible computing and implicit computational complexity	7
Assessing the coverage of W-based conformance testing methods over code faults	7
Monitoring and forecasting usability indicators: A business intelligence approach for leveraging user-centered evaluation data	7
Editorial Board	7
ACSmt: A plugin for eclipse papyrus to model systems of systems	7
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021)	7
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
Are you of value to me? A partner selection reference method for software ecosystem orchestrators	6
Using capabilities for strict runtime invariant checking	6
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties	6
Editorial Board	5
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology	5
Exhaustive property oriented model-based testing with symbolic finite state machines	5
How accessibility affects other quality attributes of software? A case study of GitHub	5
Preface for the special issue on “Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering” (FASE 2023)	5
Editorial Board	5
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations	5
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems	5
Editorial Board	5
An industrial experience report on model-based, AI-enabled proposal development for an RFP/RFI	5
An empirical study of code clones: Density, entropy, and patterns	5
Compositional noninterference on hardware weak memory models	5
Multi-objective differential evolution in the generation of adversarial examples	5
Editorial Board	5
Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications	5
Minimizing Characterizing sets	5
Contract Automata Library	5
PAMELA: An annotation-based Java modeling framework	5
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator	5
Impacts of software community patterns on process and product: An empirical study	4
Editorial Board	4
Vamos: Middleware for best-effort third-party monitoring	4
Improving performance with hybrid feature selection and ensemble machine learning techniques for code smell detection	4
Special issue on Tools at the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)	4
Reuse estimate and interval prediction using MOGA-NN and RBF-NN in the functional paradigm	4
Program generation meets program verification: A case study on number-theoretic transform	4
Software Project Management Tools in Practice in IT Industry of Bangladesh	4
Out of step: Code clone detection for mobile apps across different language codebases	4
MMINT-A: A framework for model-based safety assurance	4
A toolchain for domestic heat-pump control using Uppaal Stratego	4
Editorial Board	4

Editorial Board	4
Reversing an imperative concurrent programming language	4
Mechanical incrementalization of typing algorithms	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
Model independent refusal trace testing	4
Forward- or reverse-mode automatic differentiation: What's the difference?	4
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation	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
Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools	4
S2O: A smart objects orchestrator framework based on the web of things	3
IPFS requested content location service	3
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents	3
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020)	3
Verifying safety of neural networks from topological perspectives	3
State identification for labeled transition systems with inputs and outputs	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
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool	3
Editorial Board	3
A program logic for fresh name generation	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
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021	3
Verification of concurrent code from synchronous specifications	3
The CodeSparks Framework – Augmenting Source Code with Glyph-based Visualizations	3
A decentralized analysis of multiparty protocols	3
Trylock, a case for temporal logic and eternity variables	3
A review of code reviewer recommendation studies: Challenges and future directions	3
Report to the readership	3
Automatic detection of infeasible paths in large-scale program based on program summaries	3
Specify and measure, cover and reveal: A unified framework for automated test generation	3
Editorial Board	3
Gaiwan: A size-polymorphic typesystem for GPU programs	3
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking	3
Towards a systematic approach to manual annotation of code smells	3
Exploring complex models with picto web	3
Several lifted abstract domains for static analysis of numerical program families	3
Smart contract vulnerability detection using wide and deep neural network	3
TerGEC: A graph enhanced contrastive approach for program termination analysis	3
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection	2
DevReplay: Linter that generates regular expressions for repeating code changes	2
Translation certification for smart contracts	2
LEMMA2Jolie: A tool to generate microservice APIs from domain models	2
Verification of forward simulations with thread-local, step-local proof obligations	2
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants	2
Reasoning about logical systems in the Coq proof assistant	2
An empirical study to evaluate the impact of mindfulness on helpdesk employees	2
Selected papers from the 2021 European Conference on Object-Oriented Programming	2
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework	2
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures	2
Microservices simulator: An object-oriented framework for transactional causal consistency	2
Editorial Board	2
Model based component development and analysis with ComMA	2
Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems	2
Controlling timed automata against MTL specifications with TACoS	2
Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020)	2
Preface for the special issue on “Fundamental Approaches to Software Engineering” (FASE 2022)	2
DPFuzz: A fuzz testing tool based on the guidance of defect prediction	2
SSDTutor: A feedback-driven intelligent tutoring system for secure software development	2
Web Augmentation: A systematic mapping study	2
Prescriptive procedure for manual code smell annotation	2
A text-based syntax completion method using LR parsing and its evaluation	2
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B	2
Editorial Board	2
Automated replication of tuple spaces via static analysis	2
Editorial Board	2
HBSniff: A static analysis tool for Java Hibernate object-relational mapping code smell detection	2
Latch: Enabling large-scale automated testing on constrained systems	2
Subsumption, correctness and relative correctness: Implications for software testing	2
A Configurable Software Model of a Self-Adaptive Robotic System	2
Specification of paraconsistent transition systems, revisited	2
Parglare: A LR/GLR parser for Python	2
Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging	2
Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering	2
Applying model-driven engineering to the domain of chatbots: The Xatkit experience	2
Editorial Board	2
User-driven diverse scenario exploration in model finders	2
Editorial Board	2

Ranking co-change candidates suggested by FLeCCS using programmer sensitivity	2
Special issue on ‘Software Engineering and Formal Methods’	2
Qualification of proof assistants, checkers, and generators: Where are we and what next?	2
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving	2
Earley Table Traversing Parsers	2
The orchestrator's partner management framework for software ecosystems	2
Baital: Sampling configurable systems with high t-wise coverage	2
Notes on the maximality of reversible gate sets under borrow and ancilla closure	1
Core Hybrid Event-B III: Fundamentals of a reasoning framework	1
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022	1
Modeling, manipulating and evolving hybrid polystores with HyDRa	1
Editorial Board	1
Service-oriented decomposition and verification of hybrid system models using feature models and contracts	1
Formal verification of timely knowledge propagation in airborne networks	1
Verifying chip designs at RTL level	1
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs	1
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing	1
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution	1
MacroSwarm: A scala framework for swarm programming	1
The Peer-Model tool-chain	1
A two-level formal model for Big Data processing programs	1
Preface for the special issue on NLBSE’22: Natural Language-based Software to support software engineering processes	1
High-level axioms for graphical linear algebra	1
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235	1
The CAOS framework for Scala: Computer-aided design of SOS	1
Examining the performance of kernel methods for software defect prediction based on support vector machine	1
The ABS simulator toolchain	1
OCLVerifer: Automated verification of OCL contracts in requirements models	1
Editorial Board	1
Kraken: A framework for enabling multi-device interaction-based testing of Android apps	1
Verified synthesis of optimal safety controllers for human-robot collaboration	1
Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017)	1
AllSynth: A BDD-based approach for network update synthesis	1
Editorial Board	1
API comparison based on the non-functional information mined from Stack Overflow	1
Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering	1
TADA: A Toolkit for Approximate Distributed Agreement	1
Enhancing test reuse with GUI events deduplication and adaptive semantic matching	1
Preface for the special issue on tool papers of the 25th International Systems and Software Product Line Conference (SPLC 2021)	1
Hybrid dynamical systems logic and its refinements	1
JoT: A Jolie framework for testing microservices	1
iGnnVD: A novel software vulnerability detection model based on integrated graph neural networks	1
Computing maximum fixed point solutions over feasible paths in data flow analyses	1
The VariCity ecosystem: City visualization of object-oriented variability in Java and TypeScript	1
Time-symmetric Turing machines for computable involutions	1
Modelling and verifying BDI agents under uncertainty	1
Lost in zero space – An empirical comparison of 0.y.z releases in software package distributions	1
Modal characterisation of simulation relations in probabilistic concurrent games	1
Software-intensive Systems-of-Systems	1
Behavioural theory of reflective algorithms I: Reflective sequential algorithms	1
: Asynchronous global types in co-logic programming	1
Formal security analysis for software architecture design: An expressive framework to emerging architectural styles	1
TDFix: A lightweight tool for fixing deadlocks based on templates	1
Preface – Special Issue on selected and extended papers from FACS 2019	1
Advances of proof scores in CafeOBJ	1
Evaluation and assessment of machine learning based user story grouping: A framework and empirical studies	1