IEEE Transactions on Software Engineering

Article	Citations
Combining Genetic Programming and Model Checking to Generate Environment Assumptions	453
Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems	448
50 Years of Transactions on Software Engineering	312
Confirmation Bias and Time Pressure: A Family of Experiments in Software Testing	271
Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue	134
Do as You Say: Consistency Detection of Data Practice in Program Code and Privacy Policy in Mini-App	115
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines	114
Can We Trust the Phone Vendors? Comprehensive Security Measurements on the Android Firmware Ecosystem	97
Multi-Granularity Detector for Vulnerability Fixes	96
A Retrospective on Whole Test Suite Generation: On the Role of SBST in the Age of LLMs	93
DSSDPP: Data Selection and Sampling Based Domain Programming Predictor for Cross-Project Defect Prediction	89
Influence of the 1990 IEEE TSE Paper “Automated Software Test Data Generation” on Software Engineering	89
Are Your Dependencies Code Reviewed?: Measuring Code Review Coverage in Dependency Updates	85
Enhancing Mobile App Bug Reporting via Real-Time Understanding of Reproduction Steps	84
Recommending API Function Calls and Code Snippets to Support Software Development	82
Question Selection for Multi-Modal Code Search Synthesis using Probabilistic Version Spaces	76
Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling	75
The Why, When, What, and How About Predictive Continuous Integration: A Simulation-Based Investigation	75
Grammar Based Directed Testing of Machine Learning Systems	73
What Leads to a Confirmatory or Disconfirmatory Behavior of Software Testers?	71
Metamorphic Robustness Testing: Exposing Hidden Defects in Citation Statistics and Journal Impact Factors	70
A Declarative Metamorphic Testing Framework for Autonomous Driving	65
Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition	65
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties	64
Prevent: An Unsupervised Approach to Predict Software Failures in Production	63

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

