yusuke1997/dblp-id-title huggingface dataset:
Adversarial symbolic execution for detecting concurrency-related cache timing leaks
Sydit: creating and applying a program transformation from an example
Improving code recommender systems by incorporating domain knowledge and graphical models
Engineering human trust in mobile system collaborations
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization
Conditional interpolation: making concurrent program verification more effective
Support, Not Automation: Towards AI-supported Code Review For Code Quality and Beyond
The challenge of pervasive software to the conventional wisdom of software engineering
Towards Automated Detection of Unethical Behavior in Open-Source Software Projects
Understanding and detecting server-side request races in web applications
MineCPP: Mining Bug Fix Pairs and Their Structures
Time-travel debugging for JavaScript/Node.js
Demand Interprocedural Dataflow Analysis
TestGPT-Server: Automatically Testing Microservices with Large Language Models at ByteDance
Type migration in large-scale code bases
CheapET-3: cost-efficient use of remote DNN models
DeepDelta: learning to repair compilation errors
MonitorAssistant: Simplifying Cloud Service Monitoring via Large Language Models
Derivational software engineering
Cerebro: context-aware adaptive fuzzing for effective vulnerability detection
Providing multiple views for objects by means of surrogates
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
Software change contracts
Locating need-to-translate constant strings in web applications
Mining preconditions of APIs in large-scale code corpus
Automated identification of parameter mismatches in web applications
Deterministically testing actor-based concurrent software
A model-driven approach to generating user interfaces
An empirical investigation of practical log anomaly detection for online service systems
Refactoring Detection in C++ Programs with RefactoringMiner++
Profile-guided program simplification for effective testing and analysis
Adapting XP to complex application domains
An empirical study on challenges of application development in serverless computing
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004
Empirical Study and Vision for a Holistic Serious Game Platform for Software Engineering Education
ReImInfer: method purity inference for Java
Designing for Scalability: Building a Universal Serverless Messaging Architecture with Apache RocketMQ
Experience report: using RESOLVE/C++ for commercial software
Aspect-oriented connectors for coordination
BinGo: cross-architecture cross-OS binary search
MTFuzz: fuzzing with a multi-task neural network
Scalable Software Libraries
Smart views for analyzing problem reports: tool demo
Social sensing: when users become monitors
Exploring and exploiting the correlations between bug-inducing and bug-fixing commits
Software intelligence: the future of mining software engineering data
STG: a tool for generating symbolic test programs and oracles from operational specifications
C³: Code Clone-Based Identification of Duplicated Components
Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts
A systematic kernel development
Evolution of a bluetooth test application product line: a case study
UTANGO: untangling commits with context-aware, graph-based, code change clustering learning model
Tool support for multiple viewpoints
Do Android taint analysis tools keep their promises?
Fairway: a way to build fair ML software
Adaptation and software architecture
Understanding process and the quest for deeper questions in software engineering research
NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS
Model, execute, and deploy: answering the hard questions in end-user programming (showcase)
How disabled tests manifest in test maintainability challenges?
Monitoring, analysis, and testing of deployed software
Heterogeneous cross-company defect prediction by unified metric representation and CCA-based transfer learning
Detecting missing information in bug descriptions
Improving robustness of evolving exceptional behaviour in executable models
Engineering software services for pervasive environments
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing
Impact of developer turnover on quality in open-source software
Language-agnostic dynamic analysis of multilingual code: promises, pitfalls, and prospects
A formal approach to the assessment and improvement of terminological models used in information systems engineering
Assessing the greenability of ensembles
Opportunity-centered software development
In war and peace: the impact of world politics on software ecosystems
An empirical investigation of missing data handling in cloud node failure prediction
Software architecture and mobility
SOA monitoring based on a formal workflow model with constraints
MAAT: a novel ensemble approach to addressing fairness and performance bugs for machine learning software
Storm: program reduction for testing and debugging probabilistic programming systems
XAI tools in the public sector: a case study on predicting combined sewer overflows
Using an SQL coverage measurement for testing database applications
Frontmatter: mining Android user interfaces at scale
Effective communication of software development knowledge through community portals
RegMiner: mining replicable regression dataset from code repositories
Cross-project defect prediction: a large scale experiment on data vs. domain vs. process
ARTINALI: dynamic invariant detection for cyber-physical system security
Preparing Autistic Students for the AI Workforce
Supporting clone analysis with tag cloud visualization
Developer workflow at google (showcase)
Evaluating the Impact of Scaffolding and Visualizations for Mutation Testing Exercises in Software Engineering Education
Insights from open source software supply chains (keynote)
Automatically analyzing groups of crashes for finding correlations
Preference-wise testing for Android applications
Scalable SMT-based verification of GPU kernel functions
VarFix: balancing edit expressiveness and search effectiveness in automated program repair
Typestate protocol specification in JML
How can manual testing processes be optimized? developer survey, optimization guidelines, and case studies
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems
Architectural structures and views
Breaking the Loop: AWARE is the New MAPE-K
DecisionDroid: a supervised learning-based system to identify cloned Android applications
Engineering a Formally Verified Automated Bug Finder
ELI-ALPS: the ultrafast challenges in Hungary
Selecting third-party libraries: the practitioners' perspective
An empirical study on the evolution of design patterns
Reasoning about confidentiality at requirements engineering time
Quantitative relational modelling with QAlloy
Exploring LLM-Based Agents for Root Cause Analysis
Program structure aware fault localization
A behavioural model for product families
Refining Fuzzed Crashing Inputs for Better Fault Diagnosis
Consistency techniques for interprocedural test data generation
A design-centric view of the economy: abstract
String analysis for side channels with segmented oracles
Software design: the options approach
Supporting human-intensive systems
Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information
Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, FSE Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 23-28, 2025
Automated test oracles for GUIs
How do software engineers understand code changes?: an exploratory study in industry
QoS verification and model tuning @ runtime
Software architectures in industrial systems: an empirical study
Industry practice of coverage-guided enterprise Linux kernel fuzzing
Testing of machine learning models with limited samples: an industrial vacuum pumping application
App store mining and analysis
Using social media to study the diversity of example usage among professional developers
Retargeting Android applications to Java bytecode
Proceedings of the 4th ACM SIGSOFT International Workshop on NLP for Software Engineering, NL4SE@ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 4, 2018
Requirements engineering: from craft to discipline
A portable interface for runtime energy monitoring
Disrupting developer productivity one bot at a time
A Vision on Open Science for the Evolution of Software Engineering Research and Practice
LINKSTER: enabling efficient manual inspection and annotation of mined data
ExLi: An Inline-Test Generation Tool for Java
HDDr: a recursive variant of the hierarchical Delta debugging algorithm
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements
A live environment for inspection and refactoring of software systems
Mining and characterizing hybrid apps
Steering the Future: A Catalog of Failures in Deep Learning-Enabled Robotic Navigation Systems
Automated Testing of COBOL to Java Transformation
Embracing policy engineering
Correctness and Composition of Software Architectures
Perfect is the enemy of test oracle
Improving ML-based information retrieval software with user-driven functional testing and defect class analysis
Context-aware and data-driven feedback generation for programming assignments
Automated Unit Test Improvement using Large Language Models at Meta
Apposcopy: semantics-based detection of Android malware through static analysis
Asserting and checking determinism for multithreaded programs
A first look at good first issues on GitHub
Prediction of atomic web services reliability based on k-means clustering
One size doesn't fit all: diversifying "the user" using personas and emotional scenarios
Generating Oracles from Your Favorite Temporal Logic Specifications
Formal modeling of BPEL workflows including fault and compensation handling
Specifying java iterators with JML and Esc/Java2
Performance modeling and prediction of enterprise JavaBeans with layered queuing network templates
Automated analysis of bounded response time for two NASA expert systems
Reshaping distributed agile and adaptive development environment
Flexeme: untangling commits using lexical flows
Can developer-module networks predict failures?
From representations to computations: the evolution of web architectures
Context-sensitive detection of information exposure bugs with symbolic execution
Freeing hybrid distributed AI training configuration
Creating a Student-Friendly PaaS Platform: Experiences with Tsuru in Software Engineering Education
Machine-learning supported vulnerability detection in source code
The complementary aspect of automatically and manually generated test case sets
Reusing software engineering knowledge from developer communication
Autonomous compliance monitoring of non-functional properties
Efficient dependency detection for safe Java test acceleration
Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, A-TEST@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4-5, 2017
Facilitating feasibility analysis: the pilot defects prediction dataset maker
Regression test selection for TizenRT
Ensemble: a recommendation tool for promoting communication in software teams
Detecting and understanding JavaScript global identifier conflicts on the web
Using nudges to accelerate code reviews at scale
Operational calibration: debugging confidence errors for DNNs in the field
Understanding GCC builtins to develop better tools
Performance data collection using a hybrid approach
Learning from code with graphs (keynote)
Multi-view description of software architectures
Guidelines for GUI testing maintenance: a linter for test smell detection
Bayesian inference using data flow analysis
Bug synthesis: challenging bug-finding tools with deep faults
Black box fairness testing of machine learning models
SAFEWAPI: web API misuse detector for web applications
Machine learning-assisted performance testing
CarFast: achieving higher statement coverage faster
Analyzing the validity of selective mutation with dominator mutants
Bayesian reasoning for software testing
StackEmo: towards enhancing user experience by augmenting stack overflow with emojis
Automating serverless deployments for DevOps organizations
Towards accurate failure prediction for the proactive adaptation of service-oriented systems
Explaining abstract counterexamples
Energy Codesumption, Leveraging Test Execution for Source Code Energy Consumption Analysis
SWAN: a static analysis framework for swift
Model-based testing of breaking changes in Node.js libraries
Modular verification of web services using efficient symbolic encoding and summarization
Using groupings of static analysis alerts to identify files likely to contain field failures
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors
SynGuar: guaranteeing generalization in programming by example
Experimenting with exception propagation mechanisms in service-oriented architecture
Can microtask programming work in industry?
Reachability analysis for annotated code
Using machine learning to guide the application of software refactorings: a preliminary exploration
DESCRY: reproducing system-level concurrency failures
Towards recovering the broken SOA triangle: a software engineering perspective
Find, understand, and extend development screencasts on YouTube
A comprehensive study on challenges in deploying deep learning based software
Structuring interfaces
Towards immersive software archaeology: regaining legacy systems' design knowledge via interactive exploration in virtual reality
Automation of the creation and execution of system level hardware-in-loop tests through model-based testing
Extracting instruction semantics via symbolic execution of code generators
Risks and assets: a qualitative study of a software ecosystem in the mining industry
Rubicon: bounded verification of web applications
Sometimes you have to treat the symptoms: tackling model drift in an industrial clone-and-own software product line
Extracting library-based object-oriented applications
Proceedings of the 2013 International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013, Saint Petersburg, Russia, August 19, 2013
A Preliminary Study on the Privacy Concerns of Using IP Addresses in Log Data
JoanAudit: a tool for auditing common injection vulnerabilities
Code Coverage Criteria for Asynchronous Programs
Multiple view analysis of designs
Enhancing Large Language Model Integration in Integrated Development Environments
Towards open architecture system
Drop the Golden Apples: Identifying Third-Party Reuse by DB-Less Software Composition Analysis
ShAir: extensible middleware for mobile peer-to-peer resource sharing
Trace analysis based microservice architecture measurement
Towards context-aware components
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL
Code, quality, and process metrics in graduated and retired ASFI projects
Exploring Moral Principles Exhibited in OSS: A Case Study on GitHub Heated Issues
DeJITLeak: eliminating JIT-induced timing side-channel leaks
Parameter-free probabilistic API mining across GitHub
Beyond Stars and Commits: A Fair and Manipulation-Resistant Framework for Measuring Developer Contributions
Extensibility in ecosystem architectures: an initial study
Fitting the pieces together: a machine-checked model of safe composition
A publication culture in software engineering (panel)
Work experience versus refactoring to design patterns: a controlled experiment
Paving the way for mature secondary research: the seven types of literature review
Generating efficient solvers from constraint models
Through the looking glass of immaterial labor
Recommending related functions from API usage-based function clone structures
A large-scale empirical comparison of static and dynamic test case prioritization techniques
A survey of web engineering practice in small Jordanian web development firms
Interpolation for data structures
Lawful software engineering
Tool Support for Planning the Restructuring of Data Abstractions in Large Systems
Integrating participatory sensing in application development practices
Advances in designing a student-centered learning process using cutting-edge methods, tools, and artificial intelligence: an e-learning platform
Fairness testing: testing software for discrimination
ASAC: A Benchmark for Algorithm Synthesis
Marple: a demand-driven path-sensitive buffer overflow detector
FOSS version differentiation as a benchmark for static analysis security testing tools
Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies
Model Checking Large Software Specifications
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach
Automatically locating framework extension examples
Recovering and using use-case-diagram-to-source-code traceability links
Use of organisational topologies for forensic investigations
State-based model checking of event-driven system requirements
Effort-aware just-in-time defect identification in practice: a case study at Alibaba
An Interdisciplinary approach to holistic engineering course development: Framework and Practice
SmartHR: a resume query and management system based on semantic web
Automatic structural testing with abstraction refinement and coarsening
What type of thread can get feedback in OSS user mailing list?
Towards understanding code readability and its impact on design quality
Fault-tolerant digital systems implemented with partially definite and partially correct automata
Efficient token based clone detection with flexible tokenization
Understanding interaction differences between newcomer and expert programmers
Proceedings of the 1st ACM SIGSOFT International Workshop on Software Engineering and Digital Forensics, SERF@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4, 2017
Natural Language to Code: How Far Are We?
Deep API learning
A conceptual replication of continuous integration pain points in the context of Travis CI
Understanding source code comments at large-scale
Lightweight verification via specialized typecheckers
Testing and validating end user programmed calculated fields
An empirical study of BM25 and BM25F based feature location techniques
Realizability analysis for message-based interactions using shared-state projections
A case study of implicit mentoring, its prevalence, and impact in Apache
A user-guided approach to program analysis
Innovations in pervasive computing
A family of test adequacy criteria for database-driven applications
Energy-aware design patterns for mobile application development (invited talk)
On Using Information Retrieval to Recommend Machine Learning Good Practices for Software Engineers
Using symbolic execution for verifying safety-critical systems
Managing the open cathedral
Cross-language Android permission specification
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models
Product integration improvement based on analysis of build statistics
RELAY: static race detection on millions of lines of code
Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management
Experiments in the use of τ-simulations for the components-verification of real-time systems
ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code
Using proximity relations for the adaptation of mobile field services
Dimensions of tools for detecting software conflicts
Don't panic: reverse debugging of kernel drivers
Regression Fault Detection and Mitigation in the Evolution of Deep Learning Systems
How Practitioners Expect Code Completion?
DiffTech: a tool for differencing similar technologies from question-and-answer discussions
Does adding manpower also affect quality?: an empirical, longitudinal analysis
Autonomous agents in software development for information retrieval using LLM models
Writing and using program specifications
Automatically identifying performance issue reports with heuristic linguistic patterns
Applying deep learning based automatic bug triager to industrial projects
Making offline analyses continuous
Understanding the impact of refactoring on smells: a longitudinal study of 23 software projects
Automatically recommending test code examples to inexperienced developers
Input-Driven Dynamic Program Debloating for Code-Reuse Attack Mitigation
Robust degradation and enhancement of robot mission behaviour in unpredictable environments
Component-based semantics
Feedback-directed differential testing of interactive debuggers
An architecture for constructing self-evolving software systems
Barriers and enablers for shortening software development lead-time in mechatronics organizations: a case study
How should static analysis tools explain anomalies to developers?
Bridging the gap between ML solutions and their business requirements using feature interactions
Evaluating fault-tolerant system designs using FAUmachine
From Words to Wisdom: LLMs Summarizing Instructional Content
Efficient generation of inductive validity cores for safety properties
Language-based verification will change the world
Server interface descriptions for automated testing of JavaScript web applications
Scaling static taint analysis to industrial SOA applications: a case study at Alibaba
Statistical symbolic execution with informed sampling
STEAM: Observability-Preserving Trace Sampling
Building lean continuous integration and delivery pipelines by applying DevOps principles: a case study at Varidesk
Automatically generated patches as debugging aids: a human study
Dodrio: Parallelizing Taint Analysis Based Fuzzing via Redundancy-Free Scheduling
Tool support for software architecture
Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects
Reel life vs. real life: how software developers share their daily life through vlogs
Evolutionary improvement of assertion oracles
Software Architecture Recovery with Information Fusion
The Patch Overfitting Problem in Automated Program Repair: Practical Magnitude and a Baseline for Realistic Benchmarking
Tracking pointers with path and context sensitivity for bug detection in C programs
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022
KAVe: A Tool to Detect XSS and SQLi Vulnerabilities using a Multi-Agent System over a Multi-Layer Knowledge Graph
PyTER: effective program repair for Python type errors
RulePad: interactive authoring of checkable design rules
CLSLog: Collaborating Large and Small Models for Log-based Anomaly Detection
RDIT: race detection from incomplete traces
Performance comprehension at WiredTiger
DevCoach: Supporting Students Learning the Software Development Life Cycle with a Generative AI powered Multi-Agent System
Symbolic execution-driven extraction of the parallel execution plans of Spark applications
Efficient online monitoring of web-service SLAs
ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021
On the scalability of Linux kernel maintainers' work
Efficiency of projectional editing: a controlled experiment
Characterizing search activities on stack overflow
Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity
iFixFlakies: a framework for automatically fixing order-dependent flaky tests
Syntax-guided synthesis of Datalog programs
Automatic generation of suggestions for program investigation
Automotive architecture description and its quality
The use of application scanners in software product quality assessment
Metadata-based retrieval for resolution recommendation in AIOps
Compatibility Issues in Deep Learning Systems: Problems and Opportunities