Science of Computer Programming

Article	Citations
Ranking programming languages by energy efficiency	50
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	27
Improving performance with hybrid feature selection and ensemble machine learning techniques for code smell detection	26
Predicting software effort from use case points: A systematic review	23
Unifying semantic foundations for automated verification tools in Isabelle/UTP	19
Improving software effort estimation using bio-inspired algorithms to select relevant features: An empirical study	18
RML: Theory and practice of a domain specific language for runtime verification	18
Examining the performance of kernel methods for software defect prediction based on support vector machine	16
Formal verification of input-output mappings of tree ensembles	16
Understanding stack overflow code quality: A recommendation of caution	16
Umple: Model-driven development for open source and education	16
Beyond connected cars: A systems of systems perspective	16
Safe automated refactoring for intelligent parallelization of Java 8 streams	15
A review of code reviewer recommendation studies: Challenges and future directions	13
Abstracting gradual references	11
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes	11
On the usage of JavaScript, Python and Ruby packages in Docker Hub images	10
CHOReVOLUTION: Service choreography in practice	10
Statically identifying XSS using deep learning	10
EMIP: The eye movements in programming dataset	10
QaSD: A Quality-aware Strategic Dashboard for supporting decision makers in Agile Software Development	10
Locally weighted regression with different kernel smoothers for software effort estimation	10
Verified synthesis of optimal safety controllers for human-robot collaboration	9

Efficient testing of GUI applications by event sequence reduction	9
Test case prioritization with neuron valuation based pattern	9
Several lifted abstract domains for static analysis of numerical program families	9
Measurement of key performance indicators of user experience based on software requirements	9
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP	9
Automated evolution of feature logging statement levels using Git histories and degree of interest	9
Quantifying the interpretation overhead of Python	9
SATDBailiff-mining and tracking self-admitted technical debt	9
Evaluating the impact of feature selection consistency in software prediction	8
Formally verifying consistency of sequence diagrams for safety critical systems	8
Are you of value to me? A partner selection reference method for software ecosystem orchestrators	8
API recommendation for the development of Android App features based on the knowledge mined from App stores	8
Mutating code annotations: An empirical evaluation on Java and C# programs	8
Toward safe and efficient reconfiguration with Concerto	8
Experiences on teaching alloy with an automated assessment platform	8
Impacts of software community patterns on process and product: An empirical study	8
A formal, scalable approach to semantic interoperability	8
Sustaining and improving graduated graph consistency: A static analysis of graph transformations	7
Prioritizing versions for performance regression testing: The Pharo case	7
Contract Automata Library	6
Safety assurance of an industrial robotic control system using hardware/software co-verification	6
Provably correct implementation of the AbC calculus	6
Programming language foundations in Agda	6
HBSniff: A static analysis tool for Java Hibernate object-relational mapping code smell detection	6
A fairness-based refinement strategy to transform liveness properties in Event-B models	6
EUD-MARS: End-user development of model-driven adaptive robotics software systems	6
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution	6
: A tool chain for choreographic design	6
Improving the success rate of applying the extract method refactoring	5
Formal verification of IoT applications using rewriting logic: An MDE-based approach	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
Fast rule-based graph programs	5
Adaptive selection of classifiers for bug prediction: A large-scale empirical analysis of its performances and a benchmark study	5
Reversing an imperative concurrent programming language	5
A debugging approach for live Big Data applications	5
The orchestrator's partner management framework for software ecosystems	5
Ready, set, Go!	4
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging	4
Modelling and verifying BDI agents with bigraphs	4
Quantifying the similarity of non-bisimilar labelled transition systems	4
A decentralized analysis of multiparty protocols	4
KinZ an Azure Kinect toolkit for Python and Matlab	4
Trace semantics and refinement patterns for real-time properties in event-B models	4
Synthesizing and optimizing FDIR recovery strategies from fault trees	4
A domain-specific language for verifying software requirement constraints	4
NOD4J: Near-omniscient debugging tool for Java using size-limited execution trace	4
Are requirements elicitation sessions influenced by participants' gender? An empirical experiment	4
A new modular implementation for stateful traits	4
The ABS simulator toolchain	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
Modelling digital avatars: A tuple space approach	4
Aggregate centrality measures for IoT-based coordination	3
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study	3
A clock-based dynamic logic for schedulability analysis of CCSL specifications	3
Automated model extraction: From non-deterministic C code to active objects	3
Using word embedding and convolution neural network for bug triaging by considering design flaws	3
A nearest-neighbor divide-and-conquer approach for adaptive random testing	3
A type-directed algorithm to generate random well-typed Java 8 programs	3
Which monads Haskell developers use: An exploratory study	3
Time-symmetric Turing machines for computable involutions	3
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking	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
Log analysis and system monitoring with nfer	3
The prevalence and severity of persistent ambiguity in software requirements specifications: Is a special effort needed to find them?	3
Hermes: A reversible language for lightweight encryption	3
Qualification of proof assistants, checkers, and generators: Where are we and what next?	3
Candidate test set reduction for adaptive random testing: An overheads reduction technique	3
Lost in zero space – An empirical comparison of 0.y.z releases in software package distributions	3
Topological consistency preservation with graph transformation schemes	3
Specify and measure, cover and reveal: A unified framework for automated test generation	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
Reuse estimate and interval prediction using MOGA-NN and RBF-NN in the functional paradigm	3
Applying the Isabelle Insider framework to airplane security	3
On the value of project productivity for early effort estimation	3
Deductive verification of active objects with Crowbar	3
Service-oriented decomposition and verification of hybrid system models using feature models and contracts	3
A polymorphic RPC calculus	3
How to benefit from newbies' domain ignorance in software development projects	3
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
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B	2
A text classification approach to API type resolution for incomplete code snippets	2
Revisiting occurrence typing	2
Parglare: A LR/GLR parser for Python	2
Event-B formalization of a variability-aware component model patterns framework	2
A family of multi-concept program synthesisers in Alloy⁎	2
SAMOS - A framework for model analytics and management	2
Reversible computing and implicit computational complexity	2
Static analysis of linear absolute value equalities among variables of a program	2
PSTMonitor: Monitor synthesis from probabilistic session types	2
A component-based framework for certification of components in a cloud of HPC services	2
Program extraction for mutable arrays	2
SSDTutor: A feedback-driven intelligent tutoring system for secure software development	2
Loop invariance with break and continue	2
Cost analysis for a resource sensitive workflow modelling language	2
Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems	2
Formalizing the dependency pair criterion for innermost termination	2
Handling B models in the PERF integrated verification framework: Formalised and certified embedding	2
Pacta sunt servanda: Legal contracts in	2
Inclusion algorithms for one-unambiguous regular expressions and their applications	2
Behavioural theory of reflective algorithms I: Reflective sequential algorithms	2
Innermost many-sorted term rewriting on GPUs	2
Bidirectionality in flow-sensitive demand-driven analysis	2
Forward- or reverse-mode automatic differentiation: What's the difference?	2
Hubs for VirtuosoNext: Online verification of real-time coordinators	2
Mediator: A component-based modeling language for concurrent and distributed systems	2
PAMELA: An annotation-based Java modeling framework	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
Castor: Programming with extensible generative visitors	2
A method for identifying references between projects in GitHub	2
Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation	2
Vincent: Green hot methods in the JVM	1
A two-level formal model for Big Data processing programs	1
An empirical study to evaluate the impact of mindfulness on helpdesk employees	1
Gamifying model-based engineering: The PapyGame tool	1
Automated replication of tuple spaces via static analysis	1
Towards a metrics suite for the complexity analysis of LabVIEW systems models	1
Anemone: A workbench for the Multi-Bach coordination language	1
Kraken: A framework for enabling multi-device interaction-based testing of Android apps	1
SApHESIA: An agent-based model and a criticality-based heuristic for cooperatively coupling SoSs	1
Compositional model checking with divergence preserving branching bisimilarity is lively	1
BoundWarden: Thread-enforced spatial memory safety through compile-time transformations	1
Operationally proving memory access violations in Isabelle/HOL	1
A Java typestate checker supporting inheritance	1
AmbieGen: A search-based framework for autonomous systems testing	1

