yusuke1997/dblp-id-title huggingface dataset:
Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities
Learning to Edit Interactive Machine Learning Notebooks
Two perspectives on software documentation quality in stack overflow
Uncovering critical coordination requirements through content analysis
Inferring Complexity Bounds from Recurrence Relations
Debugging debugging: acm sigsoft impact paper award keynote
The metropolis model and its implications for the engineering of software ecosystems
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants
Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks
Outage-Watch: Early Prediction of Outages using Extreme Event Regularizer
Big data, global development, and complex social systems
A software quality model for SOA
"We Feel Like We're Winging It: " A Study on Navigating Open-Source Dependency Abandonment
Eagle: a team practices audit framework for agile software development
Emerging Results in Using Explainable AI to Improve Software Vulnerability Prediction
Suggesting reviewers of software artifacts using traceability graphs
Critics: an interactive code review tool for searching and inspecting systematic changes
Aalta: an LTL satisfiability checker over Infinite/Finite traces
A convergent systems viewpoint on viewpoints
Software engineering for multi-tenancy computing challenges and implications
Synthesizing tests for detecting atomicity violations
Sando: an extensible local code search framework
Why aren't regular expressions a lingua franca? an empirical study on the re-use and portability of regular expressions
Reasoning with imprecise privacy preferences
Variable-specific resolutions for feature interactions
Documenting evidence of a reuse of 'a systematic study of the class imbalance problem in convolutional neural networks'
Proceedings of the 8th international workshop on Software quality, WoSQ@ESEC/FSE 2011, Szeged, Hungary, September 4, 2011
Towards automating the security compliance value chain
SmartShift: A Secure and Efficient Approach to Smart Contract Migration
Application of data clustering for automated feedback generation about student well-being
Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002
Research Open-Source Software: supporting small communities with technical and social aspects
Growth of newcomer competence: challenges of globalization
Experimenting with diversity in the model driven development of a railway signaling system
Establishing key performance indicators for measuring software-development processes at a large organization
Stepwise design of real-time systems
DTAM: dynamic taint analysis of multi-threaded programs for relevancy
Verified systems by composition from verified components
Online sports betting through the prism of software engineering
Identifying Project Management Skills in Industry-Driven Capstone Projects
The challenges of sentiment detection in the social programmer ecosystem
T-Morph: revealing buggy behaviors of TinyOS applications via rule mining and visualization
AI Model Genome
The future of research in free/open source software development
Automated systematic testing for constraint-based interactive services
Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996
Speculative analysis: exploring future development states of software
DReM: Efficiently Generating Domain-Specific Requirements Modeling Tool
Toward boxology: preliminary classification of architectural styles
iFixR: bug report driven program repair
The Impact of Hyperparameters on Large Language Model Inference Performance: An Evaluation of vLLM and HuggingFace Pipelines
File tracing by intercepting disk requests
MSeqGen: object-oriented unit-test generation via mining source code
ARCADE: an extensible workbench for architecture recovery, change, and decay evaluation
Factors Influencing Gender Representation in IT Faculty Programmes: Insights with a Focus on Software Engineering in a Nordic Context
An empirical analysis of the co-evolution of schema and code in database applications
Accelerating Continuous Integration with Parallel Batch Testing
Tracing software developers' eyes and interactions for change tasks
Symbolic message sequence charts
Detecting Android malware using sequences of system calls
Spotting familiar code snippet structures for program comprehension
Towards a framework for generating program dependence graphs from source code
Effective blame for information-flow violations
An LGPD Compliance Inspection Checklist to Assess IoT Solutions
S.C.A.L.E: A CO2-Aware Scheduler for OpenShift at ING
Concurrent software testing in practice: a catalog of tools
An enhanced test case selection approach for model-based testing: an industrial case study
Suggesting accurate method and class names
Distributed execution of test cases and continuous integration
Object and reference immutability using java generics
A cost-effectiveness criterion for applying software defect prediction models
Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, DOSTA 2007, Dubrovnik, Croatia, September 4, 2007
Pursuit of Automotive Software Variant Reduction for Engineering Simplicity
What makes one software architecture more testable than another?
Do software process improvements lead to ISO 9126 architectural quality factor improvement
Industrial Priorities for Software Engineering Research (Panel)
An Extensive Study on Adversarial Attack against Pre-trained Models of Code
Towards automated verification of smart contract fairness
Surveying the factors that influence maintainability: research design
Exploratory test agents for stateful software systems
Skeletal approximation enumeration for SMT solver testing
Precise range analysis on large industry code
Merging component models and architectural styles
A method to identify and correct problematic software activity data: exploiting capacity constraints and data redundancies
Program comprehension as fact finding
Toward measuring program comprehension with functional magnetic resonance imaging
SCA: a semantic conflict analyzer for parallel changes
Timely and accurate detection of model deviation in self-adaptive software-intensive systems
Organizational implications of agile adoption: a case study from the public sector
Variability-Aware Differencing with DiffDetective
Context-aware code recommendation in Intellij IDEA
Foreword to the doctoral symposium
On evidence preservation requirements for forensic-ready systems
Enforcing correct array indexes with a type system
COREQQA: a COmpliance REQuirements understanding using question answering tool
Mining mobile app markets for prioritization of security assessment effort
An exploratory study of autopilot software bugs in unmanned aerial vehicles
Behaviour model elaboration using partial labelled transition systems
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023
Rethinking software connectors
Assess and Summarize: Improve Outage Understanding with Large Language Models
Exploring Developers Discussion Forums for Quantum Software Engineering: A Fine-Grained Classification Approach Using Large Language Model (ChatGPT)
Specification and design of component-based coordination systems by integrating coordination patterns
TERMINATOR: better automated UI test case prioritization
Design and optimization of multi-clocked embedded systems using formal technique
Flaky test detection in Android via event order exploration
Reproducibility Debt: Challenges and Future Pathways
Semantic degrees for Industrie 4.0 engineering: deciding on the degree of semantic formalization to select appropriate technologies
SMT solver testing with type and grammar based mutation
Increasing the efficiency of search-based unit test generation using parameter control
On the formalization of architectural types with process algebras
Applying classification techniques to remotely-collected program execution data
Effective verification of systems with a dynamic number of components
Towards emotional awareness in software development teams
Generating Code Tours Using Locally-Runnable LLMs
Gravity: supporting dynamically available services in client-side applications
Program analysis using WALA (tutorial)
Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations
Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study
A Framework for Programming and Formalizing Concurrent Objects
BugMap: a topographic map of bugs
Towards Scalable Compositional Analysis
Generating direct manipulation program editors within the MultiView programming environment
Model checking requirements at run-time in adaptive systems
The shape of things to come?
Testing static analysis tools using exploitable buffer overflows from open source code
PASTE'11: Proceedings of the 10th ACM sigplan-sigsoft workshop on program analysis for software tools and engineering
Efficient and reasonable object-oriented concurrency
QUESt: new practices to represent hypotheses in experiment-driven software development
Beyond testing configurable systems: applying variational execution to automatic program repair and higher order mutation testing
iBatch: saving Ethereum fees via secure and cost-effective batching of smart-contract invocations
Combining bug detection and test case generation
Prioritizing Natural Language Test Cases Based on Highly-Used Game Features
On the adoption of neural networks in modeling software reliability
Research: A Tool and Workflow for Benchmarking LLM-Based Code Improvements
Artifact evaluation (summary)
Industry practice of configuration auto-tuning for cloud applications and services
Chain-of-Event: Interpretable Root Cause Analysis for Microservices through Automatically Learning Weighted Event Causal Graph
Clang __usercall: towards native support for user defined calling conventions
Scheduling of embedded time-triggered systems
Mining monitoring concerns implementation in Java-based software systems
CALAPPA: a toolchain for mining Android applications
Input-sensitive performance testing
Automatic generation of inter-component communication exploits for Android applications
JSAI: a static analysis platform for JavaScript
Personal Data-Less Personalized Software Applications
A classification system and analysis for aspect-oriented programs
TypeWriter: neural type prediction with search-based validation
A symbolic justice violations transition system for unrealizable GR(1) specifications
HapRepair: Learn to Repair OpenHarmony Apps
The Road to Hybrid Quantum Programs: Characterizing the Evolution from Classical to Hybrid Quantum Software
ICME: an informed consent management engine for conformance in smart building environments
Demystifying the underground ecosystem of account registration bots
Design and validation of precooked developer dashboards
ADLs and dynamic architecture changes
Improving test case generation for web applications using automated interface discovery
Causality-Driven Neural Network Repair: Challenges and Opportunities
Which abbreviations should be expanded?
What is the long-term impact of changes?
Automated multi-objective control for self-adaptive software design
End-to-End Testing Gamification: A Novel Approach to the Verification and Validation of Web and Mobile Applications
A categorical characterization for the compositional features of the # component model
A real-time transition model for analyzing behavioral compatibility of telecommunications services
An empirical study of the effect of time constraints on the cost-benefits of regression testing
Implicit context: easing software evolution and reuse
UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing
Pervasive computers and the GRID: the birth of a computational exoskeleton for augmented reality
Subsystem design guidelines for extensible general-purpose software
AI in the Software Development Lifecycle: Insights and Open Research Questions
Human-Centric Hybrid-AI for No-Code Development
Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model
Automated refactoring of nested-IF formulae in spreadsheets
SMutant: a tool for type-sensitive mutation testing in a dynamic language
Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering
Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems
The MONDO collaboration framework: secure collaborative modeling over existing version control systems
Developer onboarding in GitHub: the role of prior social links and language experience
Viewpoints supporting the development of interactive software
Testing multithreaded programs via thread speed control
The logic of bugs
Components, objects, and contracts
Adaptive predictive control for software systems
CHOReOSynt: enforcing choreography realizability in the future internet
Which warnings should I fix first?
Automated test input generation for Android: are we really there yet in an industrial case?
An Empirical Study of the Error Characteristics in an Online Judge System
Improving IDE code inspections with tree automata
Explicit exception handling variability in component-based product line architectures
Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014, Hong Kong, China, November 16, 2014
Are deep neural networks the best choice for modeling source code?
Issues in performance modeling of applications with garbage collection
Semistructured merge: rethinking merge in revision control systems
Scaling up analogy-based software effort estimation: a comparison of multiple hadoop implementation schemes
Composable semantics for model-based notations
How to formulate specific how-to questions in software development?
ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings
A Tool for Generating Exceptional Behavior Tests With Large Language Models
Detecting non-crashing functional bugs in Android apps via deep-state differential analysis
Fireteam: a small-team development practice in industry
TIPMerge: recommending experts for integrating changes across branches
Design and validation of feature-based process model tailoring: a sample implementation of PDE
Cascading verification: an integrated method for domain-specific model checking
Software architecture - a rational metamodel
Navigating through the archipelago of refactorings
Using fault history to improve mutation reduction
Phantm: PHP analyzer for type mismatch
Demystifying the Composition and Code Reuse in Solidity Smart Contracts
Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1993, Los Angeles, California, USA, December 7-10, 1993
Toward a Formal Theory of Extensible Software
"I Would Have Written My Code Differently': Beginners Struggle to Understand LLM-Generated Code
When does my program do this? learning circumstances of software behavior
Documenting evidence of a reuse of 'what is a feature? a qualitative study of features in industrial software product lines'
Property-based testing for the robot operating system
An approach to architectural analysis and testing
ARdoc: app reviews development oriented classifier
A study of interleaving coverage criteria
Studying software descriptions in SourceForge and app stores for a better understanding of real-life requirements
iIoT ecosystem development through boundary resources: a Siemens MindSphere case study
The impact of failing, flaky, and high failure tests on the number of crash reports associated with Firefox builds
Generation of concurrency control code using discrete-event systems theory
LibComp: an IntelliJ plugin for comparing Java libraries
Goal-oriented mutation testing with focal methods
Understanding build issue resolution in practice: symptoms and fix patterns
BF-detector: an automated tool for CI build failure detection
Omen+: a precise dynamic deadlock detector for multithreaded Java libraries
Nyx: a display energy optimizer for mobile web apps
FourD: do developers discuss design? revisited
Finding broken Linux configuration specifications by statically analyzing the Kconfig language
Beyond refactoring: a framework for modular maintenance of crosscutting design idioms
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Regression testing of GUIs
Random testing of compilers' performance based on mixed static and dynamic code comparison
Could social factors influence the effort software estimation?
Evidence-based practices: broadening participation and improving learning in CS (invited talk)
What motivates software practitioners to contribute to inner source?
Comparing and combining test-suite reduction and regression test selection
Lightweight specification and analysis of dynamic systems with rich configurations
Input splitting for cloud-based static application security testing platforms
Assessing the quality of the steps to reproduce in bug reports
Directed test generation to detect loop inefficiencies
AGRippin: a novel search based testing technique for Android applications
Are iOS Apps Immune to Abusive Advertising Practices?
KUBO: a framework for automated efficacy testing of anti-virus behavioral detection with procedure-based malware emulation
Using positive tainting and syntax-aware evaluation to counter SQL injection attacks
Modeling and testing a family of surgical robots: an experience report
Reflecting on the Use of the Policy-Process-Product Theory in Empirical Software Engineering
Reassessing automatic evaluation metrics for code summarization tasks
An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk
Randomized active atomicity violation detection in concurrent programs
Automated unearthing of dangerous issue reports
Probing model signal-awareness via prediction-preserving input minimization
MutAPK 2.0: a tool for reducing mutation testing effort of Android apps
What the fork: a study of inefficient and efficient forking practices in social coding
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
Analysis of the constraint solver in UNA based test data generation
LEAP: lightweight deterministic multi-processor replay of concurrent java programs
Precise Interprocedural Chopping
Tool support for requirements formalisation
CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models
I heart hacker news: expanding qualitative research findings by analyzing social news websites
Towards an approach for resource-driven adaptation
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, FSE 2024, Porto de Galinhas, Brazil, July 15-19, 2024
Toward interactive bug reporting for (android app) end-users
The best of both worlds: integrating semantic features with expert features for defect prediction and localization
Inductive program synthesis over noisy data
Revisiting unsupervised learning for defect prediction
AlloyMC: Alloy meets model counting
The role of social interactions in value creation in agile software development processes
Building a socio-technical theory of coordination: why and how (outstanding research award)
Differential static analysis: opportunities, applications, and challenges
Enhancing Energy Efficiency with Reusable Software Ecosystems and Persona-Based UI/UX
Context modeling and constraints binding in web service business processes
Fair preprocessing: towards understanding compositional fairness of data transformers in machine learning pipeline
OwlEyes-online: a fully automated platform for detecting and localizing UI display issues
WATERFALL: an incremental approach for repairing record-replay tests of web applications
Predictive Prompt Analysis
Java Ranger: statically summarizing regions for efficient symbolic execution of Java
Dads: dynamic slicing continuously-running distributed programs with budget constraints
RaPiD: a toolkit for reliability analysis of non-deterministic systems
Automated control of multiple software goals using multiple actuators
Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 16-17, 2019
Mining sorting concept across curriculum levels: a cyclic learning based approach
Easy over hard: a case study on deep learning
Social health cues developers use when choosing open source packages
PuLSE-DSSA - a method for the development of software reference architectures
A formal verification tool for Ethereum VM bytecode
Feature trace recording
Extracting URLs from JavaScript via program analysis
The promise and perils of using machine learning when engineering software (keynote paper)
WebRanz: web page randomization for better advertisement delivery and web-bot prevention
CORMS: a GitHub and Gerrit based hybrid code reviewer recommendation approach for modern code review
Multi-line AI-Assisted Code Authoring
Are existing code smells relevant in web games? an empirical study
Group-based corpus scheduling for parallel fuzzing
Dealing with uncertainty in early software architecture
Block public access: trust safety verification of access control policies
DistXplore: Distribution-Guided Testing for Evaluating and Enhancing Deep Learning Systems
Synthesizing correct code for machine learning programs
Discovering relational specifications
Towards discovering the role of emotions in stack overflow
SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing
EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes
A machine learning based automatic folding of dynamically typed languages
A process for assessing data quality
Darwin: an approach for debugging evolving programs
Model-based dynamic software project scheduling
Component-based timed hazard analysis of self-healing systems
Can collaborative tagging improve user feedback? a case study
Effective assignment and assistance to software developers and reviewers
Model-based exploration of the frontier of behaviours for deep learning system testing
Foraging and navigations, fundamentally: developers' predictions of value and cost
Improving model-based test generation by model decomposition
Maximal multi-layer specification synthesis
Symbolic execution of programmable logic controller code
Python probabilistic type inference with natural language support
AppFlow: using machine learning to synthesize robust, reusable UI tests
Mining succinct predicated bug signatures
An end-to-end industrial software traceability tool
Codellm-Devkit: A Framework for Contextualizing Code LLMs with Program Analysis Insights
LastPyMile: identifying the discrepancy between sources and packages
When the requirements for adaptation and high integrity meet
Asynchronous programs with prioritized task-buffers
Software architecture: many faces, many places, yet a central discipline
Understanding and detecting wake lock misuses for Android applications
Reengineering Class Hierarchies Using Concept Analysis
A theory of the engagement in open source projects via summer of code programs
Easy over Hard: A Simple Baseline for Test Failures Causes Prediction
Mitigating the confounding effects of program dependences for effective fault localization
Crowd debugging
MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors
Towards Strengthening Formal Specifications with Mutation Model Checking
Software development for next generation communication networks
Proceedings of the 2nd ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering for Modern Computing Platforms, EnSEmble@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26, 2019
Modelling multi-tier enterprise applications behaviour with design of experiments technique