yusuke1997/dblp-id-title huggingface dataset:
Efficient module-level dynamic analysis for dynamic languages with module recontextualization
Privacy-Centric Log Parsing for Timely, Proactive Personal Data Protection
Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints
Towards automated generation of PO-based WebDriver test suites from Selenium IDE recordings
FuzzBench: an open fuzzer benchmarking platform and service
HyperDiff: Computing Source Code Diffs at Scale
How Early Participation Determines Long-Term Sustained Activity in GitHub Projects?
A behavioral notion of robustness for software systems
How bad can a bug get? an empirical analysis of software failures in the OpenStack cloud computing platform
Model Checking of Hierarchical State Machines
Model transformation in the large
Atlas: an intelligent, performant framework for web-based grid computing
Model-driven software engineering in practice: privacy-enhanced filtering of network traffic
Formalization and Application of a Unifying Model for Name Management
Grammarinator: a grammar-based open source fuzzer
Software change dynamics: evidence from 35 java projects
Predicting reliability by severity and priority of defects
Perspectives on static analysis of mobile apps (invited talk)
Psychologically-inspired, unsupervised inference of perceptual groups of GUI widgets from GUI images
What Can Programming Languages Contribute to Software Engineering, and Vice Versa? (Panel)
CodeMatcher: a tool for large-scale code search based on query semantics matching
The Impact of Team Diversity in Agile Development Education
What change history tells us about thread synchronization
IoPV: On Inconsistent Option Performance Variations
SVMRanker: a general termination analysis framework of loop programs via SVM
BiasRV: uncovering biased sentiment predictions at runtime
TS-Detector : Detecting Feature Toggle Usage Patterns
Intelligent REST API data fuzzing
VO-GCSE: Verification Optimization through Global Common Subexpression Elimination
Steelix: program-state based binary fuzzing
Leveraging existing instrumentation to automatically infer invariant-constrained models
Validate your SPDX files for open source license violations
Enhancing developers' support on pull requests activities with software bots
Appaction: Automatic GUI Interaction for Mobile Apps via Holistic Widget Perception
Engineering search computing applications: vision and challenges
Towards the Versioning of LLM-Agent-Based Software
Understanding and generating high quality patches for concurrency bugs
Effective low capacity status prediction for cloud systems
On the scalable dynamic taint analysis for distributed systems
Test-related factors and post-release defects: an empirical study
Keep it SIMPLEX: satisfying multiple goals with guarantees in control-based self-adaptive systems
CodeCarbonCopy
Oracles for Checking Temporal Properties of Concurrent Systems
Understanding and automatically detecting conflicting interactions between smart home IoT applications
MODE: automated neural network model debugging via state differential analysis and input selection
A variability perspective of mutation analysis
A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM's Quantum Computers
Refinements and multi-dimensional separation of concerns
Test report prioritization to assist crowdsourced testing
CoSEFA: An LLM-Based Programming Assistant for Secure Code Generation via Supervised Co-Decoding
Efficient customer incident triage via linking with system incidents
The disappearing boundary between development-time and run-time
Practices and tools for better software testing
MultiSE: multi-path symbolic execution using value summaries
An architecture for viewpoint environments based on OMG/CORBA
CodeNoCode Predictive Modeling: Co-Development with LLMs for Transparency and Inclusivity
Sustainability forecasting for Apache incubator projects
Symbolic execution of programs with heap inputs
AmocRCA: At Most One Change Segmentation and Relative Correlation Ranking for Root Cause Analysis
Estimating the dynamic performance of composed services: a probability theory based approach
WarningsGuru: integrating statistical bug models with static analysis to provide timely and specific bug warnings
Chat to succeed
Dynamic slicing for deep neural networks
Towards static recovery of micro state transitions from legacy embedded code
Software engineering as live performance
iMuse: interactive model-based use-case and storytelling environment
An empirical investigation of socio-technical code review metrics and security vulnerabilities
The infeasibility of experimental quantification of life-critical software reliability
Detecting Overfitting of Machine Learning Techniques for Automatic Vulnerability Detection
Towards Mitigating API Hallucination in Code Generated by LLMs with Hierarchical Dependency Aware
Recommending relevant projects via user behaviour: an exploratory study on github
On the relationship between design discussions and design quality: a case study of Apache projects
Using critics to analyze evolving architectures
Validity concerns in software engineering research
Predicting problems caused by component upgrades
Efficient Text-to-Code Retrieval with Cascaded Fast and Slow Transformer Models
A fine-grained approach for automated conversion of JUnit assertions to English
Implementing protocols via declarative event patterns
Intelligent bug fixing with software bug knowledge graph
Analyzing hierarchical complex real-time systems
Test Script Repair of Deep Learning Library Testing
OASIS: prioritizing static analysis warnings for Android apps based on app user reviews
Towards combining usage mining and implementation analysis to infer API preconditions
Inferring data polymorphism in systems code
Automated Support for Encapsulating Abstract Data Types
The lessons software engineers can extract from painters to improve the software development process
Unlocking the Full Potential of AI Chatbots: A Guide to Maximizing Your Digital Companions
Automated translation of Android context-dependent gestures to visual GUI test instructions
Enhanced n-version programming and recovery block techniques for web service systems
VaryMinions: leveraging RNNs to identify variants in event logs
Proceedings of the 4th ACM SIGSOFT International Workshop on Software Analytics, SWAN@ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 5, 2018
Testing self-adaptive software with probabilistic guarantees on performance metrics
A path-sensitively sliced control flow graph
On the relationship between refactoring actions and bugs: a differentiated replication
BFSig: Leveraging File Significance in Bus Factor Estimation
Techniques for improving regression testing in continuous integration development environments
When program analysis meets mobile security: an industrial study of misusing Android internet sockets
Analysis of a deployed software
MicroKarta: Visualising Microservice Architectures
Paths to Testing: Why Women Enter and Remain in Software Testing?
Measuring neural efficiency of program comprehension
Adapting bug prediction models to predict reverted commits at Wayfair
Object detection for graphical user interface: old fashioned or deep learning or a combination?
Automated detection and mitigation of inter-application security vulnerabilities in Android (invited talk)
Are you getting traction? tales from the tech transfer trenches (invited talk)
To upgrade or not to upgrade? the release of new versions to survive in the hypercompetitive app market
Engineering self-coordinating software intensive systems
Evaluating recovery aware components for grid reliability
Context- and path-sensitive memory leak detection
DEEP: the product roadmap maturity model: a method for assessing the product roadmapping capabilities of organizations
Improving the readability of defect reports
RGSE: a regular property guided symbolic executor for Java
(No) influence of continuous integration on the commit activity in GitHub projects
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006
CrossVul: a cross-language vulnerability dataset with commit data
Compositional specification of software architecture
The Promise and Pitfalls of WebAssembly: Perspectives from the Industry
Test coverage criteria for RESTful web APIs
Combining self-reported and automatic data to improve programming effort measurement
Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, ASAS@ESEC/FSE 2011, Szeged, Hungary, September 4, 2011
Bridging gaps between developers and testers in globally-distributed software development
Using dynamic analysis to create trace-focused user interfaces for IDEs
Navigating Academic Careers in Software Engineering: An Empirical Study of Faculty and Postdoctoral Roles
Leveraging Human Insights for Enhanced LLM-based Code Repair
Behavioral log analysis with statistical guarantees
The impact of social media on software engineering practices and tools
A Unified Version Model for Configuration Management
Towards transferring lean software startup practices in software engineering education
A learning-based approach for automatic construction of domain glossary from source code and documentation
D2S2: Drag 'n' Drop Mobile App Screen Search
The Call Graph Chronicles: Unleashing the Power Within
A field study of refactoring challenges and benefits
A micromodularity mechanism
CacheOptimizer: helping developers configure caching frameworks for hibernate-based database-centric web applications
UPEX: user participation by example
Quantifying architectural debts
Dynamic Application Security Testing for Kubernetes Deployment: An Experience Report from Industry
Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support
Crystallizer: A Hybrid Path Analysis Framework to Aid in Uncovering Deserialization Vulnerabilities
ConceptCloud: a tagcloud browser for software archives
Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data
State coverage: a structural test adequacy criterion for behavior checking
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
SinkFinder: harvesting hundreds of unknown interesting function pairs with just one seed
Potentials and challenges of recommendation systems for software development
ENNA: software effort estimation using ensemble of neural networks with associative memory
Specification and verification of trustworthy component-based real-time reactive systems
Static analysis driven performance and energy testing
Analyzing the Communication Patterns of Different Teammate Types in a Software Engineering Course Project
Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges
An interfaced based architecture for business information systems
Stochastic energy optimization for mobile GPS applications
How quality attributes of software platform architectures influence software ecosystems
Lightweight object specification with typestates
Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps
Managing performance vs. accuracy trade-offs with loop perforation
To read or to rotate? comparing the effects of technical reading training and spatial skills training on novice programming ability
Quantifying community evolution in developer social networks
System reliability calculation based on the run-time analysis of ladder program
Does stress impact technical interview performance?
Testing mined specifications
Comprehensive service matching with MatchBox
Static analysis for software assurance: soundness, scalability and adaptiveness
XMLMate: evolutionary XML test generation
Dynamic Prediction of Delays in Software Projects using Delay Patterns and Bayesian Modeling
KATCH: high-coverage testing of software patches
A study on identifying code author from real development
ClusterXplain: a Clustering-based Tool for DNN components Debugging
Understanding behavioural patterns in JavaScript
Monitoring conversational web services
Eos : instance-level aspects for integrated system design
ASTEC: a new approach to refactoring C
Decomposing the rationale of code commits: the software developer's perspective
An architecture-centric approach for goal-driven requirements elicitation
Architectural primitives for distribution and mobility
Why do developers neglect exception handling?
Using aspectC to improve the modularity of path-specific customization in operating system code
Does Every Inspection Need a Meeting?
On Polyglot Program Testing
Biases and differences in code review using medical imaging and eye-tracking: genders, humans, and machines
Understanding gamification mechanisms for software development
IWPSE-EVOL 2011: 12th international workshop on principles on software evolution and 7th ERCIM workshop on software evolution
Don't touch my code!: examining the effects of ownership on software quality
Failure-driven program repair
PerfGuard: binary-centric application performance monitoring in production environments
Synergistic debug-repair of heap manipulations
VART: a tool for the automatic detection of regression faults
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008
Automated Vulnerability-Focused Code Reviews
Lessons from the Long Tail: Analysing Unsafe Dependency Updates across Software Ecosystems
Sketches and diagrams in practice
Knowledge-Based Multi-Agent Framework for Automated Software Architecture Design
Numerical program analysis and testing
Z3-str: a z3-based string solver for web application analysis
Using app reviews for competitive analysis: tool support
EvoSE: evolutionary symbolic execution
Detecting and analyzing insecure component usage
Causal Inference Needs More Than Analysis: The Role of Study Design
Lightweight Source Model Extraction
Connecting viewpoints by shared phenomena
Improving energy consumption in Android apps
Detecting numerical bugs in neural network architectures
A concept for dynamic wiring of components: correctness in dynamic adaptive systems
Model checking a C++ software framework: a case study
Failure-directed program trimming
Issues in multiparadigm viewpoint specification
Towards a component-based n-Tier C/S-architecture
On the congruence of modularity and code coupling
Runtime safety analysis of multithreaded programs
Android apps and user feedback: a dataset for software evolution and quality improvement
History slicing: assisting code-evolution tasks
Industry experiences with large-scale refactoring
Automating the conformity assessment of Cyber-Physical Systems software
CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems
Incorporating domain knowledge through task augmentation for front-end JavaScript code generation
DeMinify: Neural Variable Name Recovery and Type Inference
Static executes-before analysis for event driven programs
Towards more efficient meta-heuristic algorithms for combinatorial test generation
RAG or Fine-tuning? A Comparative Study on LCMs-based Code Completion in Industry
A novel multilayered context awareness technology for internetware evolution
Alibaba LingmaAgent: Improving Automated Issue Resolution via Comprehensive Repository Exploration
RAPID: checking API usage for the cloud in the cloud
Docable: evaluating the executability of software tutorials
Lifting Datalog-based analyses to software product lines
Testing Coreference Resolution Systems without Labeled Test Sets
Relationship-aware code search for JavaScript frameworks
Social media for software engineering
ModCon: a model-based testing platform for smart contracts
Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered Applications
DeepSearch: a simple and effective blackbox attack for deep neural networks
Diet code is healthy: simplifying programs for pre-trained models of code
The economics of static analysis tools
Partition testing, stratified sampling, and cluster analysis
EvidenceBot: A Privacy-Preserving, Customizable RAG-Based Tool for Enhancing Large Language Model Interactions
Leveraging mutants for automatic prediction of metamorphic relations using machine learning
Detecting and localizing keyboard accessibility failures in web applications
Extended exceptions for contingencies and their implications for the engineering process
Machine learning and natural language processing for automating software testing (tutorial)
Governify for APIs: SLA-driven ecosystem for API governance
Minding the (semantic) gap: engineering programming language theory
The Tech DEI Backlash - The Changing Landscape of Diversity, Equity, and Inclusion in Software Engineering
Documenting evidence of a reuse of 'on the number of linear regions of deep neural networks'
Are we building on the rock? on the importance of data preprocessing for code summarization
Detecting large number of infeasible paths through recognizing their patterns
Specification and verification of inter-component constraints in CTL
Understanding performance problems in deep learning systems
Improving IR-based bug localization with context-aware query reformulation
Robust-and-evolvable resilient software systems: open problems and lessons learned
Exploring Variable Potential for LLM-based Log Parsing Efficiency and Reduced Costs
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017
A case study in assessing and improving capacity using an anatomy of good practice
P3: partitioned path profiling
Enhancing Coverage-Guided Fuzzing via Phantom Program
Unveiling multiple facets of design degradation in modern code review
Modernizing hierarchical delta debugging
Proceedings of the 3rd International Workshop on Software Development Lifecycle for Mobile, DeMobile 2015, Bergamo, Italy, August 31 - September 4, 2015
Summarizing and measuring development activity
Balancing trade-offs in test-suite reduction
Is the cure worse than the disease? overfitting in automated program repair
LazyCow: A Lightweight Crowdsourced Testing Tool for Taming Android Fragmentation
Observations on software architecture/style analysis
Toward semantic search via SMT solver
MemInsight: platform-independent memory debugging for JavaScript
An automatic refactoring framework for replacing test-production inheritance by mocking mechanism
Versioned software architecture
Visual tool for generative programming
Enhancing Deep Learning Transpilation with LLMs: Automation and Semantic Consistency
eQual: informing early design decisions
Attention tracking for developers
Characterizing the influence of continuous integration: empirical results from 250+ open source and proprietary projects
Investigation Data Quality Problems in the PSP
VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation
UML Crisis! An Educational Perspective
Semantics-based obfuscation-resilient binary code similarity comparison with applications to software plagiarism detection
REINAM: reinforcement learning for input-grammar inference
Capturing Semantic Flow of ML-based Systems
Resolving uncertainties during trace analysis
Python-by-contract dataset
Machine learning based test data generation for safety-critical software
Grail: context-aware fixing of concurrency bugs
Protecting C programs from attacks via invalid pointer dereferences
Automated concolic testing of smartphone apps
Developing a reusable control-based approach to build self-adaptive software systems with formal guarantees
Darwin: a static analysis dataset of malicious and benign Android apps
Incrementalizing Production CodeQL Analyses
Reverse engineering framework reuse interfaces
A case study on value-based requirements tracing
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise
Enhancing Emotional Realism in Games: An Optimized Generative AI Framework for Dynamic 3D Facial Animation
Costs and Benefits of Machine Learning Software Defect Prediction: Industrial Case Study
DeepInfer: Deep Type Inference from Smart Contract Bytecode
Proceedings of the 2nd ACM SIGSOFT International Workshop on Software Qualities and Their Dependencies, SQUADE@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26, 2019
L4: Diagnosing Large-scale LLM Training Failures via Automated Log Analysis
Data-driven extract method recommendations: a study at ING
Pockets: a tool to support exploratory programming for novices and educators
Integrating approaches for feature implementation
Lightweight global and local contexts guided method name recommendation with prior knowledge
Cross-device record and replay for Android apps
OnSpot system: test impact visibility during code edits in real software
Making Python code idiomatic by automatic refactoring non-idiomatic Python code with pythonic idioms
Divide and conquer: scalability and variability for adaptive middleware
Comparing Gemini Pro and GPT-3.5 in Algorithmic Problems
Decentralized self-adaptation in large-scale distributed systems
Style-based refinement for software architecture
Impact of programming languages on energy consumption for mobile devices
A study of applying a research prototype tool in industrial practice
MemFix: static analysis-based repair of memory deallocation errors for C
Online testing of RESTful APIs: promises and challenges
Risk Assessment Framework for Code LLMs via Leveraging Internal States
A mobile application for geographical data gathering and validation in fieldwork (invited talk)
SafeDNN: understanding and verifying neural networks (keynote)
Web test dependency detection
A Tutorial on Software Engineering for FMware
Detection of Optimizations Missed by the Compiler
A notation for problematic architecture interactions
On the use of delta debugging to reduce recordings and facilitate debugging of web applications
Do we know how to price SaaS: a multi-vocal literature review
Infrastructure as code for dynamic deployments
Scenario-based test reduction and prioritization for multi-module autonomous driving systems
SmartCommit: a graph-based interactive assistant for activity-oriented commits
Architecture abstraction tower
Semi-automatic generation of cybersecurity exercises: a preliminary proposal
Good technology makes the difficult task easy
Fair and balanced?: bias in bug-fix datasets
LLMs for Defect Prediction in Evolving Datasets: Emerging Results and Future Directions
Putback-based bidirectional model transformations
Latent error prediction and fault localization for microservice applications by learning from system trace logs
ÐArcher: detecting on-chain-off-chain synchronization bugs in decentralized applications
Using resemblance to support component reuse and evolution
Semi-automating small-scale source code reuse via structural correspondence
A trace simplification technique for effective debugging of concurrent programs
COM revisited: tool-assisted modelling of an architectural framework
HATARI: raising risk awareness
Understanding flaky tests: the developer's perspective
ChatUniTest: A Framework for LLM-Based Test Generation
Decoupling Change from Design
Fault localization for data-centric programs
The last mile: parallel programming and usability
A comprehensive study on deep learning bug characteristics
Rethinking Entry Requirements for Gender Diversity in CS Education: A Case Study of Student Performance in an Introductory Programming Course
Detecting optimization bugs in database engines via non-optimizing reference engine construction
Behind the Hot Fix: Demystifying Hot Fixing Industrial Practices at Zühlke and Beyond
SmartDebug: an interactive debug assistant for Java
State space exploration using feedback constraint generation and Monte-Carlo sampling
DexterJS: robust testing platform for DOM-based XSS vulnerabilities
A learning-based approach for engineering feature-oriented self-adaptive software systems
Where does architecture research meet practice?
Generalization from domain experience: the superior paradigm for software architecture research?
Moving towards objective measures of program comprehension