ASTENS-BWA: Searching partial syntactic similar regions between source code fragments via AST-based encoded sequence alignment	1
EvoMBT: Evolutionary model based testing	1
Testing and incremental conformance testing of timed state machines	1
BURST: Benchmarking uniform random sampling techniques	1
Software evolutionary architecture: Automated planning for functional changes	1
PAMOJA: A component framework for grammar-aware engineering	1
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems	1
A logic for reflective ASMs	1
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems	1
Towards a systematic approach to manual annotation of code smells	1
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements	1
Slicing of probabilistic programs based on specifications	1
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection	1
Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises	1
Sciit: Embedding issue tracking in source control management	1
Tackling rapid technology changes by applying enterprise engineering theories	1
Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems	1
Introduction to reversal fuzzy switch graph	1
Use case evolution analysis based on graph transformation with negative application conditions	1
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC	1
Lean formalization of bounded grids and computable cellular automata defined thereover	1
A methodological approach for mobile applications development: MethApp4Mob	1
A dependently typed calculus with polymorphic subtyping	1
Reshape your layouts, not your programs: A safe language extension for better cache locality	1
Compatibility checking for asynchronously communicating software	1
CoolTeD: A tool for co-labeling and visual analysis of textual dataset	1
desync-cc: A research tool for automatically applying disassembly desynchronization during compilation	1
A toolchain for domestic heat-pump control using Uppaal Stratego	1
A program logic for fresh name generation	1
The CLEARSY safety platform: 5 years of research, development and deployment	1
Featured games	1
NewWave: Workflow engine	1
Notes on the maximality of reversible gate sets under borrow and ancilla closure	1
User-driven diverse scenario exploration in model finders	1
Computing maximum fixed point solutions over feasible paths in data flow analyses	1
ModelSet: A labelled dataset of software models for machine learning	1
GaMoVR: Gamification-based UML learning environment in virtual reality	1
Web Augmentation: A systematic mapping study	1
TDFix: A lightweight tool for fixing deadlocks based on templates	1
Automated reasoning framework for traceability management of system of systems	1
Special Issue on Software Health of Software Ecosystems	1
High-level axioms for graphical linear algebra	1
Generating C: Heterogeneous metaprogramming system description	1
TABASCO: A transformer based contextualization toolkit	1
CLG-Trans: Contrastive learning for code summarization via graph attention-based transformer	1
Controlling timed automata against MTL specifications with TACoS	1
Function translations and search-based transformation for MVL reversible circuit synthesis	1
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants	1
Program logic for higher-order probabilistic programs in Isabelle/HOL	1
Teaching language processing with the PAMOJA framework	1
SolAR: Automated test-suite generation for solidity smart contracts	1
Abstraction models for verifying resource adequacy of IMA systems at concept level	1