yusuke1997/dblp-id-title huggingface dataset:
A unifying model for software quality
xASTNN: Improved Code Representations for Industrial Practice
Merging partial behavioural models
From big data to smart data: a data quality perspective
You see what I want you to see: poisoning vulnerabilities in neural code search
Towards a Theory for Source Code Rejuvenation
Performance modeling of a JavaEE component application using layered queuing networks: revised approach and a case study
NARCIA: an automated tool for change impact analysis in natural language requirements
PAClab: a program analysis collaboratory
From software engineering to software systems (invited talk)
Concept-based failure clustering
Component-interaction automata as a verification-oriented component-based system specification
PRODeep: a platform for robustness verification of deep neural networks
Automated testing of refactoring engines
Unsupervised learning of general-purpose embeddings for code changes
Efficient provisioning of service level agreements for service oriented applications
Probabilistic model checking of perturbed MDPs with applications to cloud computing
MatrixMiner: a red pill to architect informal product descriptions in the matrix
Proceedings of the symposium on High-level debugging, SIGSOFT 1983, Pacific Grove, California, USA, March 20-23, 1983
Sketch-based gradual model-driven development
AutoPyDep: A Recommendation System for Python Dependency Management Utilizing Graph-Based Analytics
LaChouTi: kernel vulnerability responding framework for the fragmented Android devices
Detection and resolution of atomicity violation in service composition
Proceedings of the 6th International Workshop on Social Software Engineering, SSE 2014, Hong Kong, China, November 17, 2014
Together strong: cooperative Android app analysis
Model-based privacy and security analysis with CARiSMA
Software architecture in a changing world: developing design strategies that anticipate change
Large-scale analysis of non-termination bugs in real-world OSS projects
Proceedings of the 2nd International Workshop on Social Software Engineering and Applications, SoSEA '09, Amsterdam, The Netherlands, August 24, 2009
Vulnerability severity scoring and bounties: why the disconnect?
Monitoring probabilistic properties
Automated Test Data Generation Using an Iterative Relaxation Method
The case for end-user programming of ubiquitous computing environments
AEGIS: An Agent-based Framework for Bug Reproduction from Issue Descriptions
Making embedded software reuse practical and safe
Effective and scalable fault injection using bug reports and generative language models
An empirical study of log analysis at Microsoft
Boosting static analysis accuracy with instrumented test executions
A specification-based approach to reasoning about pointers
Mining error-handling specifications for systems software
8th international workshop on software quality (WoSQ)
JSISOLATE: lightweight in-browser JavaScript isolation
Provably dependable software architectures
VDML4RS: a tool for reputation systems modeling and design
Automated patch porting across forked projects
Evaluation of fault localization techniques
Risk-based data validation in machine learning-based software systems
Industrial experience with building a web portal product line using a lightweight, reactive approach
Academic search engines: constraints, bugs, and recommendations
Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, ISAW '96, San Francisco, California, USA
An iterative, multi-level, and scalable approach to comparing execution traces
The Evolution of Information Seeking in Software Development: Understanding the Role and Impact of AI Assistants
Proactive detection of collaboration conflicts
Principles of feature modeling
Join point interfaces for modular reasoning in aspect-oriented programs
Linking sketches and diagrams to source code artifacts
Open knowledge interface: a digital assistant to support students in writing academic assignments
Addressing scalability in API method call analytics
Feature Interactions in the Global Information Infrastructure (Panel)
Profiling and testing within domains to facilitate document exchangeability
What would users change in my app? summarizing app reviews for recommending software changes
Community-based, collaborative testing and analysis
An architecture for flexible, evolvable process-driven user-guidance environments
Capturing design expertise in software architecture design environments
Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, ESSPE 2007, Dubrovnik, Croatia, September 4, 2007
2nd international workshop on service oriented software engineering (IW-SOSWE 2007)
Theory of infinite streams and objects
Estimating the effectiveness of spectrum-based fault localization
Detecting concurrency vulnerabilities based on partial orders of memory and thread events
BugsInPy: a database of existing bugs in Python programs to enable controlled testing and debugging studies
A large-scale empirical study on Java library migrations: prevalence, trends, and rationales
Rule-based extraction of goal-use case models from text
Artifact Evaluations for Stronger Research Results
Using the Consequence of Failures for Testing and Reliability Assessment
Why modern open source projects fail
Evaluating model testing and model checking for finding requirements violations in Simulink models
Generating integration test cases automatically
Refining code-design mapping with flow analysis
WWW-based software architecture design support for cooperative representation and checking
Differentially-private software analytics for mobile apps: opportunities and challenges
SemServGen: Advancing Industrial Domain-Specific Language Engineering through Semantic Service Generation
Arithmetic program paths
REPERTOIRE: a cross-system porting analysis tool for forked software projects
Latent social structure in open source projects
Designing for incentives: better information sharing for better software engineering
Merlin-A: A tool to engineer adaptive modelling languages
HI-C: diagnosing object churn in framework-based applications
Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994, New Orleans, Louisiana, USA, December 6-9, 1994
Testing scratch programs automatically
Efficient runtime-enforcement techniques for policy weaving
Concurrency verification with maximal path causality
Experience report on teaching testing through gamification
MOSAT: finding safety violations of autonomous driving systems using multi-objective genetic algorithm
All your app links are belong to us: understanding the threats of instant apps based attacks
Software maintenance like maintenance in other engineering disciplines
A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing
Saturation-based testing of concurrent programs
Producing software by integration: challenges and research directions (keynote)
Execution-Free Program Repair
Towards Efficient Record and Replay: A Case Study in WeChat
From scenario modeling to scenario programming for reactive systems with dynamic topology
Bias in machine learning software: why? how? what to do?
Human-AI Collaboration in Software Development: A Mixed-Methods Study of Developers' Use of GitHub Copilot and ChatGPT
Automatic synthesis of deadlock free connectors for COM/DCOM applications
Comparing transition trees test suites effectiveness for different mutation operators
CloudHeatMap: Heatmap-Based Monitoring for Large-Scale Cloud Systems
Using feature locality: can we leverage history to avoid failures during reconfiguration?
Touched by the Hackathon: a study on the connection between Hackathon participants and start-up founders
GIVUP: Automated Generation and Verification of Textual Process Descriptions
The EarlyBIRD Catches the Bug: On Exploiting Early Layers of Encoder Models for More Efficient Code Classification
Investigating the Role of Formal Verification in Software Development: From Automatic Specification Generation to Usability of Verification Languages
Sharing what we know about software engineering
API change and fault proneness: a threat to the success of Android apps
About views for modeling software processes in a role-specific manner
More accurate recommendations for method-level changes
Hierarchical Bayesian multi-kernel learning for integrated classification and summarization of app reviews
Speeding up SMT Solving via Compiler Optimization
Using software testing to repair models
iGen: dynamic interaction inference for configurable software
Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, EASEAI@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26, 2019
Performing Data Flow Testing on Classes
Semantic fault diagnosis: automatic natural-language fault descriptions
iTiger: an automatic issue title generation tool
NatGen: generative pre-training by "naturalizing" source code
BEE: a tool for structuring and analyzing bug reports
LLSC: a parallel symbolic execution compiler for LLVM IR
Information hiding interfaces for aspect-oriented design
Community support for software development in small groups: the initial steps
A service-based infrastructure for advanced logistics
Proceedings of the 4th ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation, MaLTeSQuE@ESEC/SIGSOFT FSE 2020, Virtual Event, USA, November 13, 2020
Software development challenges with air-gap isolation
Playing with time in publish-subscribe using a domain-specific model checker
Training the future workforce through task curation in an OSS ecosystem
Viewpoints on viewpoints
How We Built Cedar: A Verification-Guided Approach
Quo vadis cyber-physical systems: research areas of cyber-physical ecosystems: a position paper
Infringo ergo sum: when will software engineering support infringements?
The Quantum software lifecycle
A Multi-agent Onboarding Assistant based on Large Language Models, Retrieval Augmented Generation, and Chain-of-Thought
FIM: fault injection and mutation for Simulink
Checking LTL[F, G, X] on compressed traces in polynomial time
On the relationship between process maturity and geographic distribution: an empirical analysis of their impact on software quality
Strathcona example recommendation tool
An empirical analysis of the costs of clone- and platform-oriented software reuse
P4b: A Translator from P4 Programs to Boogie
UIED: a hybrid tool for GUI element detection
Towards Sustainable DevOps for Cyber Physical Systems
Rethinking the economics of software engineering
Practical symbolic verification of regular properties
Understanding neural code intelligence through program simplification
GitSonifier: using sound to portray developer conflict history
Faithful mapping of model classes to mathematical structures
Where is the bug and how is it fixed? an experiment with practitioners
Return to the language forrest: the case for DSL oriented software engineering
Golden implementation driven software debugging
A reinforcement learning based approach to automated testing of Android applications
Towards a framework for managing inconsistency between multiple views
Towards the web of applications: incorporating end user programming into the web 2.0 communities
Heuristic-guided counterexample search in FLAVERS
Efficiently scripting change-resilient tests
Lighting up supervised learning in user review-based code localization: dataset and benchmark
Mediating between Human Programmers and Integrated Development Environments using LLM-based Agents
Verifying CTL-live properties of infinite state models using an SMT solver
Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013
A case study of cross-system porting in forked projects
On the application of machine learning models to assess and predict software reusability
Welcome to the WISE track
Engineering component-based net-centric systems for embedded applications
Exploit those code reviews! bigger data for deeper learning
Efficient Test Generation for Dynamic Behaviors Leveraging Token-Level Input Commonalities
Reflections on software failure analysis
Using assertions to help end-user programmers create dependable web macros
Inferring and securing software configurations using automated reasoning
Synoptic: studying logged behavior with inferred models
Javalanche: efficient mutation testing for Java
Ref-Finder: a refactoring reconstruction tool based on logic query templates
A feasibility study of using automated program repair for introductory programming assignments
Evaluating and improving the automatic analysis of implicit invocation systems
RunDroid: recovering execution call graphs for Android applications
SymJS: automatic symbolic testing of JavaScript web applications
Winning the app production rally
An online agent-based search approach in automated computer game testing with model construction
Sherlock: scalable deadlock detection for concurrent programs
Divergent views in goal-driven requirements engineering
Finding near-optimal configurations in product lines by random sampling
API deprecation: a retrospective analysis and detection method for code examples on the web
Relating viewpoints: a preface to Viewpoints 96
Foreword to state-of-the-art presentations
A specification-based approach to testing software product lines
An empirical analysis of flaky tests
Software startup education: gamifying growth hacking
Software Architecture in Practice: Challenges and Opportunities
Mining input grammars from dynamic control flow
Negative scenarios for implied scenario elicitation
Tackling knowledge needs during software evolution
QTEP: quality-aware test case prioritization
Experience with architecture-centered software project planning
Understanding myths and realities of test-suite evolution
Automatic generation of release notes
High-impact defects: a study of breakage and surprise defects
Demystifying "removed reviews" in iOS app store
GFI-bot: automated good first issue recommendation on GitHub
Modular collaborative program analysis in OPAL
TAPHSIR: towards AnaPHoric ambiguity detection and ReSolution in requirements
The case for software evolution
CodeMatch: obfuscation won't conceal your repackaged app
Loopster: static loop termination analysis
Compiler and tool support for debugging object protocols
EASEAI 2021: Proceedings of the 3rd International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, Athens, Greece, 23 August 2021
Assume-guarantee testing
A retrospective study of one decade of artifact evaluations
SecuriTAS: a tool for engineering adaptive security
A study of the uniqueness of source code
Using finite-state models for log differencing
Behind every great deep learning framework is an even greater programming languages concept (keynote)
Search-based adversarial testing and improvement of constrained credit scoring systems
Automated construction of energy test oracles for Android
The structure and value of modularity in software design
Developers' code context models for change tasks
Vet: identifying and avoiding UI exploration tarpits
PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator
Automated code transformation for context propagation in Go
Beyond the rainbow: self-adaptive failure avoidance in configurable systems
AUSUM: approach for unsupervised bug report summarization
CLIFuzzer: mining grammars for command-line invocations
ESC4: a modern caching ESC for Java
Visualising Developer Interactions in Code Reviews
Entropy and software systems: towards an information-theoretic foundation of software testing
FACTS: automated black-box testing of FinTech systems
Learning from examples to improve code completion systems
Enhancing Compositional Reachability Analysis with Context Constraints
White-box testing of big data analytics with complex user-defined functions
VulCurator: a vulnerability-fixing commit detector
Categorizing developer information needs in software ecosystems
Scalable and incremental software bug detection
An empirical study of goto in C code from GitHub repositories
A fault-tolerant software architecture for COTS-based software systems
PHYSFRAME: type checking physical frames of reference for robotic systems
Seeing the forest and the trees: focusing team interaction on value and effort drivers
MITHRAS: A Dynamic Analysis Framework for the Mobile-IoT Ecosystem
Mining idioms from source code
Nodest: feedback-driven static analysis of Node.js applications
Game-based safety checking with Mage
Software engineering and wireless sensor networks: happy marriage or consensual divorce?
A graph based architectural (Re)configuration language
Improving bug triage with bug tossing graphs
Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics, WAMA@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 5, 2017
AppNet: understanding app recommendation in Google Play
Software Engineering and Gender: A Tutorial
SEntiMoji: an emoji-powered learning approach for sentiment analysis in software engineering
GAISSALabel: A Tool for Energy Labeling of ML Models
Differences between versions of UML diagrams
Toward static test flakiness prediction: a feasibility study
Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, WASPI@ESEC/SIGSOFT FSE, Lake Buena Vista, FL, USA, November 9, 2018
TSA: a tool to detect and quantify network side-channels
Performing large-scale mining studies: from start to finish (tutorial)
R&D challenges and emerging solutions for multicore deployment/configuration optimization
PRF: a framework for building automatic program repair prototypes for JVM-based languages
Repairing test dependence
Categorization of business systems components
Composing features and resolving interactions
Embedding social networking information into jazz to foster group awareness within distributed teams
Multi-Agent Differential Testing for the Game of Go
Understanding failures through facts
Orchestrating context-aware systems: a design perspective
The future of software engineering: enhancing human expertise in tackling software quality
Detecting Node.js prototype pollution vulnerabilities via object lookup analysis
Correlation exploitation in error ranking
iTest: testing software with mobile crowdsourcing
RESTInfer: automated inferring parameter constraints from natural language RESTful API descriptions
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 05, 2018
SemCluster: a semi-supervised clustering tool for crowdsourced test reports with deep image understanding
Neat: Mobile App Layout Similarity Comparison Based on Graph Convolutional Networks
Security guarantees for automated software testing
Interoperability wizard for a component-based architecture workbench
Term interrelations and trends in software engineering
EvaCRC: Evaluating Code Review Comments
Putting them under microscope: a fine-grained approach for detecting redundant test cases in natural language
µDroid: an energy-aware mutation testing framework for Android
Towards developer-centered automatic program repair: findings from Bloomberg
Symbolic execution with existential second-order constraints
Towards fault tolerance in web services compositions
HeteroFuzz: fuzz testing to detect platform dependent divergence for heterogeneous applications
PHRT: a model and programmable tool for hardware reengineering automation
Contextualizing toxicity in open source: a qualitative study
Proceedings of the 1st International Workshop on Control Theory for Software Engineering, CTSE@SIGSOFT FSE 2015, Bergamo, Italy, August 31 - September 04, 2015
Toward understanding how developers recognize features in source code from descriptions
Proceedings of the 2nd International Workshop on Software Analytics, SWAN@SIGSOFT FSE 2016, Seattle, WA, USA, November 13, 2016
Gamification for enforcing coding conventions
From use cases to code---rigorous software development with UML
Refining by architectural styles or architecting by refinements
FaultTracer: a change impact and regression fault analysis tool for evolving Java programs
The impact of cross-platform development approaches for mobile applications from the user's perspective
API code recommendation using statistical learning from fine-grained changes
A Vision on Intentions in Software Engineering
Can Hessian-Based Insights Support Fault Diagnosis in Attention-based Models?
Towards automated testing of RPA implementations
Formal Refinement Patterns for Goal-Driven Requirements Elaboration
A formal model and composition language for context-aware service protocols
Towards a workflow for model-based testing of embedded systems
Estimating GPU memory consumption of deep learning models
Investigating social media in GitHub's pull-requests: a case study on Ruby on Rails
On the shoulders of giants
Guidelines for adopting frontend architectures and patterns in microservices-based systems
Phys: probabilistic physical unit assignment and inconsistency detection
SPINE: a scalable log parser with feedback guidance
Building call graphs for embedded client-side code in dynamic web applications
The missing links: bugs and bug-fix commits
DISCOVER: detecting algorithmic complexity vulnerabilities
Towards a LLM-Based System for Generating and Validating Product Requirements
DevOps meets formal modelling in high-criticality complex systems
IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers
UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel
Detecting concurrency memory corruption vulnerabilities
BitsAI-CR: Automated Code Review via LLM in Practice
A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm
Probabilistic Delta debugging
Migrating Code At Scale With LLMs At Google
UMTG: a toolset to automatically generate system test cases from use case specifications
Automated capacity analysis of limitation-aware microservices architectures
PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code
On satisfying timing constraints in hard-real-time systems
Semi-supervised pre-processing for learning-based traceability framework on real-world software projects
How well are regular expressions tested in the wild?
Automating Issue Reporting in Software Testing: Lessons Learned from Using the Template Generator Tool
MayPar: a may-happen-in-parallel analyzer for concurrent objects
Automating repetitive code changes using examples
Understanding the impact of GitHub suggested changes on recommendations between developers
Predicting failures with developer networks and social network analysis
Change-aware mutation testing for evolving systems
When, how, and why developers (do not) test in their IDEs
Assessing the value of branches with what-if analysis
Evolution of a software architecture for management information systems
Generating interactive web pages from storyboards
Static DOM event dependency analysis for testing web applications
Which generated test failures are fault revealing? prioritizing failures based on inferred precondition violations using PAF
Identifying the most valuable developers using artifact traceability graphs
ADDiff: semantic differencing for activity diagrams
Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, SAVCBS '06, Portland, Oregon, USA, November 10-11, 2006
How should we measure functional sameness from program source code? an exploratory study on Java methods
Static analysis for optimizing big data queries
DSM: a specification mining tool using recurrent neural network based language model
TickIt: Leveraging Large Language Models for Automated Ticket Escalation
The power of "why" and "why not": enriching scenario exploration with provenance