Science of Computer Programming

Article	Citations
Ranking programming languages by energy efficiency	66
Predicting issue types on GitHub	56
Improving performance with hybrid feature selection and ensemble machine learning techniques for code smell detection	37
Predicting software effort from use case points: A systematic review	23
Understanding stack overflow code quality: A recommendation of caution	23
Umple: Model-driven development for open source and education	21
Examining the performance of kernel methods for software defect prediction based on support vector machine	21
Improving software effort estimation using bio-inspired algorithms to select relevant features: An empirical study	19
A review of code reviewer recommendation studies: Challenges and future directions	18
RML: Theory and practice of a domain specific language for runtime verification	18
Experiences on teaching alloy with an automated assessment platform	15
On the usage of JavaScript, Python and Ruby packages in Docker Hub images	12
Several lifted abstract domains for static analysis of numerical program families	12
Statically identifying XSS using deep learning	11
The orchestrator's partner management framework for software ecosystems	11
QaSD: A Quality-aware Strategic Dashboard for supporting decision makers in Agile Software Development	11
Locally weighted regression with different kernel smoothers for software effort estimation	11
Verified synthesis of optimal safety controllers for human-robot collaboration	11
Formally verifying consistency of sequence diagrams for safety critical systems	11
Test case prioritization with neuron valuation based pattern	11
Are you of value to me? A partner selection reference method for software ecosystem orchestrators	10
Automated evolution of feature logging statement levels using Git histories and degree of interest	10
Contract Automata Library	10
SATDBailiff-mining and tracking self-admitted technical debt	9
HBSniff: A static analysis tool for Java Hibernate object-relational mapping code smell detection	9

Measurement of key performance indicators of user experience based on software requirements	9
Impacts of software community patterns on process and product: An empirical study	9
Efficient testing of GUI applications by event sequence reduction	9
Quantifying the interpretation overhead of Python	9
Toward safe and efficient reconfiguration with Concerto	9
Sustaining and improving graduated graph consistency: A static analysis of graph transformations	9
EUD-MARS: End-user development of model-driven adaptive robotics software systems	8
API recommendation for the development of Android App features based on the knowledge mined from App stores	8
Evaluating the impact of feature selection consistency in software prediction	8
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution	7
Fast rule-based graph programs	7
Cost-effective simulation-based test selection in self-driving cars software	7
A fairness-based refinement strategy to transform liveness properties in Event-B models	7
: A tool chain for choreographic design	7
Safety assurance of an industrial robotic control system using hardware/software co-verification	7
Reversing an imperative concurrent programming language	7
NOD4J: Near-omniscient debugging tool for Java using size-limited execution trace	6
Adaptive selection of classifiers for bug prediction: A large-scale empirical analysis of its performances and a benchmark study	6
Candidate test set reduction for adaptive random testing: An overheads reduction technique	6
On the value of project productivity for early effort estimation	6
Pacta sunt servanda: Legal contracts in	6
Provably correct implementation of the AbC calculus	6
Modelling digital avatars: A tuple space approach	5
PSTMonitor: Monitor synthesis from probabilistic session types	5
The ABS simulator toolchain	5
Probabilistic model checking for human activity recognition in medical serious games	5
KinZ an Azure Kinect toolkit for Python and Matlab	5
Specify and measure, cover and reveal: A unified framework for automated test generation	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
Service-oriented decomposition and verification of hybrid system models using feature models and contracts	4
A nearest-neighbor divide-and-conquer approach for adaptive random testing	4
Behavioural theory of reflective algorithms I: Reflective sequential algorithms	4
How to benefit from newbies' domain ignorance in software development projects	4
A decentralized analysis of multiparty protocols	4
SWQL: A new domain-specific language for mining the social Web	4
A clock-based dynamic logic for schedulability analysis of CCSL specifications	4
Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems	4
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection	4
Parglare: A LR/GLR parser for Python	4
Applying the Isabelle Insider framework to airplane security	4
Quantifying the similarity of non-bisimilar labelled transition systems	4
Formal security analysis for software architecture design: An expressive framework to emerging architectural styles	4
Are requirements elicitation sessions influenced by participants' gender? An empirical experiment	4
AmbieGen: A search-based framework for autonomous systems testing	4
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems	4
Modelling and verifying BDI agents with bigraphs	4
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures	4
Hermes: A reversible language for lightweight encryption	4
SAMOS - A framework for model analytics and management	4

Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study	4
State identification for labeled transition systems with inputs and outputs	4
Log analysis and system monitoring with nfer	4
Using word embedding and convolution neural network for bug triaging by considering design flaws	4
Lost in zero space – An empirical comparison of 0.y.z releases in software package distributions	4
Reuse estimate and interval prediction using MOGA-NN and RBF-NN in the functional paradigm	3
Applying model-driven engineering to the domain of chatbots: The Xatkit experience	3
GaMoVR: Gamification-based UML learning environment in virtual reality	3
Which monads Haskell developers use: An exploratory study	3
Software evolutionary architecture: Automated planning for functional changes	3
A Java typestate checker supporting inheritance	3
Aggregate centrality measures for IoT-based coordination	3
Advances of proof scores in CafeOBJ	3
The CLEARSY safety platform: 5 years of research, development and deployment	3
Time-symmetric Turing machines for computable involutions	3
Defending against Return-Oriented Programming attacks based on return instruction using static analysis and binary patch techniques	3
Deductive verification of active objects with Crowbar	3
Static analysis of linear absolute value equalities among variables of a program	3
AllSynth: A BDD-based approach for network update synthesis	3
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
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing	3
“Will I be replaced?” Assessing ChatGPT's effect on software development and programmer perceptions of AI tools	3
Cost analysis for a resource sensitive workflow modelling language	3
Topological consistency preservation with graph transformation schemes	3
A method for identifying references between projects in GitHub	3
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking	3
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems	2
desync-cc: A research tool for automatically applying disassembly desynchronization during compilation	2
Teaching language processing with the PAMOJA framework	2
Hubs for VirtuosoNext: Online verification of real-time coordinators	2
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills	2
Anemone: A workbench for the Multi-Bach coordination language	2
Loop invariance with break and continue	2
Computing maximum fixed point solutions over feasible paths in data flow analyses	2
Introduction to reversal fuzzy switch graph	2
Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation	2
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving	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
A toolchain for domestic heat-pump control using Uppaal Stratego	2
SSDTutor: A feedback-driven intelligent tutoring system for secure software development	2
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants	2
Revisiting occurrence typing	2
Automated model extraction: From non-deterministic C code to active objects	2
An effective software cross-project fault prediction model for quality improvement	2
A family of multi-concept program synthesisers in Alloy⁎	2
Generating C: Heterogeneous metaprogramming system description	2
Reversible computing and implicit computational complexity	2
Innermost many-sorted term rewriting on GPUs	2
Towards a systematic approach to manual annotation of code smells	2
FCPP to aggregate them all	2
An empirical study to evaluate the impact of mindfulness on helpdesk employees	2
SolAR: Automated test-suite generation for solidity smart contracts	2
Studying the commonalities, mappings and relationships between non-functional requirements using machine learning	2
ModelSet: A labelled dataset of software models for machine learning	2
Event-B formalization of a variability-aware component model patterns framework	2
Compositional noninterference on hardware weak memory models	2
PAMELA: An annotation-based Java modeling framework	2
Tackling rapid technology changes by applying enterprise engineering theories	2
CLG-Trans: Contrastive learning for code summarization via graph attention-based transformer	2
A logic for reflective ASMs	2
A refinement development approach for enhancing the safety of PLC programs with Event-B	2
TABASCO: A transformer based contextualization toolkit	2
NewWave: Workflow engine	1
Automated replication of tuple spaces via static analysis	1
Towards a metrics suite for the complexity analysis of LabVIEW systems models	1
A methodological approach for mobile applications development: MethApp4Mob	1
Exploring issues of story-based effort estimation in Agile Software Development (ASD)	1
Function translations and search-based transformation for MVL reversible circuit synthesis	1
Modal characterisation of simulation relations in probabilistic concurrent games	1
HFCommunity: An extraction process and relational database to analyze Hugging Face Hub data	1
Neighborhood contrastive learning-based graph neural network for bug triaging	1
Featured games	1
A formal approach for the correct deployment of cloud applications	1
A dependently typed calculus with polymorphic subtyping	1
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report	1
Orchestration for quantum services: The power of load balancing across multiple service providers	1
TDFix: A lightweight tool for fixing deadlocks based on templates	1

