IEEE Transactions on Software Engineering

Article	Citations
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties	444
Combining Genetic Programming and Model Checking to Generate Environment Assumptions	436
Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems	302
50 Years of Transactions on Software Engineering	265
Confirmation Bias and Time Pressure: A Family of Experiments in Software Testing	129
Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue	110
The Why, When, What, and How About Predictive Continuous Integration: A Simulation-Based Investigation	95
Do as You Say: Consistency Detection of Data Practice in Program Code and Privacy Policy in Mini-App	94
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines	89
Can We Trust the Phone Vendors? Comprehensive Security Measurements on the Android Firmware Ecosystem	86
Metamorphic Robustness Testing: Exposing Hidden Defects in Citation Statistics and Journal Impact Factors	84
Adaptive Test Case Allocation, Selection and Generation Using Coverage Spectrum and Operational Profile	84
Grammar Based Directed Testing of Machine Learning Systems	83
Multi-Granularity Detector for Vulnerability Fixes	82
Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition	82
Review Dynamics and Their Impact on Software Quality	80
A Retrospective on Whole Test Suite Generation: On the Role of SBST in the Age of LLMs	73
Influence of the 1990 IEEE TSE Paper “Automated Software Test Data Generation” on Software Engineering	73
DSSDPP: Data Selection and Sampling Based Domain Programming Predictor for Cross-Project Defect Prediction	72
What Leads to a Confirmatory or Disconfirmatory Behavior of Software Testers?	70
A Declarative Metamorphic Testing Framework for Autonomous Driving	69
Prevent: An Unsupervised Approach to Predict Software Failures in Production	67
Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling	63
Are Your Dependencies Code Reviewed?: Measuring Code Review Coverage in Dependency Updates	62
Enhancing Mobile App Bug Reporting via Real-Time Understanding of Reproduction Steps	61

Recommending API Function Calls and Code Snippets to Support Software Development	60
Socio-Technical Grounded Theory for Software Engineering	59
Question Selection for Multi-Modal Code Search Synthesis using Probabilistic Version Spaces	57
2023 Reviewers List	55
A Systematic Review of IoT Systems Testing: Objectives, Approaches, Tools, and Challenges	54
A Wizard of Oz Study Simulating API Usage Dialogues With a Virtual Assistant	54
Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments	54
Detecting Software Security Vulnerabilities Via Requirements Dependency Analysis	54
MASTER: Multi-Source Transfer Weighted Ensemble Learning for Multiple Sources Cross-Project Defect Prediction	54
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design	54
An Empirical Study of Refactoring Rhythms and Tactics in the Software Development Process	52
Automated Code Editing With Search-Generate-Modify	52
Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities	51
Robust Test Selection for Deep Neural Networks	50
Mask–Mediator–Wrapper Architecture as a Data Mesh Driver	48
Neural Library Recommendation by Embedding Project-Library Knowledge Graph	47
GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming	47
Multi-Objective Software Defect Prediction via Multi-Source Uncertain Information Fusion and Multi-Task Multi-View Learning	47
Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events	44
Trace Diagnostics for Signal-Based Temporal Properties	43
Towards a Cognitive Model of Dynamic Debugging: Does Identifier Construction Matter?	43
PerfJIT: Test-Level Just-in-Time Prediction for Performance Regression Introducing Commits	42
The Impact of Surface Features on Choice of (in)Secure Answers by Stackoverflow Readers	42
Enabling Good Work Habits in Software Developers through Reflective Goal-Setting	42
Testing with Fewer Resources: An Adaptive Approach to Performance-Aware Test Case Generation	42
Mutation Testing in Practice: Insights From Open-Source Software Developers	41
T-Evos: A Large-Scale Longitudinal Study on CI Test Execution and Failure	41
Esale: Enhancing Code-Summary Alignment Learning for Source Code Summarization	41
A Theory of Pending Schemas in Combinatorial Testing	41
Multimodal Fusion for Android Malware Detection Based on Large Pre-trained Models	41
Improving Vulnerability Inspection Efficiency Using Active Learning	40
An Empirical Study of C++ Vulnerabilities in Crowd-Sourced Code Examples	40
Program Synthesis for Cyber-Resilience	39
Decision Support for Selecting Blockchain-Based Application Design Patterns With Layered Taxonomy and Quality Attributes	39
Legion: Massively Composing Rankers for Improved Bug Localization at Adobe	39
How Should Software Engineering Secondary Studies Include Grey Material?	39
On the Understandability of MLOps System Architectures	39
Pathidea: Improving Information Retrieval-Based Bug Localization by Re-Constructing Execution Paths Using Logs	39
API2Vec++: Boosting API Sequence Representation for Malware Detection and Classification	39
Human-in-the-Loop Automatic Program Repair	38
LLMorpheus: Mutation Testing using Large Language Models	38
CODIT: Code Editing With Tree-Based Neural Models	38
How Developers Choose Names	38
Discovering Reusable Functional Features in Legacy Object-Oriented Systems	37
Generalized Coverage Criteria for Combinatorial Sequence Testing	37
EpiTESTER: Testing Autonomous Vehicles With Epigenetic Algorithm and Attention Mechanism	37
Evolutionary generation of test suites for multi-path coverage of MPI programs with non-determinism	36
TransformCode: A Contrastive Learning Framework for Code Embedding via Subtree Transformation	36
Leveraging Large Language Model for Automatic Patch Correctness Assessment	36
Annotative Software Product Line Analysis Using Variability-Aware Datalog	35

