Science of Computer Programming

Article	Citations
Ranking programming languages by energy efficiency	46
Predicting issue types on GitHub	44
Programming interactions in collective adaptive systems by relying on attribute-based communication	27
The MATLAB Toolbox for EnergyPLAN: A tool to extend energy planning studies	26
Improving performance with hybrid feature selection and ensemble machine learning techniques for code smell detection	25
Predicting software effort from use case points: A systematic review	22
Unifying semantic foundations for automated verification tools in Isabelle/UTP	19
RML: Theory and practice of a domain specific language for runtime verification	18
Improving software effort estimation using bio-inspired algorithms to select relevant features: An empirical study	17
Beyond connected cars: A systems of systems perspective	16
Formal verification of input-output mappings of tree ensembles	16
Umple: Model-driven development for open source and education	16
Understanding stack overflow code quality: A recommendation of caution	15
Safe automated refactoring for intelligent parallelization of Java 8 streams	14
A review of code reviewer recommendation studies: Challenges and future directions	12
Abstracting gradual references	10
EMIP: The eye movements in programming dataset	10
On the usage of JavaScript, Python and Ruby packages in Docker Hub images	10
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes	10
Examining the performance of kernel methods for software defect prediction based on support vector machine	10
CHOReVOLUTION: Service choreography in practice	10
QaSD: A Quality-aware Strategic Dashboard for supporting decision makers in Agile Software Development	9
Locally weighted regression with different kernel smoothers for software effort estimation	9
Quantifying the interpretation overhead of Python	9
Automated evolution of feature logging statement levels using Git histories and degree of interest	9

SATDBailiff-mining and tracking self-admitted technical debt	9
Several lifted abstract domains for static analysis of numerical program families	9
Efficient testing of GUI applications by event sequence reduction	9
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP	9
Evaluating the impact of feature selection consistency in software prediction	8
Formally verifying consistency of sequence diagrams for safety critical systems	8
Impacts of software community patterns on process and product: An empirical study	8
A formal, scalable approach to semantic interoperability	8
API recommendation for the development of Android App features based on the knowledge mined from App stores	8
Test case prioritization with neuron valuation based pattern	8
Are you of value to me? A partner selection reference method for software ecosystem orchestrators	8
Verified synthesis of optimal safety controllers for human-robot collaboration	8
Mutating code annotations: An empirical evaluation on Java and C# programs	8
Prioritizing versions for performance regression testing: The Pharo case	7
Experiences on teaching alloy with an automated assessment platform	7
Sustaining and improving graduated graph consistency: A static analysis of graph transformations	7
Programming language foundations in Agda	6
Statically identifying XSS using deep learning	6
: A tool chain for choreographic design	6
Toward safe and efficient reconfiguration with Concerto	6
Provably correct implementation of the AbC calculus	6
Contract Automata Library	6
EUD-MARS: End-user development of model-driven adaptive robotics software systems	6
A fairness-based refinement strategy to transform liveness properties in Event-B models	6
HBSniff: A static analysis tool for Java Hibernate object-relational mapping code smell detection	5
Measurement of key performance indicators of user experience based on software requirements	5
Adaptive selection of classifiers for bug prediction: A large-scale empirical analysis of its performances and a benchmark study	5
Safety assurance of an industrial robotic control system using hardware/software co-verification	5
Reversing an imperative concurrent programming language	5
On the verification of mission-related properties in software-intensive systems-of-systems architectural design	5
Model checking safety and liveness via k-induction and witness refinement with constraint generation	5
Formal verification of IoT applications using rewriting logic: An MDE-based approach	5
Fast rule-based graph programs	5
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution	4
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging	4
A debugging approach for live Big Data applications	4
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures	4
Cost-effective simulation-based test selection in self-driving cars software	4
Pallene: A companion language for Lua	4
Ready, set, Go!	4
The orchestrator's partner management framework for software ecosystems	4
Modelling and verifying BDI agents with bigraphs	4
Trace semantics and refinement patterns for real-time properties in event-B models	4
Improving the success rate of applying the extract method refactoring	4
A domain-specific language for verifying software requirement constraints	4
Are requirements elicitation sessions influenced by participants' gender? An empirical experiment	4
A new modular implementation for stateful traits	4
Synthesizing and optimizing FDIR recovery strategies from fault trees	4
Formalizing hierarchical scheduling for refinement of real-time systems	4
Modelling digital avatars: A tuple space approach	4

