yusuke1997/dblp-id-title huggingface dataset:
Supercomputing in biology: towards understanding living systems in atomic detail
Iterative distribution-aware sampling for probabilistic symbolic execution
RefDistiller: a refactoring aware code review tool for inspecting manual refactoring edits
A grounded theory of the role of coordination in software security patch management
Syanco 2007: international workshop on synthesis and analysis of component connectors
Just-in-time architecture: planning software in an uncertain world
Continuous experimentation on artificial intelligence software: a research agenda
Hey, you have given me too many knobs!: understanding and dealing with over-designed configuration in system software
HapTest: The Dynamic Analysis Framework for OpenHarmony
On the role of data balancing for machine learning-based code smell detection
A Multidimensional Analysis of Bug Density in SAP HANA
How to better utilize code graphs in semantic code search?
Coverage criteria for GUI testing
TouchDevelop: app development on mobile devices
Symbolic parallel adaptive importance sampling for probabilistic program analysis
Predicting Test Results without Execution
Recommender system for model driven software development
Verification and performance evaluation of aadl models
How do developers resolve merge conflicts? an investigation into the processes, tools, and improvements
Difference computation of large models
JSSpecVis: A JavaScript Language Specification Visualization Tool
Regression test selection across JVM boundaries
JITO: a tool for just-in-time defect identification and localization
Determining detailed structural correspondence for generalization tasks
ProphetAgent: Automatically Synthesizing GUI Tests from Test Cases in Natural Language for Mobile Apps
PyGGI 2.0: language independent genetic improvement framework
A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention
On the naturalness of proofs
Automated security testing of web widget interactions
Analysing socio-technical congruence in the package dependency network of Cargo
Architecture for evolution
Discovery of SOA patterns via model checking
Welcome to ISAW-2
Metrics selection for load monitoring of service-oriented system
Vulnerability detection with fine-grained interpretations
How do fixes become bugs?
A deployable sampling strategy for data race detection
Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality
JBSE: a symbolic executor for Java programs with complex heap inputs
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007
The impact of regular expression denial of service (ReDoS) in practice: an empirical study at the ecosystem scale
XGuard: Detecting Inconsistency Behaviors of Crosschain Bridges
Actionable and interpretable fault localization for recurring failures in online service systems
AccessiText: automated detection of text accessibility issues in Android apps
Reo2MC: a tool chain for performance analysis of coordination models
Insights from expert software design practice
Aligning Core Aspects: Improving Vulnerability Proof-of-Concepts via Cross-Source Insights
Fine-Grained Developer Reification
AI Coding Tools in Bilingual Software Development: A Survey of Spanish-Speaking Developers
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001
How do developers use parallel libraries?
Mutation-Guided LLM-based Test Generation at Meta
PF2UML: A Tool for Problem-Oriented Requirements Modeling and Transformation
Reengineering a Complex Application Using a Scalable Data Structure Compiler
Effective and precise dynamic detection of hidden races for Java programs
Towards accurate probabilistic models using state refinement
Testing extended finite state machines using NSGA-III
The practical uses of TransLucid
KG4CraSolver: Recommending Crash Solutions via Knowledge Graph
MANDO-GURU: vulnerability detection for smart contract source code by heterogeneous graph embeddings
Enhancing the interoperability between deep learning frameworks by model conversion
Can Generative AI Produce Test Cases? An Experience from the Automotive Domain
A Tool for In-depth Analysis of Code Execution Reasoning of Large Language Models
An experimental evaluation of approaches to feature testing in the mobile phone applications domain
SMArTIC: towards building an accurate, robust and scalable specification miner
AlloyMax: bringing maximum satisfaction to relational specifications
Software is data too
Towards surgically-precise technical debt estimation: early results and research roadmap
Is one hyperparameter optimizer enough?
Toward understanding the causes of unanswered questions in software information sites: a case study of stack overflow
Understanding and discovering software configuration dependencies in cloud and datacenter systems
STraceBERT: Source Code Retrieval using Semantic Application Traces
Partial replay of long-running applications
CAIS: Collaborative Asynchronous Inspection of Software
Using view-based models to formalize architecture description
When should internal interfaces be promoted to public?
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty
Testing machine learning code using polyhedral region
An empirical study of bots in software development: characteristics and challenges from a practitioner's perspective
Sustainable software design
Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice
Change impact analysis in Simulink designs of embedded systems
µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs
Comparing automated visual GUI testing tools: an industrial case study
Fix Fairness, Don't Ruin Accuracy: Performance Aware Fairness Repair using AutoML
A stakeholder-driven service life cycle model for SOA
Is neuron coverage a meaningful measure for testing deep neural networks?
Facilitating Trustworthy Human-Agent Collaboration in LLM-based Multi-Agent System oriented Software Engineering
Automatic trigger generation for end user written rules for home automation
Interval counterexamples for loop invariant learning
Effective Whole-Program Analysis in the Presence of Pointers
Exploring how deprecated Python library APIs are (not) handled
Release practices for iOS and Android apps
Investigating documented information for accurate effort estimation in agile software development
Hunter: next-generation code reuse for Java
Agreements for software reuse in corporations
Lessons learned from making the transition to model-based GUI testing
VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud
On well-separation of GR(1) specifications
Understanding skills for OSS communities on GitHub
Targeting Safety-Related Errors During Software Requirements Analysis
Automated unit test generation for evolving software
An effective dynamic analysis for detecting generalized deadlocks
Crash consistency validation made easy
Efficient computing in a safe environment
Global cost/quality management across multiple applications
Learning natural coding conventions
WhoDo: automating reviewer suggestions at scale
Graph-based mining of multiple object usage patterns
Repairing confusion and bias errors for DNN-based image classifiers
"Person is a person, a tool is a tool" - ChatGPT's Role in Student Help-Seeking Behavior and Peer Support
Support for constructing environments with multiple views
Fluent temporal logic for discrete-time event-based models
Evidence-based validation and improvement of electronic health record systems
On the similarity of software development documentation
WEON: towards a software ecosystem ONtology
WebRR: self-replay enhanced robust record/replay for web application testing
OpsEval: A Comprehensive Benchmark Suite for Evaluating Large Language Models' Capability in IT Operations Domain
Singularity: pattern fuzzing for worst case complexity
AMS: generating AutoML search spaces from weak specifications
FUSION: a framework for engineering self-tuning self-adaptive software systems
Towards authentic undergraduate research experiences in software engineering and machine learning
Sustainable automated data recovery: a research roadmap
Questions programmers ask during software evolution tasks
DynaMine: finding common error patterns by mining software revision histories
Formal Modeling and Analysis of the HLA Component Integration Standard
Finding incorrect compositions of atomicity
CHARMY: an extensible tool for architectural analysis
Measuring the cost of regression testing in practice: a study of Java projects using continuous integration
Data race detection on compressed traces
A comparative study of FAQs for software development
SocialCDE: a social awareness tool for global software teams
Checking conformance of a producer and a consumer
Does ACM's code of ethics change ethical decision making in software development?
Developing enterprise mobile applications the easy way
Representation dependence testing using program inversion
Nezha: Interpretable Fine-Grained Root Causes Analysis for Microservices on Multi-modal Observability Data
Understanding the affect of developers: theoretical background and guidelines for psychoempirical software engineering
Identifying participants for collaborative merge
Coven: brewing better collaboration through software configuration management
Toward a generic framework for computing subsystem interfaces
Prioritizing the devices to test your app on: a case study of Android game apps
S3: syntax- and semantic-guided repair synthesis via programming by examples
NAR-miner: discovering negative association rules from code for bug detection
Finding and breaking test dependencies to speed up test execution
Selected issues in architecture of software intensive products
Turnover-induced knowledge loss in practice
Inconsistency detection and resolution for context-aware middleware support
Why Do Software Practitioners Use ChatGPT for Software Development Tasks?
OurCode: Experiences Transitioning University Research into a Developer Tools Startup
How the crowd impacts commercial applications: a user-oriented approach
Automatically computing path complexity of programs
Cross-language program slicing for dynamic web applications
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998
Pn4PLC: Verification of Software Upgrade for PLC Code
Code2Que: a tool for improving question titles from mined code snippets in stack overflow
Symbolic pruning of concurrent program executions
PoMMaDe: pushdown model-checking for malware detection
AI-assisted programming: applications, user experiences, and neuro-symbolic techniques (keynote)
Automatic Generation of State Invariants from Requirements Specifications
Filter-Based Model Checking of Partial Systems
Exploiting Style in Architectural Design Environments
Software engineering in an uncertain world
Session-aware debugging features for web applications using Ruby and Python frameworks
Strong agile metrics: mining log data to determine predictive power of software metrics for continuous delivery teams
Seeding digital competencies from early childhood: a competence based approach
Salient-class location: help developers understand code change in code review
Ensuring interoperable service-oriented systems through engineered self-healing
Missing Threats: Dealing with the Treatment-sensitive Factorial Structure Bias in Empirical Software Engineering
Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005
Semi-supervised verified feedback generation
Parameterized model counting for string and numeric constraints
POLLUX: safely upgrading dependent application libraries
Doloto: code splitting for network-bound web 2.0 applications
Stateful breakpoints: a practical approach to defining parameterized runtime monitors
NullAway: practical type-based null safety for Java
On the Usage of Continual Learning for Out-of-Distribution Generalization in Pre-trained Language Models of Code
Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
KenyaEclipse: learning to program in eclipse
SOQUA 2007: 4th international workshop on software quality assurance
Factors influencing code review processes in industry
SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software
Are machine programming systems using right source-code measures to select code repositories?
The impact project: determining the impact of software engineering research upon practice (panel session)
Performance analysis based upon complete profiles
Value-based technical debt management: an exploratory case study in start-ups and scale-ups
Causal Models in Requirement Specifications for Machine Learning: A vision
Identifying the characteristics of vulnerable code changes: an empirical study
AggrePlay: efficient record and replay of multi-threaded programs
Automating code review activities by large-scale pre-training
On the use of lambda expressions in 760 open source Python projects
Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications
Search-based synthesis of equivalent method sequences
Filling the gap: a tool to automate parameter estimation for software performance models
A zoned architecture for large-scale evolution
Dev 2.0: model driven development in the cloud
DeepCommenter: a deep code comment generation tool with hybrid lexical and syntactical information
Predictive testing: amplifying the effectiveness of software testing
Exploring and evaluating personalized models for code generation
BIKER: a tool for Bi-information source based API method recommendation
DebugAdvisor: a recommender system for debugging
KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection
Interactive and guided architectural refactoring with search-based recommendation
Towards a unified event-based software architecture
Understanding automated code review process and developer experience in industry
Eliciting and visualising trust expectations using persona trust characteristics and goal models
Community expectations for research artifacts and evaluation processes
8th European workshop on software process technology: report and future directions
On the economic evaluation of XP projects
Improving performance of automatic program repair using learned heuristics
Combating Missed Recalls in E-commerce Search: A CoT-Prompting Testing Approach
A benchmark- and competition-based approach to software engineering research
Differential assertion checking
Clash of Requirements: Users First vs. Model First
Algebraic-datatype taint tracking, with applications to understanding Android identifier leaks
Visualising exemplary program values
CommentFinder: a simpler, faster, more accurate code review comments recommendation
Creating and evolving developer documentation: understanding the decisions of open source contributors
An industrial case study of implementing software risk management
Designing robust Java programs with exceptions
Javert: fully automatic mining of general temporal properties from dynamic traces
Supporting negotiation and dispute resolution with computing and communication technologies
On-Premise AIOps Infrastructure for a Software Editor SME: An Experience Report
Dimensions of software configuration: on the configuration context in modern software development
Analyzing Evolution of Microservice-based Systems
MicroSensor: Towards an Extensible Tool for the Static Analysis of Microservices Systems in Continuous Integration
Software crowdsourcing reliability: an empirical study on developers behavior
Semantic relation based expansion of abbreviations
C2S: translating natural language comments to formal program specifications
Enablers, inhibitors, and perceptions of testing in novice software teams
Checking app user interfaces against app descriptions
Solving conflicts produces new contexts
A replication study: mining a proprietary temporal defect dataset
Model-level, platform-independent debugging in the context of the model-driven development of real-time systems
Generalizable and interpretable learning for configuration extrapolation
A statistics-based performance testing methodology for cloud applications
npm-follower: A Complete Dataset Tracking the NPM Ecosystem
Fuzzy set and cache-based approach for bug triaging
Enhancing Android application bug reporting
On the utility of dominator mutants for mutation testing
Getting pwn'd by AI: Penetration Testing with Large Language Models
SAVCBS'09, Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, August 25, 2009, Amsterdam, The Netherlands
Automating first-order relational logic
Scalable malware clustering through coarse-grained behavior modeling
From Point-wise to Group-wise: A Fast and Accurate Microservice Trace Anomaly Detection Approach
Comparing within- and cross-project machine learning algorithms for code smell detection
From Few-Label to Zero-Label: An Approach for Cross-System Log-Based Anomaly Detection with Meta-Learning
How a good software practice thwarts collaboration: the multiple roles of APIs in software development
Validation on machine reading comprehension software without annotated labels: a property-based method
Dynamic slicing long running programs through execution fast forwarding
Empirical evaluation of defect projection models for widely-deployed production software systems
The impact of ICT evolution and application explosion on software quality: a solution by ISO/IEC 250nn square series of standards
An Intermedicate Design Language and Its Analysis
Dynamic mutant subsumption analysis using LittleDarwin
Personalized mobile application discovery
Refinement patterns for rapid development of dependable systems
EM-Assist: Safe Automated ExtractMethod Refactoring with LLMs
Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors
Improved multithreaded unit testing
Inferring project-specific bug patterns for detecting sibling bugs
Peahen: fast and precise static deadlock detection via context reduction
On evaluating recommender systems for API usages
Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway
Improving program slicing with dynamic points-to data
Demystifying "bad" error messages in data science libraries
Non-Knowledge as a New Lens on Software Engineering
Can Machine Learning Pipelines Be Better Configured?
Software engineering collaboratories (SEClabs) and collaboratories as a service (CaaS)
Simplifying reasoning about objects with Tako
Exceptions and aspects: the devil is in the details
What did you pack in my app? a systematic analysis of commercial Android packers
An evaluation of methods to port legacy code to SGX enclaves
Understanding Hackers' Work: An Empirical Study of Offensive Security Practitioners
Model-driven test-case construction
Are elevator software robust against uncertainties? results and experiences from an industrial case study
PUMConf: a tool to configure product specific use case and domain models in a product line
Improving regression testing in continuous integration development environments (keynote)
DeepIaC: deep learning-based linguistic anti-pattern detection in IaC
Evaluating Transfer Learning for Simplifying GitHub READMEs
Proceedings of the 2008 International Workshop on Recommendation Systems for Software Engineering, RSSE 2008, Atlanta, GA, USA, November 9, 2008
York: programming software components
Achieving lightweight trustworthy traceability
Data Flow Analysis for Verifying Properties of Concurrent Programs
Dream types: a domain specific type system for component-based message-oriented middleware
Statistical Type Inference for Incomplete Programs
Practical and effective symbolic analysis for buffer overflow detection
Detecting table clones and smells in spreadsheets
Towards learning-augmented languages
Dynamic layout of distributed applications
The plastic surgery hypothesis
A novel automated approach for software effort estimation based on data augmentation
Testing AI Systems Leveraging Graph Perturbation
Iterating the minimizing Delta debugging algorithm
Programming asynchronous layers with CLARITY
Unite: an adapter for transforming analysis tools to web services via OSLC
Attack surfaces for mobile devices
Beware the evolving 'intelligent' web service! an integration architecture tactic to guard AI-first components
Dynamic Data Fault Localization for Deep Neural Networks
EvoSuite: automatic test suite generation for object-oriented software
An agenda for concern-oriented software engineering
Exception handling patterns for processes
Metamorphic testing of Datalog engines
Compositional Taint Analysis for Enforcing Security Policies at Scale
Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC/FSE joint meeting, SYANCO 2007, Dubrovnik, Croatia, September 3-4, 2007
Dynamic Structure in Software Architectures
Understanding why we cannot model how long a code review will take: an industrial case study
Empirical answers to fundamental software engineering problems (panel)
Reasoning about iterators with separation logic
Plan-directed architectural change for autonomous systems
Detecting higher-level similarity patterns in programs
Improving software developers' fluency by recommending development environment commands
Mediators in infrastructure survivability enhancement
Language-based replay via data flow cut
A Data Set of Extracted Rationale from Linux Kernel Commit Messages
Automatic Proof Generation: Fine-tuning and RAG in Reasoner vs. Math LLMs
Exploring Hybrid Work Realities: A Case Study with Software Professionals from Underrepresented Groups
RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair
Healthcare Android apps: a tale of the customers' perspective
Metadata-based code example embedding
Attitudes Towards LLM Use Among Software Engineering Researchers: Results From A Two-Phase Survey Study
Towards Understanding Emotions in Informal Developer Interactions: A Gitter Chat Study
AutoTracer: A Low-Overhead Tracing Framework for Autonomous Driving System
Do the dependency conflicts in my project matter?
Introducing Repository Stability
ServDroid: detecting service usage inefficiencies in Android applications
Smart Building Operations and Virtual Assistants Using LLM
Predicting null-pointer dereferences in concurrent programs
Contributors' impact on a FOSS project's quality
AI for Empowering Women in AI
Why is collaboration needed in OSS projects? a case study of eclipse project
Detecting and resolving semantic pathologies in UML sequence diagrams
Dynamic data race prediction: fundamentals, theory, and practice (tutorial)
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009
Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing
XSearch: a domain-specific cross-language relevant question retrieval tool
Code recommendation for exception handling
Towards incremental adaptive covering arrays
Revamping JavaScript static analysis via localization and remediation of root causes of imprecision
Api hyperlinking via structural overlap
How Well Industry-Level Cause Bisection Works in Real-World: A Study on Linux Kernel
Towards the compositional verification of real-time UML designs
FrUITeR: a framework for evaluating UI test reuse
Task modularity and the emergence of software value streams (impact award paper keynote)
Quantitative assessment of UML dynamic models
Using redundancies to find errors
Predicting Software Performance with Divide-and-Learn