Software papers

Pofolia’s corpus holds 97 papers from Software (2012–2026), each with a short summary. Below, the 20 most-cited, then the most recently added.

At a glance

• Most cited: Primer3—new capabilities and interfaces (2012, 9,855 citations).
• The 20 papers listed have 31,893 citations between them.
• 7 of the 10 with a known journal quartile appeared in a Q1 journal.
• 6 have a free full text (open access).
• Most frequent journals: IEEE Transactions on Software Engineering, ACM Computing Surveys, AI Magazine.
• Published between 2012 and 2023.

Most cited

Ranked by citation count. Because citations accumulate over time, this list naturally leans towards work published a few years ago; for where the field is now, see “recently added”. How to read the signals

• Primer3—new capabilities and interfaces

  Nucleic Acids Research · 2012 · Q1 · SJR 8.00 · FWCI 475.25 · 9,855 citations · Open access

  The widely-used Primer3 software for designing DNA primers has been significantly enhanced with more accurate thermodynamic models for improved melting temperature prediction and reduced primer hairpin/dimer formation.

  Go to source →

• UCSF ChimeraX: Tools for structure building and analysis

  Protein Science · 2023 · Q1 · SJR 3.00 · FWCI 780.74 · 4,277 citations · Open access

  UCSF ChimeraX has introduced new computational tools that leverage machine learning for atomic model building of large molecular assemblies, improving accuracy at resolutions of 3-4 Å.

  Go to source →

• Software Metrics: A Rigorous and Practical Approach

  2013 · FWCI 299.92 · 2,542 citations

  This book offers a comprehensive and updated guide to software metrics, building on decades of progress in the field.

  Go to source →

• Defects4J: a database of existing faults to enable controlled testing studies for Java programs

  2014 · 1,355 citations

  Defects4J is a new database and framework providing 357 real bugs from 5 open-source Java programs to enable reproducible software testing research.

  Go to source →

• Regression testing minimization, selection and prioritization: a survey

  Software Testing Verification and Reliability · 2012 · Q2 · FWCI 166.93 · 1,312 citations

  This survey consolidates research on techniques to reduce the cost of regression testing by minimizing, selecting, or prioritizing test cases, addressing the challenge of ever-growing test suites in evolving software.

  Go to source →

• A comprehensive survey on safe reinforcement learning

  Journal of Machine Learning Research · 2015 · Q1 · SJR 1.00 · FWCI 58.92 · 1,196 citations

  This survey categorizes and analyzes two primary approaches to Safe Reinforcement Learning (SRL): modifying the optimality criterion with a safety factor, and altering the exploration process using external knowledge or risk metrics.

  Go to source →

• A Survey on Software Fault Localization

  IEEE Transactions on Software Engineering · 2016 · Q1 · SJR 1.00 · FWCI 197.96 · 1,083 citations

  This survey categorizes and reviews a wide range of software fault localization techniques designed to automatically pinpoint bugs in complex programs.

  Go to source →

• Introduction to Software Testing

  Cambridge University Press eBooks · 2021 · FWCI 38.49 · 1,076 citations

  This book presents a practical, step-by-step approach to software testing, integrating art, craft, and science through a single, consistent worked example.

  Go to source →

• The Oracle Problem in Software Testing: A Survey

  IEEE Transactions on Software Engineering · 2014 · Q1 · SJR 1.00 · FWCI 57.64 · 1,043 citations · Open access

  This survey analyzes current approaches and trends for automating the 'test oracle problem' in software testing, which is the challenge of distinguishing correct system behavior from incorrect behavior given an input.

  Go to source →

• Power to the People: The Role of Humans in Interactive Machine Learning

  AI Magazine · 2014 · Q2 · FWCI 47.61 · 1,030 citations · Open access

  Interactive machine learning systems are increasingly common, but progress is shifting from solely algorithmic advances to understanding and integrating the human user. This paper argues for a user-centric approach to improve both user experience and system effectiveness.

  Go to source →

• Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)

  2017 · FWCI 18.95 · 905 citations

  This revised guide updates the industry-standard Unified Modeling Language (UML) to version 2.0, offering a tutorial on its core aspects with new content on components, internal structure, and updated coverage of diagrams and profiles.

  Go to source →

• Driller: Augmenting Fuzzing Through Selective Symbolic Execution

  2016 · 885 citations · Open access

  Driller is a new technique that combines fuzzing with selective symbolic execution to discover deeper software vulnerabilities.

  Go to source →

• Symbolic execution for software testing

  Communications of the ACM · 2013 · Q1 · SJR 1.00 · FWCI 105.17 · 756 citations

  Symbolic execution offers significant promise for modern software testing, despite inherent challenges in its implementation.

  Go to source →

• Directed Greybox Fuzzing

  2017 · 729 citations

  Directed Greybox Fuzzing (DGF) efficiently generates inputs to reach specific program locations, outperforming existing undirected fuzzing and directed symbolic execution.

  Go to source →

• Dynodroid: an input generation system for Android apps

  2013 · 707 citations

  Dynodroid is a new system that generates relevant inputs for unmodified Android apps by treating them as event-driven programs. It monitors app reactions to events to guide the generation of subsequent inputs.

  Go to source →