Quantifying the similarity of non-bisimilar labelled transition systems	4
How to benefit from newbies' domain ignorance in software development projects	3
Probabilistic model checking for human activity recognition in medical serious games	3
SWQL: A new domain-specific language for mining the social Web	3
A clock-based dynamic logic for schedulability analysis of CCSL specifications	3
KinZ an Azure Kinect toolkit for Python and Matlab	3
The ABS simulator toolchain	3
Lost in zero space – An empirical comparison of 0.y.z releases in software package distributions	3
Automated model extraction: From non-deterministic C code to active objects	3
Hermes: A reversible language for lightweight encryption	3
Specify and measure, cover and reveal: A unified framework for automated test generation	3
A polymorphic RPC calculus	3
Aggregate centrality measures for IoT-based coordination	3
A decentralized analysis of multiparty protocols	3
The prevalence and severity of persistent ambiguity in software requirements specifications: Is a special effort needed to find them?	3
Using word embedding and convolution neural network for bug triaging by considering design flaws	3
Service-oriented decomposition and verification of hybrid system models using feature models and contracts	3
A nearest-neighbor divide-and-conquer approach for adaptive random testing	3
Applying the Isabelle Insider framework to airplane security	3
NOD4J: Near-omniscient debugging tool for Java using size-limited execution trace	3
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking	3
Formal security analysis for software architecture design: An expressive framework to emerging architectural styles	3
State identification for labeled transition systems with inputs and outputs	3
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study	3
Reuse estimate and interval prediction using MOGA-NN and RBF-NN in the functional paradigm	3
A type-directed algorithm to generate random well-typed Java 8 programs	3
Time-symmetric Turing machines for computable involutions	3
Candidate test set reduction for adaptive random testing: An overheads reduction technique	3
Which monads Haskell developers use: An exploratory study	3
Inclusion algorithms for one-unambiguous regular expressions and their applications	2
A refinement development approach for enhancing the safety of PLC programs with Event-B	2
RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus	2
Translating Alloy and extensions to classical B	2
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B	2
SSDTutor: A feedback-driven intelligent tutoring system for secure software development	2
Hubs for VirtuosoNext: Online verification of real-time coordinators	2
PAMELA: An annotation-based Java modeling framework	2
Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems	2
Cost analysis for a resource sensitive workflow modelling language	2
A big step from finite to infinite computations	2
Defending against Return-Oriented Programming attacks based on return instruction using static analysis and binary patch techniques	2
A method for identifying references between projects in GitHub	2
Pacta sunt servanda: Legal contracts in	2
Finding compact proofs for infinite-data parameterised Boolean equation systems	2
A component-based framework for certification of components in a cloud of HPC services	2
Forward- or reverse-mode automatic differentiation: What's the difference?	2
Bidirectionality in flow-sensitive demand-driven analysis	2
Qualification of proof assistants, checkers, and generators: Where are we and what next?	2
On the value of project productivity for early effort estimation	2
Event-B formalization of a variability-aware component model patterns framework	2
Parglare: A LR/GLR parser for Python	2
Deductive verification of active objects with Crowbar	2
Handling B models in the PERF integrated verification framework: Formalised and certified embedding	2
Reversible computing and implicit computational complexity	2
Behavioural theory of reflective algorithms I: Reflective sequential algorithms	2
PSTMonitor: Monitor synthesis from probabilistic session types	2
Innermost many-sorted term rewriting on GPUs	2
Log analysis and system monitoring with nfer	2
Program extraction for mutable arrays	2
A text classification approach to API type resolution for incomplete code snippets	2
A family of multi-concept program synthesisers in Alloy⁎	2
A logical characterization of differential privacy	2
Formalizing the dependency pair criterion for innermost termination	2
Loop invariance with break and continue	2
Topological consistency preservation with graph transformation schemes	2
SAMOS - A framework for model analytics and management	2
SApHESIA: An agent-based model and a criticality-based heuristic for cooperatively coupling SoSs	1
Teaching language processing with the PAMOJA framework	1
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems	1
BoundWarden: Thread-enforced spatial memory safety through compile-time transformations	1
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements	1
Function translations and search-based transformation for MVL reversible circuit synthesis	1
Gamifying model-based engineering: The PapyGame tool	1
CLG-Trans: Contrastive learning for code summarization via graph attention-based transformer	1
Web Augmentation: A systematic mapping study	1
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC	1
Mediator: A component-based modeling language for concurrent and distributed systems	1
CoolTeD: A tool for co-labeling and visual analysis of textual dataset	1
Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation	1
Automated reasoning framework for traceability management of system of systems	1

ASTENS-BWA: Searching partial syntactic similar regions between source code fragments via AST-based encoded sequence alignment	1
Featured games	1
Use case evolution analysis based on graph transformation with negative application conditions	1
GaMoVR: Gamification-based UML learning environment in virtual reality	1
Controlling timed automata against MTL specifications with TACoS	1
Anemone: A workbench for the Multi-Bach coordination language	1
Compatibility checking for asynchronously communicating software	1
Introduction to reversal fuzzy switch graph	1
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems	1
NewWave: Workflow engine	1
Slicing of probabilistic programs based on specifications	1
PAMOJA: A component framework for grammar-aware engineering	1
Software evolutionary architecture: Automated planning for functional changes	1
Towards a metrics suite for the complexity analysis of LabVIEW systems models	1
Reshape your layouts, not your programs: A safe language extension for better cache locality	1
Sciit: Embedding issue tracking in source control management	1
Program logic for higher-order probabilistic programs in Isabelle/HOL	1
Kraken: A framework for enabling multi-device interaction-based testing of Android apps	1
A program logic for fresh name generation	1
Castor: Programming with extensible generative visitors	1
Revisiting occurrence typing	1
A two-level formal model for Big Data processing programs	1
A dependently typed calculus with polymorphic subtyping	1
Automated replication of tuple spaces via static analysis	1
TABASCO: A transformer based contextualization toolkit	1
Tackling rapid technology changes by applying enterprise engineering theories	1
BURST: Benchmarking uniform random sampling techniques	1
The CLEARSY safety platform: 5 years of research, development and deployment	1
Special Issue on Software Health of Software Ecosystems	1
An empirical study to evaluate the impact of mindfulness on helpdesk employees	1
Static analysis of linear absolute value equalities among variables of a program	1
User-driven diverse scenario exploration in model finders	1
Generating C: Heterogeneous metaprogramming system description	1
ModelSet: A labelled dataset of software models for machine learning	1
A Java typestate checker supporting inheritance	1
Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems	1
A methodological approach for mobile applications development: MethApp4Mob	1
A logic for reflective ASMs	1
Compositional model checking with divergence preserving branching bisimilarity is lively	1
Abstraction models for verifying resource adequacy of IMA systems at concept level	1
Towards a systematic approach to manual annotation of code smells	1
Notes on the maximality of reversible gate sets under borrow and ancilla closure	1
Lean formalization of bounded grids and computable cellular automata defined thereover	1
Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises	1
AmbieGen: A search-based framework for autonomous systems testing	1