Stark: A tool for the analysis of CPSs robustness	1
A monitoring tool for linear-time μHML	1
EvoMBT: Evolutionary model based testing	1
An industrial experience of using reference architectures for mapping features to code	1
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements	1
Testing and incremental conformance testing of timed state machines	1
Sciit: Embedding issue tracking in source control management	1
CoolTeD: A tool for co-labeling and visual analysis of textual dataset	1
Abstraction models for verifying resource adequacy of IMA systems at concept level	1
Analyzing novice and competent programmers' problem-solving behaviors using an automated evaluation system	1
Kraken: A framework for enabling multi-device interaction-based testing of Android apps	1
ACSmt: A plugin for eclipse papyrus to model systems of systems	1
A two-level formal model for Big Data processing programs	1
A text-based syntax completion method using LR parsing and its evaluation	1
Notes on the maximality of reversible gate sets under borrow and ancilla closure	1
Controlling timed automata against MTL specifications with TACoS	1
OnTrack: Reflecting on domain specific formal methods for railway designs	1
DescribeML: A dataset description tool for machine learning	1
Program generation meets program verification: A case study on number-theoretic transform	1
Exhaustive property oriented model-based testing with symbolic finite state machines	1
Vincent: Green hot methods in the JVM	1
A framework for higher-order effects & handlers	1
User-driven diverse scenario exploration in model finders	1
Special Issue on Software Health of Software Ecosystems	1
Gamifying model-based engineering: The PapyGame tool	1
Denotational and operational semantics for interaction languages: Application to trace analysis	1
Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems	1
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC	1
A lightweight API recommendation method for App development based on multi-objective evolutionary algorithm	1
Core Hybrid Event-B III: Fundamentals of a reasoning framework	1
Web Augmentation: A systematic mapping study	1
High-level axioms for graphical linear algebra	1
A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems	1
The polychronous model of computation and Kahn process networks	1
AnimUML: A practical tool for partial model animation and analysis	1
A pragma based C++ framework for hybrid quantum/classical computation	1
Compatibility checking for asynchronously communicating software	1
Slicing of probabilistic programs based on specifications	1
BURST: Benchmarking uniform random sampling techniques	1
SApHESIA: An agent-based model and a criticality-based heuristic for cooperatively coupling SoSs	1