Science of Computer Programming

Papers
(The TQCC of Science of Computer Programming is 3. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2020-11-01 to 2024-11-01.)
ArticleCitations
Ranking programming languages by energy efficiency66
Predicting issue types on GitHub56
Improving performance with hybrid feature selection and ensemble machine learning techniques for code smell detection37
Predicting software effort from use case points: A systematic review23
Understanding stack overflow code quality: A recommendation of caution23
Umple: Model-driven development for open source and education21
Examining the performance of kernel methods for software defect prediction based on support vector machine21
Improving software effort estimation using bio-inspired algorithms to select relevant features: An empirical study19
A review of code reviewer recommendation studies: Challenges and future directions18
RML: Theory and practice of a domain specific language for runtime verification18
Experiences on teaching alloy with an automated assessment platform15
On the usage of JavaScript, Python and Ruby packages in Docker Hub images12
Several lifted abstract domains for static analysis of numerical program families12
QaSD: A Quality-aware Strategic Dashboard for supporting decision makers in Agile Software Development11
Locally weighted regression with different kernel smoothers for software effort estimation11
Verified synthesis of optimal safety controllers for human-robot collaboration11
Formally verifying consistency of sequence diagrams for safety critical systems11
Test case prioritization with neuron valuation based pattern11
Statically identifying XSS using deep learning11
The orchestrator's partner management framework for software ecosystems11
Automated evolution of feature logging statement levels using Git histories and degree of interest10
Contract Automata Library10
Are you of value to me? A partner selection reference method for software ecosystem orchestrators10
HBSniff: A static analysis tool for Java Hibernate object-relational mapping code smell detection9
Measurement of key performance indicators of user experience based on software requirements9
Impacts of software community patterns on process and product: An empirical study9
Efficient testing of GUI applications by event sequence reduction9
Quantifying the interpretation overhead of Python9
Toward safe and efficient reconfiguration with Concerto9
Sustaining and improving graduated graph consistency: A static analysis of graph transformations9
SATDBailiff-mining and tracking self-admitted technical debt9
EUD-MARS: End-user development of model-driven adaptive robotics software systems8
API recommendation for the development of Android App features based on the knowledge mined from App stores8
Evaluating the impact of feature selection consistency in software prediction8
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution7
Fast rule-based graph programs7
Cost-effective simulation-based test selection in self-driving cars software7
A fairness-based refinement strategy to transform liveness properties in Event-B models7
: A tool chain for choreographic design7
Safety assurance of an industrial robotic control system using hardware/software co-verification7
Reversing an imperative concurrent programming language7
NOD4J: Near-omniscient debugging tool for Java using size-limited execution trace6
Adaptive selection of classifiers for bug prediction: A large-scale empirical analysis of its performances and a benchmark study6
Candidate test set reduction for adaptive random testing: An overheads reduction technique6
On the value of project productivity for early effort estimation6
Pacta sunt servanda: Legal contracts in6
Provably correct implementation of the AbC calculus6
Probabilistic model checking for human activity recognition in medical serious games5
KinZ an Azure Kinect toolkit for Python and Matlab5
Specify and measure, cover and reveal: A unified framework for automated test generation5
Model checking safety and liveness via k-induction and witness refinement with constraint generation5
Formal verification of IoT applications using rewriting logic: An MDE-based approach5
Modelling digital avatars: A tuple space approach5
PSTMonitor: Monitor synthesis from probabilistic session types5
The ABS simulator toolchain5
Behavioural theory of reflective algorithms I: Reflective sequential algorithms4
How to benefit from newbies' domain ignorance in software development projects4
A decentralized analysis of multiparty protocols4
SWQL: A new domain-specific language for mining the social Web4
A clock-based dynamic logic for schedulability analysis of CCSL specifications4
Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems4
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection4
Parglare: A LR/GLR parser for Python4
Applying the Isabelle Insider framework to airplane security4
Quantifying the similarity of non-bisimilar labelled transition systems4
Formal security analysis for software architecture design: An expressive framework to emerging architectural styles4
Are requirements elicitation sessions influenced by participants' gender? An empirical experiment4
AmbieGen: A search-based framework for autonomous systems testing4
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems4
Modelling and verifying BDI agents with bigraphs4
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures4
Hermes: A reversible language for lightweight encryption4
SAMOS - A framework for model analytics and management4
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study4
State identification for labeled transition systems with inputs and outputs4
Log analysis and system monitoring with nfer4
Using word embedding and convolution neural network for bug triaging by considering design flaws4
Lost in zero space – An empirical comparison of 0.y.z releases in software package distributions4
Service-oriented decomposition and verification of hybrid system models using feature models and contracts4
A nearest-neighbor divide-and-conquer approach for adaptive random testing4
Defending against Return-Oriented Programming attacks based on return instruction using static analysis and binary patch techniques3
Deductive verification of active objects with Crowbar3
Static analysis of linear absolute value equalities among variables of a program3
Advances of proof scores in CafeOBJ3
AllSynth: A BDD-based approach for network update synthesis3
The CLEARSY safety platform: 5 years of research, development and deployment3
Time-symmetric Turing machines for computable involutions3
“Will I be replaced?” Assessing ChatGPT's effect on software development and programmer perceptions of AI tools3
Cost analysis for a resource sensitive workflow modelling language3
Topological consistency preservation with graph transformation schemes3
A method for identifying references between projects in GitHub3
Forward- or reverse-mode automatic differentiation: What's the difference?3
Qualification of proof assistants, checkers, and generators: Where are we and what next?3
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking3
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing3
GaMoVR: Gamification-based UML learning environment in virtual reality3
Which monads Haskell developers use: An exploratory study3
Software evolutionary architecture: Automated planning for functional changes3
A Java typestate checker supporting inheritance3
Reuse estimate and interval prediction using MOGA-NN and RBF-NN in the functional paradigm3
Applying model-driven engineering to the domain of chatbots: The Xatkit experience3
Aggregate centrality measures for IoT-based coordination3
0.058784008026123