A Faceted Taxonomy of Requirements Changes in Agile Contexts	37
Pathidea: Improving Information Retrieval-Based Bug Localization by Re-Constructing Execution Paths Using Logs	35
On the Understandability of MLOps System Architectures	35
Can Clean New Code Reduce Technical Debt Density?	35
Human-in-the-Loop Automatic Program Repair	35
An Empirical Study of C++ Vulnerabilities in Crowd-Sourced Code Examples	34
EpiTESTER: Testing Autonomous Vehicles With Epigenetic Algorithm and Attention Mechanism	34
Pull Request Decisions Explained: An Empirical Overview	34
“Estimating Software Project Effort Using Analogies”: Reflections After 28 Years	33
TransformCode: A Contrastive Learning Framework for Code Embedding via Subtree Transformation	33
Studying Ad Library Integration Strategies of Top Free-to-Download Apps	32
What Drives and Sustains Self-Assignment in Agile Teams	32
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
A Study of Call Graph Construction for JVM-Hosted Languages	32
A Study About the Knowledge and Use of Requirements Engineering Standards in Industry	31
Detecting Continuous Integration Skip Commits Using Multi-Objective Evolutionary Search	31
Evaluating and Improving Unified Debugging	31
Empirical Validation of Automated Vulnerability Curation and Characterization	30
Specializing Neural Networks for Cryptographic Code Completion Applications	30
Automated Refactoring of Non-Idiomatic Python Code With Pythonic Idioms	30
Automated Commit Message Generation With Large Language Models: An Empirical Study and Beyond	30
CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement	29
DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects	29
Quantitative Verification for Monitoring Event-Streaming Systems	29
Microservice Extraction Based on a Comprehensive Evaluation of Logical Independence and Performance	29
How Do Developers Structure Unit Test Cases? An Empirical Analysis of the AAA Pattern in Open Source Projects	29
Continuously Managing NFRs: Opportunities and Challenges in Practice	29
Increasing the Confidence of Deep Neural Networks by Coverage Analysis	28
Just-In-Time Obsolete Comment Detection and Update	28
Nighthawk: Fully Automated Localizing UI Display Issues via Visual Understanding	28
Retrieval-Augmented Fine-Tuning for Improving Retrieve-and-Edit Based Assertion Generation	28
Test Flakiness Across Programming Languages	28
Mind the Gap! A Study on the Transferability of Virtual Versus Physical-World Testing of Autonomous Driving Systems	28
Watch Out for Extrinsic Bugs! A Case Study of Their Impact in Just-In-Time Bug Prediction Models on the OpenStack Project	28
SigRec: Automatic Recovery of Function Signatures in Smart Contracts	27
Effect of Requirements Analyst Experience on Elicitation Effectiveness: A Family of Quasi-Experiments	27
Data Quality Matters: A Case Study on Data Label Correctness for Security Bug Report Prediction	27
Evaluation of Static Vulnerability Detection Tools With Java Cryptographic API Benchmarks	27
Efficient Summary Reuse for Software Regression Verification	26
ASTRAEA: Grammar-based Fairness Testing	26
Provably Valid and Diverse Mutations of Real-World Media Data for DNN Testing	26
The Analysis of Safety Critical Software Systems	26
Understanding the Robustness of Transformer-Based Code Intelligence via Code Transformation: Challenges and Opportunities	26
Exploiting Natural Language Structures in Software Informal Documentation	26
Optimization of Software Release Planning Considering Architectural Dependencies, Cost, and Value	26
From Executable Specifications to Hard-to-Specify Requirements: Challenges in Describing Reactive System Behavior	26
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps	26
Cross-Language Taint Analysis: Generating Caller-Sensitive Native Code Specification for Java	26
STRE: An Automated Approach to Suggesting App Developers When to Stop Reading Reviews	25
A Qualitative Study of the Benefits and Costs of Logging From Developers’ Perspectives	25
CRPWarner: Warning the Risk of Contract-Related Rug Pull in DeFi Smart Contracts	25
NumScout: Unveiling Numerical Defects in Smart Contracts Using LLM-Pruning Symbolic Execution	25
FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair	25
Improving Cross-Language Code Clone Detection via Code Representation Learning and Graph Neural Networks	25
Line-Level Defect Prediction by Capturing Code Contexts With Graph Convolutional Networks	25
A Systematic Study on Real-World Android App Bundles	25
Predictive Comment Updating With Heuristics and AST-Path-Based Neural Learning: A Two-Phase Approach	25
Explaining Static Analysis With Rule Graphs	24
The Effectiveness of Supervised Machine Learning Algorithms in Predicting Software Refactoring	24
Predicting Defective Lines Using a Model-Agnostic Technique	24
Beyond Literal Meaning: Uncover and Explain Implicit Knowledge in Code Through Wikipedia-Based Concept Linking	24
On the Validity of Pre-Trained Transformers for Natural Language Processing in the Software Engineering Domain	24
Assessing Evaluation Metrics for Neural Test Oracle Generation	24
Deconstructing the Nature of Collaboration in Organizations Open Source Software Development: The Impact of Developer and Task Characteristics	24
Are You Still Working on This? An Empirical Study on Pull Request Abandonment	24
A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM	24
An Empirical Study of Model-Agnostic Techniques for Defect Prediction Models	24
Scrutinizing Implementations of Smart Home Integrations	24
iTCRL: Causal-Intervention-Based Trace Contrastive Representation Learning for Microservice Systems	23
Diversity-Oriented Testing for Competitive Game Agent via Constraint-Guided Adversarial Agent Training	23
A Grounded Theory of Cross-Community SECOs: Feedback Diversity Versus Synchronization	23
Stakeholder Preference Extraction From Scenarios	23
Sentinel: A Hyper-Heuristic for the Generation of Mutant Reduction Strategies	23
Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints	23
A Variability Fault Localization Approach for Software Product Lines	23
Automated Infrastructure as Code Program Testing	23
Range Specification Bug Detection in Flight Control System Through Fuzzing	22
Unearthing Gas-Wasting Code Smells in Smart Contracts With Large Language Models	22
Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems	22

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