Science of Computer Programming

Papers
(The TQCC of Science of Computer Programming is 2. 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 2021-02-01 to 2025-02-01.)
ArticleCitations
A text-based syntax completion method using LR parsing and its evaluation72
Parglare: A LR/GLR parser for Python56
Neighborhood contrastive learning-based graph neural network for bug triaging37
Service-oriented decomposition and verification of hybrid system models using feature models and contracts23
Preface for the special issue on tool papers of the 25th International Systems and Software Product Line Conference (SPLC 2021)21
Translation certification for smart contracts21
Asynchronous unfold/fold transformation for fixpoint logic21
Reasoning about logical systems in the Coq proof assistant19
Web Augmentation: A systematic mapping study18
Preface for “Selected papers from the 25th Ibero-American Conference on Software Engineering (CIbSE 2022)”15
Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017)12
Preface for the special issue on tool papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 201912
Compositional workflow modeling with priority constraints12
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing11
Software-intensive Systems-of-Systems11
Encoding TLA+ proof obligations safely for SMT11
Loop invariance with break and continue11
Compositional noninterference on hardware weak memory models11
Impacts of software community patterns on process and product: An empirical study11
A hybrid approach to extract conceptual diagram from software requirements10
MDAPW3: MDA-based development of blockchain-enabled decentralized applications10
Editorial Board10
Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems9
Exploring issues of story-based effort estimation in Agile Software Development (ASD)9
SATDBailiff-mining and tracking self-admitted technical debt9
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures9
Time-symmetric Turing machines for computable involutions9
Editorial Board9
Editorial Board9
Editorial Board9
Selected papers from the 2021 European Conference on Object-Oriented Programming8
Revisiting occurrence typing8
Towards a metrics suite for the complexity analysis of LabVIEW systems models7
Sciit: Embedding issue tracking in source control management7
Preface – Selected papers from the 23rd Brazilian Symposium on Formal Methods – SBMF 20207
Editorial Board7
Formal Techniques for Safety-Critical Systems (FTSCS 2018)7
Quantifying the interpretation overhead of Python7
Editorial Board7
B model quality assessments on automated reachability repair with ISO/IEC 250107
Introduction to the Software Quality for Artificial Intelligence (SQA4AI) special issue6
Modeling, manipulating and evolving hybrid polystores with HyDRa6
Predicting software effort from use case points: A systematic review6
Editorial Board6
Tools and Software at the Systems and Software Product Line Conference (SPLC 2022 and 2023)6
DPFuzz: A fuzz testing tool based on the guidance of defect prediction5
Editorial Board5
Lost in zero space – An empirical comparison of 0.y.z releases in software package distributions5
Test case prioritization with neuron valuation based pattern5
Out of step: Code clone detection for mobile apps across different language codebases5
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection5
The ABS simulator toolchain5
Locally weighted regression with different kernel smoothers for software effort estimation5
Verifying chip designs at RTL level4
Adaptive selection of classifiers for bug prediction: A large-scale empirical analysis of its performances and a benchmark study4
Modelling and verifying BDI agents with bigraphs4
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills4
A Configurable Software Model of a Self-Adaptive Robotic System4
Compatibility checking for asynchronously communicating software4
Fast rule-based graph programs4
Latch: Enabling large-scale automated testing on constrained systems4
SolAR: Automated test-suite generation for solidity smart contracts4
Editorial Board4
Ranking programming languages by energy efficiency4
ModelSet: A labelled dataset of software models for machine learning4
An effective software cross-project fault prediction model for quality improvement4
Preface for the special issue on “Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering” (FASE 2023)4
Orchestration for quantum services: The power of load balancing across multiple service providers4
Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023)4
Ranking co-change candidates suggested by FLeCCS using programmer sensitivity4
Kraken: A framework for enabling multi-device interaction-based testing of Android apps4
yRCA: An explainable failure root cause analyser4
The orchestrator's partner management framework for software ecosystems4
Towards partial monitoring: Never too early to give in4
OCLVerifer: Automated verification of OCL contracts in requirements models4
Using word embedding and convolution neural network for bug triaging by considering design flaws4
Prescriptive procedure for manual code smell annotation4
The VariCity ecosystem: City visualization of object-oriented variability in Java and TypeScript4
The complexity of evaluating nfer3
Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools3
Qualification of proof assistants, checkers, and generators: Where are we and what next?3
Sound static analysis of regular expressions for vulnerabilities to denial of service attacks3
CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphs3
Improving and comparing performance of machine learning classifiers optimized by swarm intelligent algorithms for code smell detection3
: A tool chain for choreographic design3
Microservices simulator: An object-oriented framework for transactional causal consistency3
BURST: Benchmarking uniform random sampling techniques3
Editorial Board3
Gamifying model-based engineering: The PapyGame tool3
Structured development of implementations for divide-and-conquer specifications3
Program generation meets program verification: A case study on number-theoretic transform3
Special issue on ‘Software Engineering and Formal Methods’3
Teaching language processing with the PAMOJA framework3
An empirical study to evaluate the impact of mindfulness on helpdesk employees3
MMINT-A: A framework for model-based safety assurance3
Vincent: Green hot methods in the JVM3
NewWave: Workflow engine2
RML: Theory and practice of a domain specific language for runtime verification2
Preface2
Applying model-driven engineering to the domain of chatbots: The Xatkit experience2
Formal verification of IoT applications using rewriting logic: An MDE-based approach2
Editorial Board2
Introduction to the TASE 2022 Special issue2
Diagnosis of package installation incompatibility via knowledge base2
Stark: A tool for the analysis of CPSs robustness2
Editorial Board2
Reversing an imperative concurrent programming language2
WebDraw: A machine learning-driven tool for automatic website prototyping2
On the value of project productivity for early effort estimation2
Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving2
Provably correct implementation of the AbC calculus2
Studying the commonalities, mappings and relationships between non-functional requirements using machine learning2
Editorial Board2
User-driven diverse scenario exploration in model finders2
Editorial Board2
A model-checker exploiting structural reductions even with stutter sensitive LTL2
Editorial Board2
Mechanical incrementalization of typing algorithms2
EvoMBT: Evolutionary model based testing2
desync-cc: A research tool for automatically applying disassembly desynchronization during compilation2
Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020)2
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems2
Toward a novel taxonomy to capture code smells caused by refactoring2
Hubs for VirtuosoNext: Online verification of real-time coordinators2
PAMOJA: A component framework for grammar-aware engineering2
Preface for the Special Issue on SBST’22: Search-Based Software Testing - Tools2
A method to identify overfitting program repair patches based on expression tree2
Sibilla: A tool for reasoning about collective systems2
Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering2
Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018)2
SSDTutor: A feedback-driven intelligent tutoring system for secure software development2
A fairness-based refinement strategy to transform liveness properties in Event-B models2
Measurement of key performance indicators of user experience based on software requirements2
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems2
0.031586885452271