Can Clean New Code Reduce Technical Debt Density?	35
A Faceted Taxonomy of Requirements Changes in Agile Contexts	34
An Experience Report on Producing Verifiable Builds for Large-Scale Commercial Systems	34
Formal Equivalence Checking for Mobile Malware Detection and Family Classification	34
Pull Request Decisions Explained: An Empirical Overview	33
Automatic Repair of Timestamp Comparisons	33
Triple Peak Day: Work Rhythms of Software Developers in Hybrid Work	33
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems	33
Context-Aware Personalized Crowdtesting Task Recommendation	33
Metric-Based Fault Prediction for Spreadsheets	33
Experimental Evaluation of Test-Driven Development With Interns Working on a Real Industrial Project	32
Revisiting Test Impact Analysis in Continuous Testing From the Perspective of Code Dependencies	32
Studying Ad Library Integration Strategies of Top Free-to-Download Apps	32
“Estimating Software Project Effort Using Analogies”: Reflections After 28 Years	32
Evaluating and Improving Unified Debugging	31
What Drives and Sustains Self-Assignment in Agile Teams	31
A Study About the Knowledge and Use of Requirements Engineering Standards in Industry	31
SigRec: Automatic Recovery of Function Signatures in Smart Contracts	31
Increasing the Confidence of Deep Neural Networks by Coverage Analysis	31
A Study of Call Graph Construction for JVM-Hosted Languages	31
Specializing Neural Networks for Cryptographic Code Completion Applications	30
Automated Refactoring of Non-Idiomatic Python Code With Pythonic Idioms	30
Detecting Continuous Integration Skip Commits Using Multi-Objective Evolutionary Search	30
Automated Commit Message Generation With Large Language Models: An Empirical Study and Beyond	30
Test Flakiness Across Programming Languages	29
Quantitative Verification for Monitoring Event-Streaming Systems	28
CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement	28
Empirical Validation of Automated Vulnerability Curation and Characterization	28
Evaluation of Static Vulnerability Detection Tools With Java Cryptographic API Benchmarks	28
Data Quality Matters: A Case Study on Data Label Correctness for Security Bug Report Prediction	28
Watch Out for Extrinsic Bugs! A Case Study of Their Impact in Just-In-Time Bug Prediction Models on the OpenStack Project	28
DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects	28
Mind the Gap! A Study on the Transferability of Virtual Versus Physical-World Testing of Autonomous Driving Systems	27
Nighthawk: Fully Automated Localizing UI Display Issues via Visual Understanding	27
Continuously Managing NFRs: Opportunities and Challenges in Practice	27
Retrieval-Augmented Fine-Tuning for Improving Retrieve-and-Edit Based Assertion Generation	27
Microservice Extraction Based on a Comprehensive Evaluation of Logical Independence and Performance	27
How Do Developers Structure Unit Test Cases? An Empirical Analysis of the AAA Pattern in Open Source Projects	27
Exploiting Natural Language Structures in Software Informal Documentation	26
Effect of Requirements Analyst Experience on Elicitation Effectiveness: A Family of Quasi-Experiments	26
Assessing Evaluation Metrics for Neural Test Oracle Generation	26
Line-Level Defect Prediction by Capturing Code Contexts With Graph Convolutional Networks	26
FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair	26
Just-In-Time Obsolete Comment Detection and Update	26
Cross-Language Taint Analysis: Generating Caller-Sensitive Native Code Specification for Java	26
The Analysis of Safety Critical Software Systems	25
Optimization of Software Release Planning Considering Architectural Dependencies, Cost, and Value	25
Understanding the Robustness of Transformer-Based Code Intelligence via Code Transformation: Challenges and Opportunities	25
From Executable Specifications to Hard-to-Specify Requirements: Challenges in Describing Reactive System Behavior	25
Efficient Summary Reuse for Software Regression Verification	25
A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM	24
A Systematic Study on Real-world Android App Bundles	24
STRE: An Automated Approach to Suggesting App Developers When to Stop Reading Reviews	24
Predictive Comment Updating With Heuristics and AST-Path-Based Neural Learning: A Two-Phase Approach	24
CRPWarner: Warning the Risk of Contract-Related Rug Pull in DeFi Smart Contracts	24
ASTRAEA: Grammar-based Fairness Testing	24
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps	24
Improving Cross-Language Code Clone Detection via Code Representation Learning and Graph Neural Networks	24
Provably Valid and Diverse Mutations of Real-World Media Data for DNN Testing	24
Scrutinizing Implementations of Smart Home Integrations	23
A Qualitative Study of the Benefits and Costs of Logging From Developers’ Perspectives	23
NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution	23
Forecasting the Principal of Code Technical Debt in JavaScript Applications	23
On the Validity of Pre-Trained Transformers for Natural Language Processing in the Software Engineering Domain	23
An Empirical Study of Model-Agnostic Techniques for Defect Prediction Models	23
Deconstructing the Nature of Collaboration in Organizations Open Source Software Development: The Impact of Developer and Task Characteristics	23
Beyond Literal Meaning: Uncover and Explain Implicit Knowledge in Code Through Wikipedia-Based Concept Linking	23
The Effectiveness of Supervised Machine Learning Algorithms in Predicting Software Refactoring	23
Predicting Defective Lines Using a Model-Agnostic Technique	23
ArchHypo: Managing Software Architecture Uncertainty Using Hypotheses Engineering	23
Are You Still Working on This? An Empirical Study on Pull Request Abandonment	23
Hashing Fuzzing: Introducing Input Diversity to Improve Crash Detection	22
A Variability Fault Localization Approach for Software Product Lines	22
A Grounded Theory of Cross-Community SECOs: Feedback Diversity Versus Synchronization	22
Explaining Static Analysis With Rule Graphs	22
A Survey on the Use of Computer Vision to Improve Software Engineering Tasks	22
Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints	22
How Templated Requirements Specifications Inhibit Creativity in Software Engineering	22
iTCRL: Causal-Intervention-Based Trace Contrastive Representation Learning for Microservice Systems	22
Stakeholder Preference Extraction From Scenarios	22