• Domain-specific languages

  2012 · 660 citations

  This book serves as a comprehensive guide to Domain Specific Languages (DSLs), detailing various techniques for their creation and application.

  Go to source →

• Challenges in Autonomous Vehicle Testing and Validation

  SAE International Journal of Transportation Safety · 2016 · Q4 · FWCI 93.00 · 649 citations

  Autonomous vehicle development requires a more methodical testing approach than traditional bug hunting to ensure safety at scale. This paper identifies five key challenges in applying the ISO 26262 V-model process to autonomous systems.

  Go to source →

• Coverage-based Greybox Fuzzing as Markov Chain

  2016 · 623 citations

  This paper models Coverage-based Greybox Fuzzing (CGF) as a Markov chain, revealing that prioritizing low-frequency paths significantly increases exploration efficiency.

  Go to source →

• Evaluating Fuzz Testing

  2018 · 609 citations · Open access

  A survey of 32 fuzz testing papers revealed significant flaws in the experimental evaluations of new fuzzing techniques, with problems found in every study considered.

  Go to source →

• Metamorphic Testing

  ACM Computing Surveys · 2018 · Q1 · SJR 5.00 · FWCI 142.00 · 601 citations

  Metamorphic testing is a software testing technique that uses 'metamorphic relations' to verify program correctness and generate test cases, even without known correct outputs.

  Go to source →

Recently added

• Token-level defect feedback and alternating optimization for coupled code generation and defect detection with large language models

  Scientific Reports · 2026 · Q1

  A novel coupled optimization framework for large language models (LLMs) simultaneously generates code and detects defects, reducing the defect rate of test-passing Python/C code from 0.216 to 0.128 (a 41% reduction) and improving pass@10 from 0.724 to 0.761.

  Go to source →

• Bug Whisperer: Unleashing LLMs to Craft Context-Aware Tests Guided by Path Constraints and Bug Clues

  ACM Transactions on Software Engineering and Methodology · 2026 · Q1 · SJR 1.00

  BugWhisper, a new approach, uses LLMs to generate context-aware unit tests that significantly improve bug detection by focusing on buggy code segments and path constraints.

  Go to source →

• Assessing Embedded Software Contribution Under Data Scarcity: An Improved Grey PCA and GRA Framework

  Electronics · 2026 · Q2

  A novel framework using grey correlation analysis (GRA) and improved grey principal component analysis (PCA) quantifies software's contribution rate, even with limited data.

  Go to source →

• “Triggering autonomy, not just automation”: Design implications for LLM-based home automation assistants for people with intellectual disability

  International Journal of Human-Computer Studies · 2026 · Q1 · SJR 1.00

  LLM-powered conversational interfaces can enable individuals with intellectual disabilities (ID) to program smart home behaviors, moving beyond simple automation to foster true autonomy.

  Go to source →

• Context-Aware Sequential Ranking for Dynamic Test Case Prioritization in Continuous Integration

  Mathematics · 2026 · Q2

  A leakage-safe dynamic test case prioritization framework achieved an 0.8840 FTE-APFD surrogate using history-semantic fusion, outperforming history-only (0.8689) and semantic-only (0.7023) approaches on Java projects, though the fusion advantage did not survive statistical correction.

  Go to source →

• Binary protocol greybox fuzzing driven by marine predators algorithm

  Cybersecurity · 2026 · Q1 · SJR 1.00 · Open access

  MPAuzz, a novel greybox fuzzer, uses the Marine Predators Algorithm to intelligently mutate binary protocol messages, achieving a 98.1% valid test case ratio and boosting branch coverage by an average of 38.3% over AFLNet.

  Go to source →

• Toward Agentic TestOps: A Systematic Literature Review and Autonomy Taxonomy for AI-Driven Testing in DevOps

  Electronics · 2026 · Q2

  A systematic literature review of 31 AI-driven testing studies in DevOps found 87% only automate isolated tasks, with none demonstrating lifecycle-wide, goal-driven orchestration, revealing a critical autonomy gap.

  Go to source →

• TestART: Improving LLM-based Unit Test ing via Co-evolution of A utomated Generation and R epair I t eration

  ACM Transactions on Software Engineering and Methodology · 2026 · Q1 · SJR 1.00 · FWCI 9.57 · 1 citations

  TestART, a novel method, improves LLM-based unit testing by co-evolving automated generation and repair, achieving an 18% higher pass rate and 20% better coverage than baselines.

  Go to source →

Journals in this field

The journals that publish most of this field’s papers. Quartile (Q1–Q4), SJR and h-index are from SCImago Journal Rank; “in this field” is how many of the journal’s pooled papers belong here. What is a Q1 journal? · What is the h-index?

Every journal in Software (Q1–Q4) →

Other subfields in Computer Science

• Computer Networks and Communications
• Computer Science Applications
• Computer Graphics and Computer-Aided Design
• Computer Vision and Pattern Recognition
• Information Systems
• Hardware and Architecture
• Computational Theory and Mathematics
• Human-Computer Interaction
• Signal Processing
• Artificial Intelligence

All subfields of Computer Science →

← All fields