yusuke1997/dblp-id-title huggingface dataset:
Using user context for accessing IT resources
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE
System performance optimization via design and configuration space exploration
Systematic testing of asynchronous reactive systems
First come first served: the impact of file position on code review
Modus: a Datalog dialect for building container images
Experimental specification mining for enterprise applications
Practice makes better: quiz retake software to increase student learning
Compiler bug isolation via effective witness test program generation
EventFlowSlicer: goal based test generation for graphical user interfaces
Does reusing pre-trained NLP model propagate bugs?
Monitoring the Execution of 14K Tests: Methods Tend to Have One Path That Is Significantly More Executed
Programming and execution models for next generation code intelligence systems (keynote)
Quantitative verification: models techniques and tools
Automated identification of security issues from commit messages and bug reports
A new perspective on the socialness in bug triaging: a case study of the eclipse platform project
Reasoning about Implicit Invocation
A module concept for ViewPoints
Matching execution histories of program versions
Commit-Level, Neural Vulnerability Detection and Assessment
Proceedings of the 7th International Workshop on Social Software Engineering, SSE 2015, Bergamo, Italy, September 1, 2015
Turning programs against each other: high coverage fuzz-testing using binary-code mutation and dynamic slicing
Gamifying static analysis
An algebraic approach to file synchronization
Latent risks and dangers in the state of climate model software development
Living with feature interactions (keynote)
Thread-modular static analysis for relaxed memory models
Products, developers, and milestones: how should I build my N-Gram language model
Querypoint: moving backwards on wrong values in the buggy execution
Efficiently finding higher-order mutants
Can the Rising Tide of Software Supply Chain Attacks Raise All Software Engineering Boats?
Effective error-specification inference via domain-knowledge expansion
Proceedings of the 9th International Workshop on Advanced Modularization Techniques, AOAsia 2014, Hong Kong, China, November 16, 2014
Towards automated testing for simple programming exercises
Engineering distributed software: a structural discipline
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain
Reasoning about partial goal satisfaction for requirements and design engineering
ORBS: language-independent program slicing
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018
The importance of accounting for real-world labelling when predicting software vulnerabilities
Extending software engineering research outside the digital box
Software engineering issues for mobile application development
DSketch: lightweight, adaptable dependency analysis
How should compilers explain problems to developers?
Accumulative versioning file system Moraine and its application to metrics environment MAME
Automated Root Causing of Cloud Incidents using In-Context Learning with GPT-4
Anchoring and adjustment in software estimation
Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016
Beyond Sharing: Conflict-Aware Multivariate Time Series Anomaly Detection
Call graph construction for Java libraries
Dara: hybrid model checking of distributed systems
Evolution of Object Behavior Using Context Relations
Free/open source software development
Exploring the Untapped: Student Perceptions and Participation in OSS
Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, DeMobile 2014, Hong Kong, China, November 17, 2014
Ten years of hunting for similar code for fun and profit (keynote)
Towards scalable compositional analysis by refactoring design models
SMT-based verification of parameterized systems
Assertion guided symbolic execution of multithreaded programs
Testing software in age of data privacy: a balancing act
Diversity and decorum in open source communities
New ideas track: testing mapreduce-style programs
Change analysis in an architectural model: a design rationale based approach
System architecture: the context for scenario-based model synthesis
Auto-patching DOM-based XSS at scale
TLV: abstraction through testing, learning, and validation
ReLink: recovering links between bugs and changes
Towards an agent-based framework for guiding design exploration
A comprehensive study of deep learning compiler bugs
Formal verification of algorithms for critical systems
Proceedings of the Third International Workshop on Software Architecture, ISAW '98, Orlando, Florida, USA
SimCA vs ActivFORMS: comparing control- and architecture-based adaptation on the TAS exemplar
Direct Automated Feedback Delivery for Student Submissions based on LLMs
Embracing ambiguity
Archie: a tool for detecting, monitoring, and preserving architecturally significant code
Optimizing energy consumption of GUIs in Android apps: a multi-objective approach
Empirical evidence of the benefits of workspace awareness in software configuration management
Mining the execution history of a software system to infer the best time for its adaptation
WikiDoMiner: wikipedia domain-specific miner
Build system with lazy retrieval for Java projects
SFLKit: a workbench for statistical fault localization
Foundations of Software Testing: Dependability Theory
Ownership in the Hands of Accountability at Brightsquid: A Case Study and a Developer Survey
PorkFuzz: testing stateful software-defined network applications with property graphs
HLA: a standards effort as architectural style
From Prompts to Properties: Rethinking LLM Code Generation with Property-Based Testing
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems
Model exploration with temporal logic query checking
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model
Regression tests to expose change interaction errors
Generating comments from source code with CCGs
The Causality of Bug Resolution: A Tale of Two Systems
A pedagogical approach in interleaving software quality concerns at an artificial intelligence course
Augmenting Software Bills of Materials with Software Vulnerability Description: A Preliminary Study on GitHub
Documenting evidence of a replication of 'analyze this! 145 questions for data scientists in software engineering'
Traceability and model checking to support safety requirement verification
Containment units: a hierarchically composable architecture for adaptive systems
On timed components and their abstraction
NL2Viz: natural language to visualization via constrained syntax-guided synthesis
A simulation-based approach to software performance modeling
Dirty-Waters: Detecting Software Supply Chain Smells
Is there a mismatch between real-world feature models and product-line research?
Soundness and completeness warnings in ESC/Java2
Constraint satisfaction techniques for diagnosing errors in design by contract software
Empirical study of customer communication problem in agile requirements engineering
Adapting side effects analysis for modular program model checking
Improving responsiveness in mobile apps via refactoring for asynchrony (invited talk)
Automated support for mobile application testing and maintenance
Issues in supporting event-based architectural styles
Understanding the impact of support for iteration on code search
Search based hierarchy generation for reverse engineered state machines
A software lifecycle process for context-aware adaptive systems
Supporting viewpoints in Metaview
A longitudinal field study on creation and use of domain-specific languages in industry
CoqPyt: Proof Navigation in Python in the Era of LLMs
Adapting Performance Analytic Techniques in a Real-World Database-Centric System: An Industrial Experience Report
Scaling up SLA monitoring in pervasive environments
Detection Is Better Than Cure: A Cloud Incidents Perspective
Teamwork makes the dream work: LLMs-Based Agents for GitHub README.MD Summarization
Towards Increased Productivity of Algorithm Implementation
Dynamically reconfiguring software microbenchmarks: reducing execution time without sacrificing result quality
Slicer4J: a dynamic slicer for Java
Mobility management in B3G networks: a middleware-based approach
Threshy: supporting safe usage of intelligent web services
Quantifying developers' adoption of security tools
User guidance for creating precise and accessible property specifications
Boosting fuzzer efficiency: an information theoretic perspective
Building and using pluggable type systems
Understanding misunderstandings in source code
How we get there: a context-guided search strategy in concolic testing
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned
BigDebug: interactive debugger for big data analytics in Apache Spark
An LLM Assistant for Software Project Onboarding
Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables
Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations
Deriving Modular Designs from Formal Specifications
NIL: large-scale detection of large-variance clones
Isomorphic regression testing: executing uncovered branches without test augmentation
How is aliasing used in systems software?
Finding bugs efficiently with a SAT solver
AtexRace: across thread and execution sampling for in-house race detection
Isolating cause-effect chains from computer programs
Dynamically discovering architectures with DiscoTect
Behavioral contracts and behavioral subtyping
Be careful of when: an empirical study on time-related misuse of issue tracking data
Fuzzing: on the exponential cost of vulnerability discovery
Combining eye tracking with navigation paths for identification of cross-language code dependencies
LCLint: A Tool for Using Specifications to Check Code
Software Systems Architecting (Abstract)
Performing architecture tradeoff analysis
Studying Privacy Leaks in Android App Logs
Cross-library API recommendation using web search engines
Hybrid monkey testing: enhancing automated GUI tests with random test generation
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities
Speeding up Slicing
Static loop analysis and its applications
TACO: test suite augmentation for concurrent programs
LLPut: Investigating Large Language Models for Bug Report-Based Input Generation
Automated generation of test oracles for RESTful APIs
Documenting evidence of a reuse of 'RefactoringMiner 2.0'
Towards context-aware automated writing evaluation systems
SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011
Using Style to Understand Descriptions of Software Architecture
Using graph neural networks for program termination
Cimplifier: automatically debloating containers
OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach
Test case comparison and clustering using program profiles and static execution
Detecting event anomalies in event-based systems
Fine-grained binary code authorship identification
A dynamic taint analyzer for distributed systems
Pair programming conversations with agents vs. developers: challenges and opportunities for SE community
Are mobile banking apps secure? what can be improved?
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005
Detecting wearable app permission mismatches: a case study on Android wear
FAMLEM, the FAst ModuLar Energy Meter at Code Level
LLMAppHub: A Large Collection of LLM-based Applications for the Research Community
Managing technical debt in software-reliant systems
Duplicated code pattern mining in visual programming languages
Second-order constraints in dynamic invariant inference
Do All Software Projects Die When Not Maintained? Analyzing Developer Maintenance to Predict OSS Usage
Would you like a quick peek? providing logging support to monitor data processing in big data applications
Crystal: precise and unobtrusive conflict warnings
Reducing implicit gender biases in software development: does intergroup contact theory work?
Component airbag: a novel approach to develop dependable component-based applications
Modeling event-driven service-oriented systems using the palladio component model
Discovering Parallelisms in Python Programs
Challenges in collecting and using mobile's location-based data
Baital: an adaptive weighted sampling approach for improved t-wise coverage
Binary reduction of dependency graphs
Examining the relationship between security metrics and user ratings of mobile apps: a case study
Checking Complex Source Code-Level Constraints using Runtime Verification
RFNIT: Robotic Framework for Non-invasive Testing
Practical Inference of Nullability Types
On-the-fly decomposition of specifications in software model checking
Classifying edits to variability in source code
API method recommendation via explicit matching of functionality verb phrases
Understanding type changes in Java
Large-scale study of substitutability in the presence of effects
Pre-training Code Representation with Semantic Flow Graph for Effective Bug Localization
Predicting rankings of software verification tools
Interacting with interactive fault localization tools
Hidden truths in dead software paths
Toward efficient interactions between Python and native libraries
Automated oracles: an empirical study on cost and effectiveness
Cross-language code search using static and dynamic analyses
TIPMerge: recommending developers for merging branches
h-ubu: an industrial-strength service-oriented component framework for JavaScript applications
Proceedings of the 2nd International Workshop on Service Oriented Software Engineering: in conjunction with the 6th ESEC/FSE joint meeting, IW-SOSWE 2007, Dubrovnik, Croatia, September 3, 2007
From Leaks to Fixes: Automated Repairs for Resource Leak Warnings
A Language Model of Java Methods with Train/Test Deduplication
Fluent model checking for event-based systems
Automatic workarounds for web applications
Fuzzing deep-learning libraries via automated relational API inference
Architecture-level dependence analysis in support of software maintenance
Proceedings of the 8th International Workshop on Social Software Engineering, SSE 2016, Seattle, WA, USA, November 14, 2016
Embedding Traceability in Large Language Model Code Generation: Towards Trustworthy AI-Augmented Software Engineering
Heterogeneous defect prediction
Deriving input syntactic structure from execution
Fine-Grained Revision Control for Collaborative Software Development
Classboxes: an experiment in modeling compositional abstractions using explicit contexts
Going big: a large-scale study on what big data developers ask
Permissive interfaces
Towards a theory of architectural styles
Training Large Language Models to Comprehend LLVM IR via Feedback-Driven Optimization
Model-based performance evaluations in continuous delivery pipelines
Can testedness be effectively measured?
Neural-augmented static analysis of Android communication
pytest-ranking: A Regression Test Prioritization Tool for Python
EClone: detect semantic clones in Ethereum via symbolic transaction sketch
LinkSO: a dataset for learning to retrieve similar question answer pairs on software development forums
Commit guru: analytics and risk prediction of software commits
The impact of input domain reduction on search-based test data generation
Causal impact analysis for app releases in google play
A syntax-guided edit decoder for neural program repair
Helion: Enabling Natural Testing of Smart Homes
A Case Study of Developer Bots: Motivations, Perceptions, and Challenges
Distinguishing Look-Alike Innocent and Vulnerable Code by Subtle Semantic Representation Learning and Explanation
Do Large Language Models Generate Similar Codes from Mutated Prompts? A Case Study of Gemini Pro
VulRepair: a T5-based automated software vulnerability repair
Enforcing architecture constraints
Exploring the under-explored terrain of non-open source data for software engineering through the lens of federated learning
Dynamic trust assessment of software services
Py-holmes: Causal Testing for Deep Neural Networks in Python
VinJ: An Automated Tool for Large-Scale Software Vulnerability Data Generation
Detecting and fixing precision-specific operations for measuring floating-point errors
Leveraging field data for impact analysis and regression testing
Data hard with a vengeance (invited talk)
Automating adaptive maintenance changes with SrcML and LINQ
Towards an engineering tool for implementing reusable distributed control systems
Code coverage at Google
Automated workflow regression testing for multi-tenant SaaS: integrated support in self-service configuration dashboard
Students perception on the impact of their involvement in the learning process: an empirical study
Model Checking Software Systems: A Case Study
CloneCognition: machine learning based code clone validation tool
Specification of an exception handling system for a replicated agent environment
Automated patch extraction via syntax- and semantics-aware Delta debugging on source code changes
Invariant inference for static checking
Bugs in the programs
Log Parsing with Generalization Ability under New Log Types
Proactive self-adaptation under uncertainty: a probabilistic model checking approach
RefiNym: using names to refine types
Ethnographic research in software engineering: a critical review and checklist
The Incredible Machine: Developer Productivity and the Impact of AI on Productivity (Keynote)
Using Large Language Models to Support the Workflow of Differential Testing
Co-Intelligence in Software Engineering: Understanding and Optimizing GenAI Integration in Software Engineering for Skill Development in Time-Constrained Programming
Can social awareness foster trust building in global software teams?
NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications
Lightweight and modular resource leak verification
The gas triangle and its challenges to the development of blockchain-powered applications
Introduction of Japan's investigation activities on systems and software product quality metrics
An empirical study of deep transfer learning-based program repair for Kotlin projects
Alchemy: transmuting base alloy specifications into implementations
Getting Outside the Bug Boxes (Keynote)
Requirements, architecture, and quality in a mission critical system: 12 lessons learned
An Empirical Study of Issues in Large Language Model Training Systems
Graph-based seed object synthesis for search-based unit testing
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019
The role of limitations and SLAs in the API industry
Practical static analysis of JavaScript applications in the presence of frameworks and libraries
Checking conformance of applications against GUI policies
How Well Do ChatGPT Models Maintain Software?
Model checking partial software product line designs
ROSE LCOM Tools
An empirical study on crash recovery bugs in large-scale distributed systems
Basset: a tool for systematic testing of actor programs
Achilles' heel of plug-and-Play software architectures: a grounded theory based approach
A first look at the integration of machine learning models in complex autonomous driving systems: a case study on Apollo
Software Reflexion Models: Bridging the Gap Between Source and High-Level Models
Text to software: developing tools to close the gaps in software engineering
Finding latent performance bugs in systems implementations
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014
Controlling factors in evaluating path-sensitive error detection techniques
Predicting the Cost-Effectiveness of Regression Testing Strategies
A discrete-time feedback controller for containerized cloud applications
Software programmer management: a machine learning and human computer interaction framework for optimal task assignment
Dealing with uncertainty in verification of nondeterministic systems
CloudRaid: hunting concurrency bugs in the cloud via log-mining
Towards model driven design of service-based context-aware applications
A profile-driven statistical analysis framework for the design optimization of soft real-time applications
On engineering standards based carrier grade platforms
String analysis for Java and Android applications
An Investigation into Maintenance Support for Neural Networks
llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs
MT4A: a no-programming test automation framework for Android applications
Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation
FLEX: fixing flaky tests in machine learning projects by updating assertion bounds
Towards More Interpretable Large Language Models for Code
Fuzzy service matching in on-the-fly computing
An agent-based approach to automated game testing: an experience report
Locating vulnerabilities in binaries via memory layout recovering
Advancing software architecture modeling for large scale heterogeneous systems
Early detection of JML specification errors using ESC/Java2
Mining development repositories to study the impact of collaboration on software systems
Improving the effectiveness of peer code review in identifying security defects
Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote)
Multi-location cryptographic code repair with neural-network-based methodologies
Searching for points-to analysis
Building scalable software systems in the multicore era
Flow-sensitive composition of thread-modular abstract interpretation
Semantic inference from natural language privacy policies and Android code
Artificial intelligence meets software engineering in the classroom
Deep learning type inference
Hue: A User-Adaptive Parser for Hybrid Logs
Illuminating the Gray Zone: Non-intrusive Gray Failure Localization in Server Operating Systems
A Practical Approach to Software Engineering Using Z and the Refinement Calculus
Boosting the performance of flow-sensitive points-to analysis using value flow
Adaptively generating high quality fixes for atomicity violations
A tool suite for the model-driven software engineering of cyber-physical systems
A micro-economic approach to conflict resolution in mobile computing
What do professional software developers need to know to succeed in an age of Artificial Intelligence?
Bisecting commits and modeling commit risk during testing
Detection of energy inefficiencies in Android wear watch faces
Reducing the search space of bug inducing commits using failure coverage
BigSift: automated debugging of big data analytics in data-intensive scalable computing
Asynchronous exception propagation in blocked tasks
Automating API Documentation with LLMs: A BERTopic Approach
Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses
Understanding Comparative Comprehension Barriers for Students during Code Review through Simplification
A-TEST 2021: Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT FSE 2021, Athens, Greece, August 23-24, 2021
PathSpotter: Exploring Tested Paths to Discover Missing Tests
Titan: a toolset that connects software architecture with quality analysis
Do you have 5 min? Improving Call Graph Analysis with Runtime Information
Srijan: a graphical toolkit for sensor network macroprogramming