RefactoringMiner 2.0	21
Let’s Talk With Developers, Not About Developers: A Review of Automatic Program Repair Research	21
Do Pretrained Language Models Indeed Understand Software Engineering Tasks?	21
Domain-Driven Design for Microservices: An Evidence-Based Investigation	21
Automated Infrastructure as Code Program Testing	21
Automated Use-After-Free Detection and Exploit Mitigation: How Far Have We Gone?	21
Diversity-Oriented Testing for Competitive Game Agent via Constraint-Guided Adversarial Agent Training	21
Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems	20
Syntactic Versus Semantic Similarity of Artificial and Real Faults in Mutation Testing Studies	20
Unearthing Gas-Wasting Code Smells in Smart Contracts With Large Language Models	20
Range Specification Bug Detection in Flight Control System Through Fuzzing	20
Practical Mutation Testing at Scale: A view from Google	20
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection	20
Sentinel: A Hyper-Heuristic for the Generation of Mutant Reduction Strategies	20
A Comparison of Natural Language Understanding Platforms for Chatbots in Software Engineering	20
Architecture Anti-Patterns: Automatically Detectable Violations of Design Principles	19
Restore: Retrospective Fault Localization Enhancing Automated Program Repair	19
Verification of Fuzzy Decision Trees	19
The Human Side of Software Engineering Teams: An Investigation of Contemporary Challenges	19
PopArt: Ranked Testing Efficiency	19
TkT: Automatic Inference of Timed and Extended Pushdown Automata	19
Runtime Evolution of Bitcoin's Consensus Rules	19
Retrospective on: Constraint-Based Automatic Test Data Generation	19
Comparative Analysis of Constraint Handling Techniques for Constrained Combinatorial Testing	19
Towards More Precise Coincidental Correctness Detection With Deep Semantic Learning	19
Reuse of Similarly Behaving Software Through Polymorphism-Inspired Variability Mechanisms	19
Generating Structurally Realistic Models With Deep Autoregressive Networks	19
Evaluating SZZ Implementations: An Empirical Study on the Linux Kernel	18
Studying the Influence and Distribution of the Human Effort in a Hybrid Fitness Function for Search-Based Model-Driven Engineering	18
SCAnoGenerator: Automatic Anomaly Injection for Ethereum Smart Contracts	18
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search	18
Emerging App Issue Identification via Online Joint Sentiment-Topic Tracing	18
Accelerating Finite State Machine-Based Testing Using Reinforcement Learning	18
Engineering Within Boundaries When Software Has None	17
Active Code Learning: Benchmarking Sample-Efficient Training of Code Models	17
Multitask-Based Evaluation of Open-Source LLM on Software Vulnerability	17
Does Treatment Adherence Impact Experiment Results in TDD?	17
A Large Scale Study of Long-Time Contributor Prediction for GitHub Projects	17
Easy-to-Deploy API Extraction by Multi-Level Feature Embedding and Transfer Learning	17
Dealing With Data Challenges When Delivering Data-Intensive Software Solutions	17
Do Chase Your Tail! Missing Key Aspects Augmentation in Textual Vulnerability Descriptions of Long-Tail Software Through Feature Inference	17
PATEN: Identifying Unpatched Third-Party APIs via Fine-Grained Patch-Enhanced AST-Level Signature	17
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions	17
Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation	16
Examiner-Pro: Testing Arm Emulators Across Different Privileges	16
Static Profiling of Alloy Models	16
Heuristic and Neural Network Based Prediction of Project-Specific API Member Access	16
AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes	16
Darcy: Automatic Architectural Inconsistency Resolution in Java	16
Software Testing With Large Language Models: Survey, Landscape, and Vision	16
Finding Trends in Software Research	16
An Assessment of Rules of Thumb for Software Phase Management, and the Relationship Between Phase Effort and Schedule Success	16
A Framework for Emotion-Oriented Requirements Change Handling in Agile Software Engineering	16
Utilizing Automatic Query Reformulations as Genetic Operations to Improve Feature Location in Software Models	16
FlexFL: Flexible and Effective Fault Localization with Open-Source Large Language Models	16
Learning to Predict User-Defined Types	16
Stealthy Backdoor Attack for Code Models	16
Fast and Precise Static Null Exception Analysis With Synergistic Preprocessing	16
Recommending Participants for Collaborative Merge Sessions	16
How Software Developers Mitigate Their Errors When Developing Code	16
Defining Smart Contract Defects on Ethereum	16
DaNuoYi: Evolutionary Multi-Task Injection Testing on Web Application Firewalls	15
A Theory of Value for Value-Based Feature Selection in Software Engineering	15
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation	15
Factors Affecting On-Time Delivery in Large-Scale Agile Software Development	15
RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems	15
A Procedure to Continuously Evaluate Predictive Performance of Just-In-Time Software Defect Prediction Models During Software Development	15
Automatic Generation of Acceptance Test Cases From Use Case Specifications: An NLP-Based Approach	15
Characterizing Crowds to Better Optimize Worker Recommendation in Crowdsourced Testing	15
A Search-Based Testing Approach for Deep Reinforcement Learning Agents	15
On the Workflows and Smells of Leaderboard Operations (LBOps): An Exploratory Study of Foundation Model Leaderboards	15
Reading Answers on Stack Overflow: Not Enough!	15
A Retrospective of Proving the Correctness of Multiprocess Programs	15
IntRepair: Informed Repairing of Integer Overflows	14
IoTCom: Dissecting Interaction Threats in IoT Systems	14
Distilling Quality Enhancing Comments From Code Reviews to Underpin Reviewer Recommendation	14
Active Learning of Discriminative Subgraph Patterns for API Misuse Detection	14
Neural Transfer Learning for Repairing Security Vulnerabilities in C Code	14
Let's Go to the Whiteboard (Again): Perceptions From Software Architects on Whiteboard Architecture Meetings	14
Pride: Prioritizing Documentation Effort Based on a PageRank-Like Algorithm and Simple Filtering Rules	14
Enforcing Correctness of Collaborative Business Processes Using Plans	14
Comparing Block-Based Programming Models for Two-Armed Robots	14
TrinityRCL: Multi-Granular and Code-Level Root Cause Localization Using Multiple Types of Telemetry Data in Microservice Systems	14
Safety and Performance, Why Not Both? Bi-Objective Optimized Model Compression Against Heterogeneous Attacks Toward AI Software Deployment	14