yusuke1997/dblp-id-title huggingface dataset:
Updating requirements from tests during maintenance and evolution
Analyzing on-boarding time in context of crowdsourcing
Identifying linked incidents in large-scale online service systems
MultIPAs: applying program transformations to introductory programming assignments for data augmentation
Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010
Memories of bug fixes
Towards Realistic SATD Identification through Machine Learning Models: Ongoing Research and Preliminary Results
API recommendation for machine learning libraries: how far are we?
T3i: a tool for generating and querying test suites for Java
Safety and robustness for deep learning with provable guarantees (keynote)
Making smart contract development more secure and easier
SEDiff: scope-aware differential fuzzing to test internal function models in symbolic execution
Assertions are strongly correlated with test suite effectiveness
Use case-based testing of product lines
Domain adaptation for an automated classification of deontic modalities in software engineering contracts
On the localness of software
Scalability-first pointer analysis with self-tuning context-sensitivity
Automatic generation of test data generators for synchronous programs: Lutess V2
Data debugging with continuous testing
LS-sampling: an effective local search based sampling approach for achieving high t-wise coverage
Employing different program analysis methods to study bug evolution
AG3: Automated Game GUI Text Glitch Detection Based on Computer Vision
RABIEF: range analysis based integer error fixing
Developing secure bitcoin contracts with BitML
Cachetor: detecting cacheable data to remove bloat
Software for everyone by everyone
MOTSD: a multi-objective test selection tool using test suite diagnosability
Computer modelling and natural phenomena
Do CONTRIBUTING Files Provide Information about OSS Newcomers' Onboarding Barriers?
Data-driven test selection at scale
Enhancing Human-IDE Interaction in the SDLC using LLM-based Mediator Agents
GLIB: towards automated test oracle for graphically-rich applications
Connecting the dots: rethinking the relationship between code and prose writing with functional connectivity
Cost measures matter for mutation testing study validity
Advancing Software Product Management Education: Insights from an Industry Survey
Monitoring-aware IDEs
RE-oriented Model Development with LLM Support and Deduction-based Verification
AutoReview: An LLM-based Multi-Agent System for Security Issue-Oriented Code Review
Making symbolic execution promising by learning aggressive state-pruning strategy
Supporting collaboration of heterogeneous teams in an augmented team room
Supporting automatic model inconsistency fixing
AlloyFL: a fault localization framework for Alloy
When life gives you oranges: detecting and diagnosing intermittent job failures at Mozilla
Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs
Enabling innovation: a choice for software engineering
"Smart Traffic": an IoT traffic monitoring system based on open source technologies on the cloud
Let's talk about it: evaluating contributions through discussion in GitHub
Inferring Natural Preconditions via Program Transformation
ACE: Automated Technical Debt Remediation with Validated Large Language Model Refactorings
Code relatives: detecting similarly behaving software
csDetector: an open source tool for community smells detection
Vehicle level continuous integration in the automotive industry
AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning
Counterexample-guided approach to finding numerical invariants
Minimizing GUI event traces
Joining dataflow with predicates
Software robustness: a survey, a theory, and prospects
Safe reflection through polymorphism
Semantic Test Repair for Web Applications
Boosting operational DNN testing efficiency through conditioning
Dynamic networked organizations for software engineering
Towards Privacy-Preserving Code Generation: Understanding and Mitigating Memorization in Code Large Language Models
FraudDroid: automated ad fraud detection for Android apps
Generating TCP/UDP network data for automated unit test generation
Designing and benchmarking full-stack Quantum systems (keynote)
Scalable test data generation from multidimensional models
Quantum Shuttle: traffic navigation with Quantum computing
Optimizing energy of HTTP requests in Android applications
Problems, Methods, and Structures (Abstract)
Minimizing software conflicts through proactive detection of conflicts and task scheduling
Fault and adversary tolerance as an emergent property of distributed systems' software architectures
Backward-compatible constant-time exception-protected memory
Quality assurance automation in autonomous systems
PPR: Pairwise Program Reduction
AutoPruner: transformer-based call graph pruning
Field-exhaustive testing
Half day tutorial in methods of component-based software engineering essential concepts and classroom experience
Testing probabilistic programming systems
Productization levels towards whole product in SaaS business
Recommending method invocation context changes
AnswerBot: an answer summary generation tool based on stack overflow
Crowdsourcing in the Brazilian IT industry: what we know and what we don't know
Extending UTP 2 with cascading arbitration specifications
Iterative test suites refinement for elastic computing systems
Statistical Reachability Analysis
A Multimodal Intelligent Change Assessment Framework for Microservice Systems Based on Large Language Models
Improving oracle quality by detecting brittle assertions and unused inputs in tests
Toward full elasticity in distributed static analysis: the case of callgraph analysis
ACM SIGSOFT impact paper award: reflections and prospects
JCOMIX: a search-based tool to detect XML injection vulnerabilities in web applications
Towards quantifying the development value of code contributions
BumbleBee: a refactoring environment for spreadsheet formulas
Incrementally synthesizing controllers from scenario-based product line specifications
CRSG: a serious game for teaching code review
EFFICIENT: a tool set for supporting the modelling and validation of ebXML
Non-null references by default in the Java modeling language
Teaching software architecture principles in CS1/CS2
CONAN: Statically Detecting Connectivity Issues in Android Applications
Evaluating Large Language Models for Requirements Question Answering in Industrial Aerospace Software
Reputation-based self-management of software process artifact quality in consortium research projects
Modular design and verification of component-based mechatronic systems with online-reconfiguration
Evolving Estimation Models for Causal Testing
Qos-driven runtime adaptation of service oriented architectures
Proteus: computing disjunctive loop summary via path dependency analysis
Finding the shortest path to reproduce a failure found by TESTAR
LLM-Augmented Ticket Aggregation for Low-cost Mobile OS Defect Resolution
SODAOpt: Socio-Demographic and Textual Adaptive Fusion for Optimizing Developer Task Assignment
Identifying casualty changes in software patches
Proceedings of the first international workshop on Context-aware software technology and applications, CASTA@ESEC/SIGSOFT FSE 2009, Amsterdam, The Netherlands, August 24, 2009
A general approach to modeling Java framework behaviors
OSSMETER: a software measurement platform for automatically analysing open source software projects
Gray links in the use of requirements traceability
PolyFax: a toolkit for characterizing multi-language software
Efficient binary-level coverage analysis
Quantum Secure DevOps (QSecOps): Integrating Quantum-Based Security Checks into CI/CD Pipelines: Next-Generation Software Security
Enabling mutation testing for Android apps
A heuristic fuzz test generator for Java native interface
Using task context to improve programmer productivity
SPACE4Cloud: a DevOps environment for multi-cloud applications
Documenting evidence of a reproduction of 'is there a "golden" feature set for static warning identification? - an experimental evaluation'
AIOpsLab in Action: An Open Platform for AIOps Research
Dynodroid: an input generation system for Android apps
Software fairness
Deployment coordination for cross-functional DevOps teams
Embedding app-library graph for neural third party library recommendation
Pursuing failure: the distribution of program failures in a profile space
Bi-objective release planning for evolving software systems
ViaLin: Path-Aware Dynamic Taint Analysis for Android
Intelligent container reallocation at Microsoft 365
Is security engineering really just good software engineering?
AgentFM: Role-Aware Failure Management for Distributed Databases with LLM-Driven Multi-Agents
Layered Learning: Teaching CI/CD and Software Testing through Storytelling
BRAID: an API recommender supporting implicit user feedback
Discovering additional violations of Java API invariants
Guided differential testing of certificate validation in SSL/TLS implementations
When deep learning met code search
Bing developer assistant: improving developer productivity by recommending sample code
Industrial best practices for continuous integration (CI) and continuously delivery (CD) (invited talk)
Detecting Simulink compiler bugs via controllable zombie blocks mutation
Efficiency and early fault detection with lower and higher strength combinatorial interaction testing
Hybrid Regression Test Selection by Synergizing File and Method Call Dependences
Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel)
Flow Experience in Software Engineering
Proof-transforming compilation of programs with abrupt termination
Learning to extract transaction function from requirements: an industrial case on financial software
Measuring empirical computational complexity
Crossing the gap from imperative to functional programming through refactoring
Contribution-Based Firing of Developers?
About a criterion of successfully executing a circuit in the NISQ era: what wd ≪ 1/ε eff really means
Deriving operational software specifications from system goals
Reuse and variability in large software applications
DynaPyt: a dynamic analysis framework for Python
Automatic inference of code transforms for patch generation
From pixels to bytes: evolutionary scenario based design with video
Software engineering research results in industrial practice: a tale of two projects (invited talk)
Configuration smells in continuous delivery pipelines: a linter and a six-month study on GitLab
Automatic synthesis of behavior protocols for composable web-services
No more fine-tuning? an experimental evaluation of prompt tuning in code intelligence
Understanding context: creating a lasting impact in experimental software engineering research
Ecosystem-level determinants of sustained activity in open-source projects: a case study of the PyPI ecosystem
Recommender systems: metric suggestion mechanisms applied to adaptable software dashboards
Risky files: an approach to focus quality improvement effort
An approach to conceptual feedback in multiple viewed software requirements modeling
Automated generation of programming language quizzes
Ctest4J: A Practical Configuration Testing Framework for Java
PAFL: extend fuzzing optimizations of single mode to industrial parallel mode
DynDebloater: Dynamically Debloating Unwanted Features of Android Apps without APK Modification
A-TEST 2020: Proceedings of the 11th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT FSE 2020, Virtual Event, USA, November 8-9, 2020
Improving slice accuracy by compression of data and control flow paths
Run-time resource management in SOA virtualized environments
IQ routes and HD traffic: technology insights about tomtom's time-dynamic navigation concept
Fuzz4B: a front-end to AFL not only for fuzzing experts
Observation-Based Unit Test Generation at Meta
Craig vs. Newton in software model checking
EvoDroid: segmented evolutionary testing of Android apps
An exploratory study on the predominant programming paradigms in Python code
Scaling regression testing to large software systems
Timezone and time-of-day variance in GitHub teams: an empirical method and study
Sampling code clones from program dependence graphs with GRAPLE
A taxonomy of metrics for software fault prediction
PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE
DENAS: automated rule generation by knowledge extraction from neural networks
Memory indexing: canonicalizing addresses across executions
Towards an integrated service-oriented reference enterprise architecture
Estimating residual risk in greybox fuzzing
TraceSim: a method for calculating stack trace similarity
Asynchronous technical interviews: reducing the effect of supervised think-aloud on communication ability
Mono2Micro: a practical and effective tool for decomposing monolithic Java applications to microservices
Micro interaction metrics for defect prediction
Software Engineering as a Profession: Industry and Academia Working Together
Less training, more repairing please: revisiting automated program repair via zero-shot learning
Software Architecture Styles as Graph Grammars
Gitor: Scalable Code Clone Detection by Building Global Sample Graph
The future of library specification
Efficient incremental algorithms for dynamic detection of likely invariants
Context-sensitive slicing of concurrent programs
Building a research university ecosystem: the case of software engineering education at Sofia University
A graph-based framework for analysing the design of smart contracts
jStar-eclipse: an IDE for automated verification of Java programs
Attributed variability models: outside the comfort zone
Identifying message flow in distributed event-based systems
On the impact of social network information diversity on end-user programming productivity: a foraging-theoretic study
Parallel shadow execution to accelerate the debugging of numerical errors
Ad Hoc Syntax-Guided Program Reduction
Multilevel coarse-to-fine-grained prioritization for GUI and web applications
Sojourner under Sabotage: A Serious Testing and Debugging Game
Software assurance for systems of systems
On modeling, collecting and utilizing context information for disaster responses in pervasive environments
Reasons and drawbacks of using trivial npm packages: the developers' perspective
Proceedings of the 1st International Workshop on Quality-Aware DevOps, QUDOS 2015, Bergamo, Italy, September 1, 2015
Decoding Anomalies! Unraveling Operational Challenges in Human-in-the-Loop Anomaly Validation
PENELOPE: weaving threads to expose atomicity violations
Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code
Multiple views based on unparsing canonical representations - the MultiView architecture
How do Software Engineering Candidates Prepare for Technical Interviews?
Green: reducing, reusing and recycling constraints in program analysis
Program representations for testing wireless sensor network applications
The Lion, the Ecologist and the Plankton: A Classification of Species in Multi-bot Ecosystems
Response-time measurements using the sun Java adventure builder
Deadline analysis of interrupt-driven software
Scalable Program Clone Search through Spectral Analysis
Guided recovery for web service applications
A statistical semantic language model for source code
MORPH: a reference architecture for configuration and behaviour self-adaptation
Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics
Applying Large Language Models to Enhance the Assessment of Java Programming Assignments
Path-based fault correlations
Refactoring and migration of cascading style sheets: towards optimization and improved maintainability
Grace: Language Models Meet Code Edits
Contract driven development = test driven development - writing test cases
Developer involvement considered harmful?: an empirical examination of Android bug resolution times
Testing data transformations in MapReduce programs
Sentiment in software engineering: detection and application
PSPWizard: machine-assisted definition of temporal logical properties with specification patterns
NaNofuzz: A Usable Tool for Automatic Test Generation
The effects of AI-human-interaction to value creation in multi-actor systems: how AI shapes digital B2B sales
Documenting evidence of a replication of 'populating a release history database from version control and bug tracking systems'
Engineering mobile field worker applications
Static data race detection for concurrent programs with asynchronous calls
Ontology support for web service processes
Software deployment architecture and quality-of-service in pervasive environments
Distributed program tracing
Evaluating quality of security testing of the JDK
Black-box performance models: prediction based on observation
Unifying verification and validation techniques: relating behavior and properties through partial evidence
Demystifying Dependency Bugs in Deep Learning Stack
Synthesis of web layouts from examples
Exposing numerical bugs in deep learning via gradient back-propagation
Finding bugs by isolating unit tests
Making sense of runtime architecture for mobile phone software
Towards GEEZMO: hiGh-frEquEncy Zest and Mood-pOlling for proactive software development problem-solving
Analyzing Microservice Connectivity with Kubesonde
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator
Automated attack surface approximation
Proceedings of the 2013 International Workshop on Social Software Engineering, SSE 2013, Saint Petersburg, Russia, August 18, 2013
Field-sensitive program dependence analysis
Software bloat analysis: finding, removing, and preventing performance problems in modern large-scale object-oriented applications
Exploring motivational differences between software developers and project managers
Moose: an agile reengineering environment
SYNERGY: a new algorithm for property checking
JSIMutate: understanding performance results through mutations
Correlations between deep neural network model coverage criteria and model quality
Automated size analysis for OCL
What makes a code change easier to review: an empirical investigation on code change reviewability
Data flow testing of service choreography
Combining UML and formal notations for modelling real-time systems
AndroLog: Android Instrumentation and Code Coverage Analysis
A fast causal profiler for task parallel programs
Discovering bug patterns in JavaScript
Software developers' perceptions of productivity
Monitoring the software test process using statistical process control: a logarithmic approach
ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilities
Towards Greener Yet Powerful Code Generation via Quantization: An Empirical Study
Simulation-based test adequacy criteria for distributed systems
Contract discovery from black-box components
Predicting Node failure in cloud service systems
The making of cloud applications: an empirical study on software development for the cloud
Synthesis of component and connector models from crosscutting structural views
Predicting field reliability
Kmax: finding all configurations of Kbuild makefiles statically
RoboFuzz: fuzzing robotic systems over robot operating system (ROS) for finding correctness bugs
Analysis of students' preconceptions of concurrency
Calm energy accounting for multithreaded Java applications
"Womenomics" and gender-inclusive software: what software engineers need to know (invited talk)
JSketch: sketching for Java
ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020
Context-aware test case adaptation
Towards automating code review at scale
Automated generation of creative software requirements: a data-driven approach
Taming uncertainty in self-adaptive software
Using clustering and transitivity to reduce the costs of crowdsourced entity resolution
Egocentric context-aware programming in ad hoc mobile environments
Authorship of Minor Contributors in Kubernetes Configuration Scripts: An Exploratory Study
Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Analytics, SWAN@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4, 2017
Automatic consistency assessment for query results in dynamic environments
User-centric security: optimization of the security-usability trade-off
Mining API patterns as partial orders from source code: from usage scenarios to specifications
Target-driven compositional concolic testing with function summary refinement for effective bug detection
CodingGenie: A Proactive LLM-Powered Programming Assistant
TraceMOP: An Explicit-Trace Runtime Verification Tool for Java
Pinpointing performance inefficiencies in Java
Towards efficient document content sharing in social networks
FOT: a versatile, configurable, extensible fuzzing framework
Leveraging usage similarity for effective retrieval of examples in code repositories
Efficient and Robust Security-Patch Localization for Disclosed OSS Vulnerabilities with Fine-Tuned LLMs in an Industrial Setting
Toward Systematizing Hot Fixing for Production Software
Go the Extra Mile: Fixing Propagated Error-Handling Bugs
The review linkage graph for code review analytics: a recovery approach and empirical study
On safety, assurance, and reliability: a software engineering perspective (keynote)
WhoselsThat: finding software engineers with codebook
PLEIADES: An Object Management System for Software Engineering Environments
Refactoring for reentrancy
Static deep neural network analysis for robustness
Further Empirical Studies of Test Effectiveness
Automizing home environments and supervising patients at home with the hydra middleware: application scenarios using the hydra middleware for embedded systems
The social developer: now, then, and tomorrow
The Most Agile Teams Are the Most Disciplined: On Scaling out Agile Development
CLOTHO: saving programs from malformed strings and incorrect string-handling
Reengineering towards components using "Reconn-exion"
Augmenting stack overflow with API usage patterns mined from GitHub
On the significance of contract-based typestate specification
Effective dynamic detection of alias analysis errors
Bayesian concepts in software testing: an initial review
Interactive, effort-aware library version harmonization
Crash reproduction via test case mutation: let existing test cases help
PATDroid: permission-aware GUI testing of Android
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016
Selection and presentation practices for code example summarization
Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis
Fault localization to detect co-change fixing locations
BugLocalizer: integrated tool support for bug localization
Viewing a DSSA in context: problems versus solutions
Finding a History for Software Engineering
Lexical statistical machine translation for language migration
Product lines can jeopardize their trade secrets
MANILA: A Low-Code Application to Benchmark Machine Learning Models and Fairness-Enhancing Methods
Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation, A-TEST 2022, Singapore, Singapore, November 17-18, 2022
Pattern-Based Design Recovery of Java Software
A tool for automated reasoning about traces based on configurable formal semantics
Separating fact from fiction in software architecture
Application of search-based software engineering methodologies for test suite optimization and evolution in mission critical mobile application development
Uncertainty-aware transfer learning to evolve digital twins for industrial elevators
Practicum in software project management: an endeavor to effective and pragmatic software project management education