yusuke1997/dblp-id-title huggingface dataset:
FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers
Cloud-based support for global software engineering: potentials, risks, and gaps
A randomized controlled trial on the effects of embedded computer language switching
Anti-patterns in search-based program repair
A framework for writing trigger-action todo comments in executable format
Oreo: detection of clones in the twilight zone
A compiler and verifier for page access oblivious computation
Composing architectural styles from architectural primitives
Recommending random walks
Modeling the Centrality of Developer Output with Software Supply Chains
A stakeholder-centric software architecture analysis approach
The evolution of type annotations in python: an empirical study
Health of smart ecosystems
Parasol: efficient parallel synthesis of large model spaces
EnergyAware: a non-intrusive load monitoring system to improve the domestic energy consumption awareness
Carving differential unit test cases from system test cases
Classifying properties: an alternative to the safety-liveness classification
Using microservices for non-intrusive customization of multi-tenant SaaS
The effectiveness of automated software testing techniques (keynote)
Huawei's practices on trusted software engineering capability improvement (invited talk)
23 shades of self-admitted technical debt: an empirical study on machine learning software
On software component co-installability
Budgeted testing through an algorithmic lens
An empirical study of real-world variability bugs detected by variability-oblivious tools
A formal data-model of the CORBA security service
RT-simex: retro-analysis of execution traces
Staged program repair with condition synthesis
Securing Language Models Against Vulnerability Encoding
Multi-perspective representation learning for source code analytics (invited tutorial)
The evolution of mobile apps: an exploratory study
Why do developers use trivial packages? an empirical case study on npm
Will you still compile me tomorrow? static cross-version compiler validation
Complete IOCO test cases: a case study
An explanatory analysis on eclipse beta-release bugs through in-process metrics
Learning to sample: exploiting similarities across environments to learn performance models for configurable systems
Automatic abstraction for model checking software systems with interrelated numeric constraints
IDE support for cloud-based static analyses
Concolic testing for models of state-based systems
Data structure synthesis
Improving requirements engineering practices to support experimentation in software startups
Screening heuristics for project gating systems
Seeking the ground truth: a retroactive study on the evolution and migration of software libraries
Using topic models to understand the evolution of a software ecosystem
Collaboration is all you need: LLM Assisted Safe Code Translation
Do all task dependencies require coordination? the role of task properties in identifying critical coordination needs in software projects
Understanding Solidity Event Logging Practices in the Wild
JShrink: in-depth investigation into debloating modern Java applications
Towards a unified formal model for supporting mechanisms of dynamic component update
A Systematic Threat Modeling of LLM Applications
The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++
Con2colic testing
Software documentation and augmented reality: love or arranged marriage?
Constraint normalization and parameterized caching for quantitative program analysis
Machine translation testing via pathological invariance
Questions for data scientists in software engineering: a replication
Accelerating redundancy-based program repair via code representation learning and adaptive patch filtering
Engineering of Web services with XML and XSL
NeuDep: neural binary memory dependence analysis
LLM-Based Code Generation Method for Golang Compiler Testing
Multi-representational security analysis
When Should I Run My Application Benchmark?: Studying Cloud Performance Variability for the Case of Stream Processing Applications
RecipeGen++: an automated trigger action programs generator
FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases
Synthesizing data structure manipulations from storyboards
Service selection for happy users: making user-intuitive quality abstractions
Model-based fault detection in context-aware adaptive applications
Needed foundations for assuring the desirable behavior of software-reliant systems
Towards compositional synthesis of evolving systems
Maturity is also about the capability to conform the process to the right context!
Decide: Knowledge-Based Version Incompatibility Detection in Deep Learning Stacks
A large scale study of programming languages and code quality in github
LLM App Squatting and Cloning
OpenGL API call trace reduction with the minimizing Delta debugging algorithm
A Logical Approach to Data Structures
Automatic mining of specifications from invocation traces and method invariants
Organizational volatility and its effects on software defects
Better test cases for better automated program repair
Seven habits of a highly effective smell detector
Paradise unplugged: identifying barriers for female participation on stack overflow
From requirements to partial behavior models: an iterative approach to incremental specification refinement
KVS: a tool for knowledge-driven vulnerability searching
Omlet: a revolution against big-brother social networks (invited talk)
Cluster-based test suite functional analysis
Concolic testing with adaptively changing search heuristics
Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT
GAFLERNA Ahoy! Integrating EM Side-Channel Analysis into Traditional Fuzzing Workflows
Themis: automatically testing software for discrimination
Proving programs robust
When Fuzzing Meets LLMs: Challenges and Opportunities
A socio-technical framework for supporting programmers
How are spreadsheet templates used in practice: a case study on Enron
An efficient and backwards-compatible transformation to ensure memory safety of C programs
Decision Making for Managing Automotive Platforms: An Interview Survey on the State-of-Practice
ConDefects: A Complementary Dataset to Address the Data Leakage Concern for LLM-Based Fault Localization and Program Repair
SolSEE: a source-level symbolic execution engine for solidity
REMI: defect prediction for efficient API testing
Nalanda: a socio-technical graph platform for building software analytics tools at enterprise scale
Software testing research and software engineering education
JITProf: pinpointing JIT-unfriendly JavaScript code
Efficient incident identification from multi-dimensional issue reports via meta-heuristic search
More insight from being more focused: analysis of clustered market apps
Using search-based software engineering to handle the changes with uncertainties for self-adaptive systems
Experiences developing tools for developers (invited talk)
Convergent contemporary software peer review practices
Python predictive analysis for bug detection
Path-based function embedding and its application to error-handling specification mining
Minerva: browser API fuzzing with dynamic mod-ref analysis
Context-based detection of clone-related bugs
An industrial study on the risk of software changes
Local analysis of atomicity sphere for B2B collaboration
On correct and complete strong merging of partial behaviour models
Proceedings of the International Workshop on App Market Analytics, WAMA@SIGSOFT FSE, Seattle, WA, USA, November 14, 2016
Software economies
Software engineering research: from cradle to grave
"Silent Is Not Actually Silent": An Investigation of Toxicity on Bug Report Discussion
RSA-MBT: a test tool for generating test artifacts based on models
Empirical review of Java program repair tools: a large-scale experiment on 2, 141 bugs and 23, 551 repair attempts
FUDGE: fuzz driver generation at scale
TestNMT: function-to-test neural machine translation
Finding programming errors earlier by evaluating runtime monitors ahead-of-time
Responsiveness analysis tool for Android application
Neural language models for code quality identification
Fundamental concepts for practical software architecture
DiagConfig: Configuration Diagnosis of Performance Violations in Configurable Software Systems
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing
Representing software systems architectures
Program Repair Guided by Datalog-Defined Static Analysis
DeepStellar: model-based quantitative analysis of stateful deep learning systems
Recovery of a reference architecture: a case study
Relational analysis of algebraic datatypes
Continuous deployment of mobile software at facebook (showcase)
Practitioners' Challenges and Perceptions of CI Build Failure Predictions at Atlassian
Validating UML models against architectural profiles
Query-based configuration of text retrieval solutions for software engineering tasks
Optimising multiple quality criteria of service-oriented software architectures
SAVCBS 2006 challenge: specification of iterators
On the naturalness of hardware descriptions
Software architecture: reflections on an evolving discipline
IntelliCode compose: code generation using transformer
A Language-Independent Approach to Specification Construction
Design thinking in practice: understanding manifestations of design thinking in software engineering
A tool for evaluating computer programs from students
Program fields for continuous software
SCORE: a scalable concolic testing tool for reliable embedded software
Optimizing display energy consumption for hybrid Android apps (invited talk)
A segment-based approach for reconcilable model transformation
Challenges and Opportunities for Generative AI in Software Engineering: A Managerial View
Managers hate uncertainty: good and bad experiences with adaptive project management (invited talk)
Model-based testing of stochastic systems with IOCO theory
A bounded symbolic-size model for symbolic execution
StateFormer: fine-grained type recovery from binaries using generative state modeling
An Empirically Grounded Path Forward for Scenario-Based Testing of Autonomous Driving Systems
Event-Base Detection of Concurrency
An Automated Approach to Extracting Local Variables
Failure proximity: a fault localization-based approach
The care and feeding of wild-caught mutants
FunProbe: Probing Functions from Binary Code through Probabilistic Analysis
Heard it through the Gitvine: an empirical study of tool diffusion across the npm ecosystem
ModelFoundry: A Tool for DNN Modularization and On-Demand Model Reuse Inspired by the Wisdom of Software Engineering
Do Large Language Models Recognize Python Identifier Swaps in Their Generated Code?
PaReco: patched clones and missed patches among the divergent variants of a software family
Adaptive fairness improvement based on causality analysis
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation, A-TEST 2015, Bergamo, Italy, August 30-31, 2015
Walking the model: the smart mobile field engineer (keynote)
A Decision-Making Framework to Recommend Quantum-Based Solutions for Fit Problem Domains with Associated Factors
Iterator specification with typestates
Releasing fast and slow: an exploratory case study at ING
Perspectives on task ownership in mobile operating system development (invited talk)
ConcernMorph: metrics-based detection of crosscutting patterns
SketchFix: a tool for automated program repair approach using lazy candidate generation
Mining performance specifications
Swarmbug: debugging configuration bugs in swarm robotics
CCTest: Critical Configuration Testing for Autonomous Driving Systems
GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces
Preventing database deadlocks in applications
FinExpert: domain-specific test generation for FinTech systems
Analyzing the Role of Emotions on Performance in Hybrid Capstone Projects
Combining hardware and software instrumentation to classify program executions
The 1st International Workshop on Software Ecosystem Architectures, WEA 2013, Saint Petersburg, Russian Federation, August 19, 2013
The onion patch: migration in open source ecosystems
ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications
DeepSim: deep learning code functional similarity
Verifying aspect advice modularly
Understanding the security management of global third-party Android marketplaces
An industrial application of test selection using test suite diagnosability
On the Relationship between Code Verifiability and Understandability
Performance-influence models for highly configurable systems
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015
TransMap: Pinpointing Mistakes in Neural Code Translation
Automated extraction of security policies from natural-language software documents
Learning type annotation: is big data enough?
Enhancing developer interactions with programming screencasts through accurate code extraction
Automated generation of realistic test inputs for web APIs
Detecting semantic merge conflicts with variability-aware execution
Resource discovery with evolving tuples
Proceedings of the 4th International Workshop on Exception Handling, WEH 2008, Atlanta, Georgia, USA, November 14, 2008
IWPSE 2007: 9th international workshop on principles of software evolution
A textual domain specific language for requirement modelling
Guided, stochastic model-based GUI testing of Android apps
Automating traceability link recovery through classification
Tightfit: adaptive parallelization with foresight
LiquiDADE: a liquid-based distributed agile and adaptive development environment (DADE) multi-device tool
Differential testing: a new approach to change detection
Small-scale structural reengineering of software
Viewpoints-based software for management problem-solving interventions
On marrying ontological and metamodeling technical spaces
On the vulnerability proneness of multilingual code
Signature Matching: A Key to Reuse
Modular verification of collaboration-based software designs
How to mitigate the incident? an effective troubleshooting guide recommendation technique for online service systems
Exploiting software architecture to support requirements satisfaction testing
Ad-opera: music-inspired self-adaptive systems
Business patterns and viewpoints
HyperSeq: A Hyper-Adaptive Representation for Predictive Sequencing of States
From business process models to distributed software architecture
Input invariants
Automating presentation changes in dynamic web applications via collaborative hybrid analysis
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003
Software architecture in the business software domain: the Descartes experience
A longitudinal analysis of bloated Java dependencies
Test suite prioritization by interaction coverage
InferFix: End-to-End Program Repair with LLMs
Modeling readability to improve unit tests
Using an agent-based approach for robust automated testing of computer games
New visions on metamorphic testing after a quarter of a century of inception
Compiling mockups to flexible UIs
Design by Contract for Deep Learning APIs
Domain-specific software engineering
Code vectors: understanding programs through embedded abstracted symbolic traces
Abstracting Dependencies between Software Configuration Items
Instant code clone search
BERT: a tool for behavioral regression testing
A Preliminary Framework for Intersectionality in ML Pipelines
A compositional approach to statecharts semantics
Learning to rank relevant files for bug reports using domain knowledge
Components and connectors are the assembly language of architectural description: compositions deserve first-class status (and better abstraction mechanisms)
Specification Matching of Software Components
DIFFBASE: a differential factbase for effective software evolution management
A Comparative Study on ChatGPT and Checklist as Support Tools for Unit Testing Education
An exception handling model for parallel programming and its verification
A first look at developers' live chat on Gitter
Documenting evidence of a reuse of '"why should I trust you?": explaining the predictions of any classifier'
Verification of Programs with Common Fragments
DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks
Static deep error checking in large system applications using parfait
Future of developer testing: building quality in code
Multiplicity computing: a vision of software engineering for next-generation computing platform applications
Specifying and verifying requirements of real-time systems
Mono2Micro: an AI-based toolchain for evolving monolithic enterprise applications to a microservice architecture
Methodology and culture: drivers of mediocrity in software engineering?
Boosting concolic testing via interpolation
Verifying cross-cutting features as open systems
Causal Detection in Linear Temporal Counterexamples
Towards behavior elaboration and synthesis using modes
Rapid Taint Assisted Concolic Execution (TACE)
Targeted program transformations for symbolic execution
dl²: Detecting Communication Deadlocks in Deep Learning Jobs
Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair
Panning requirement nuggets in stream of software maintenance tickets
RADA: a tool for reasoning about algebraic data types with abstractions
Supporting change in product lines within the context of use case-driven development and testing
On extending single-variant model transformations for reuse in software product line engineering
Precision reuse for efficient regression verification
Inference and checking of context-sensitive pluggable types
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Suggesting meaningful variable names for decompiled code: a machine translation approach
Self-healing BPEL processes with Dynamo and the JBoss rule engine
Exploring Advanced Quantum Ensemble for Industrial Control Systems Security
Factors of software process improvement success in small and large organizations: an empirical study in the scandinavian context
LAMP: data provenance for graph based machine learning algorithms through derivative computation
Diversity in software engineering research
Experience report on soft and project skills building through repetition
UIScreens: extracting user interface screens from mobile programming video tutorials
CrFuzz: fuzzing multi-purpose programs through input validation
HazSim: An Urban Driving Simulator for Testing Perception Systems of ADSes Against Hazards
A Large-Scale Empirical Review of Patch Correctness Checking Approaches
Towards intelligent incident management: why we need it and how we make it
Searching connected API subgraph via text phrases
Enabling Scalable Proactive Workspaces With Environment-Wide Context
Workshop on assurances for self-adaptive systems (ASAS 2011)
Architecture-based software testing
Building systems using analysis patterns
A component model for dynamic adaptive systems
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering
How to break an API: cost negotiation and community values in three software ecosystems
Integrating runtime data with development data to monitor external quality: challenges from practice
Decoding Student Rating Behaviors: A Comparative Study of Frequent Self and Peer Assessments in Team Projects
Record and replay for Android: are we there yet in industrial cases?
Detecting implied scenarios in message sequence chart specifications
Automating the removal of obsolete TODO comments
Proceedings of the 2nd ACM SIGSOFT International Workshop on Software-Intensive Business: Start-ups, Platforms, and Ecosystems, IWSiB@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26, 2019
Requirements for an effective architecture recovery framework
An empirical study of regression testing techniques incorporating context and lifetime factors and improved cost-benefit models
Deep Learning Based Feature Envy Detection Boosted by Real-World Examples
Modify, enhance, select: co-evolution of combinatorial models and test plans
Apposcopy: automated detection of Android malware (invited talk)
Insights into Transitioning towards Electrics/Electronics Platform Management in the Automotive Industry
FlakeRepro: automated and efficient reproduction of concurrency-related flaky tests
Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android
One thousand and one stories: a large-scale survey of software refactoring
Tool support for architecture analysis and design
How do developers react to API deprecation?: the case of a smalltalk ecosystem
How practitioners perceive the relevance of software engineering research
Automated Environment Extraction for Malicious Package Validation: Leveraging Threat Intelligence
MpBP: verifying robustness of neural networks with multi-path bound propagation
A cross-tool communication study on program analysis tool notifications
Building a bot for automatic expert retrieval on discord
A hybrid model for task completion effort estimation
Interactive fault localization for Python with CharmFL
Evidence-based software production
Event trace reduction for effective bug replay of Android apps via differential GUI state analysis
A specification language for coordinated objects
Workgraph: personal focus vs. interruption for engineers at Meta
Triggering Modes in Spectrum-Based Multi-location Fault Localization
Productionizing PILAR as a Logstash Plugin
MultiMind: A Plug-in for the Implementation of Development Tasks Aided by AI Assistants
Analytics for software development
Design diagrams as ontological source
Effects of explicit feature traceability on program comprehension
An ultra-large-scale systems approach to national-scale health information systems
Beyond Software Families: Community-Driven Variability
Declarative smart contracts
Tracking patches for open source software vulnerabilities
Explaining mispredictions of machine learning models using rule induction
Proceedings of the 3rd ACM SIGSOFT International Workshop on App Market Analytics, WAMA@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 27, 2019
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models
Enhancing Code Representation for Improved Graph Neural Network-Based Fault Localization
Bounded model checking of state-space digital systems: the impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space modeling
Analysis of specifications of multiparty sessions with dcj-lint
Mining behavior models from enterprise web applications
Practical Design by Contract Framework for Quantum Applications
Model-driven test case design for model-to-model semantics preservation
Practical framework constraints
Using bad learners to find good configurations
A practical call graph construction method for Python
Software architecture recovery and restructuring through clustering techniques
Software clusterings with vector semantics and the call graph
PyDriller: Python framework for mining software repositories
CUTE: a concolic unit testing engine for C
Designing for dystopia: software engineering research for the post-apocalypse
All you need is logs: improving code completion by learning from anonymous IDE usage logs
A DevOps approach to integration of software components in an EU research project
Synthesizing partial component-level behavior models from system specifications
Logprobs Know Uncertainty: Fighting LLM Hallucinations
Does a programmer's activity indicate knowledge of code?
Towards LLM-Based Automatic Playtest
MaLTeSQuE@ESEC/SIGSOFT FSE 2021: Proceedings of the 5th International Workshop on Machine Learning Techniques for Software Quality Evolution, Athens, Greece, 23 August 2021
Academic prototyping (invited tutorial)
Where is the business logic?