yusuke1997/dblp-id-title huggingface dataset:
Widening The Adoption of Web API Fuzzing: Docker, GitHub Action and Python Support for EvoMaster
Enhancing Learning and Mitigating AI-Assisted Misconduct: A Case of Using Video Assignments in a High-Enrollment Software Engineering Course
Climate change: a grand software challenge
Are mutants a valid substitute for real faults in software testing?
An architectural style of product lines for distributed processing systems, and practical selection method
Querying sequential software engineering data
Total recall, language processing, and software engineering
Mining Resource-Operation Knowledge to Support Resource Leak Detection
Next generation automated software evolution refactoring at scale
File-level vs. module-level regression test selection for .NET
PCA: memory leak detection using partial call-path analysis
Understanding Git history: a multi-sense view
ASketch: a sketching framework for Alloy
A component-based specification approach for embedded systems using FDTs
Generating query-specific class API summaries
Past-sensitive pointer analysis for symbolic execution
The 4th international workshop on social software engineering (SSE'11)
Specification-based Testing of Synchronous Software
Reducing the workload of the Linux kernel maintainers: multiple-committer model
An Experiment to Assess the Cost-Benefits of Code Inspections in Large Scale Software Development
MCBAT: a practical tool for model counting constraints on bounded integer arrays
Trade-offs in continuous integration: assurance, security, and flexibility
Polymer: Development Workflows as Software
The Impact of Multi-Peer Feedback Summary Organization on Review and Implementation of Feedback
Ten years with evidence-based software engineering. What is it? Has it had any impact? What's next?
DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers
Predicting pull request completion time: a case study on large scale cloud services
Automatically diagnosing and repairing error handling bugs in C
Learning-based extraction of first-order logic representations of API directives
Detecting JavaScript races that matter
T2API: synthesizing API code usage templates from English texts with statistical translation
Domain specific approaches to software test automation
Deep learning library testing via effective model generation
End-to-end memory behavior profiling with DINAMITE
Insights into the Generalizability and Robustness of AI-Driven Code Comment Generation: A Replication Study
Parameterized unit tests with unit meister
Composition and tradeoff of non-functional attributes in software systems: research directions
Automated change impact analysis between SysML models of requirements and design
Reproducing concurrency failures from crash stacks
From Models to Practice: Enhancing OSS Project Sustainability with Evidence-Based Advice
An Empirical Study of Code Search in Intelligent Coding Assistant: Perceptions, Expectations, and Directions
Vista: web test repair using computer vision
Bespoke tools: adapted to the concepts developers know
Control theory meets software engineering: the holonic perspective
AgileCtrl: a self-adaptive framework for configuration tuning
Synthesis of live behaviour models
Exposing the Achilles' Heel: Black-box Reverse Engineering of Commercial LLM Plugins' Hidden Prompts
Assessing the fault-detecting ability of testing methods
Singling the odd ones out: a novelty detection approach to find defects in infrastructure-as-code
Effectiveness of code contribution: from patch-based to pull-request-based tools
Building forensics in: supporting the investigation of digital criminal activities (invited talk)
LSPAI: An IDE Plugin for LLM-Powered Multi-Language Unit Test Generation with Language Server Protocol
Agile principles applied in learning contexts
Improving trace accuracy through data-driven configuration and composition of tracing features
Enhancing Motivation in Software Engineering Education through Gamified Agile Project-based Learning
Online testing with model programs
Towards learning visual semantics
Scalable analysis of variable software
Symbolic Execution Based Automatic Performance Optimization for MPI Programs
Modularized exception handling
Utilizing verification and validation certificates to estimate software defect density
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems
Beyond accuracy: assessing software documentation quality
Development and maintenance efforts testing graphical user interfaces: a comparison
Automated and Context-Aware Repair of Color-Related Accessibility Issues for Android Apps
An empirical study on the utility of formal routines to transfer knowledge and experience
A simple description language for dynamic architectures
Student misconceptions about finite state machines: identify them in order to create a concept inventory
LitmusKt: Concurrency Stress Testing for Kotlin
Relevancy based semantic interoperation of reuse repositories
Component revision identification based on IDL/ADL component specification
A proactive approach for runtime self-adaptation based on queueing network fluid analysis
Extending equivalence transformation based program generator for random testing of C compilers
Engaging children in the smart city: a participatory design workshop
Recalling the "imprecision" of cross-project defect prediction
Tool support for UML-based specification and verification of role-based access control properties
Increasing client-side confidence in remote component implementations
Semantic bug seeding: a learning-based approach for creating realistic bugs
Hazard analysis for human-on-the-loop interactions in sUAS systems
Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing
Constraint-based event trace reduction
Generating realistic vulnerabilities via neural code editing: an empirical study
A test model for graph database applications: an MDA-based approach
Termination proofs from tests
Methodology and Guidelines for Evaluating Multi-objective Search-Based Software Engineering
Verifying the forecast: how climate models are developed and tested (invited talk)
Predicting Software Changes from Desired Behavior Changes
Verifying the long-run behavior of probabilistic system models in the presence of uncertainty
On impact-oriented automatic resolution of pervasive context inconsistency
Known unknowns: testing in the presence of uncertainty
A recommendation system for emergency mobile applications using context attributes: REMAC
DLFuzz: differential fuzzing testing of deep learning systems
Modeling Quantum programs: challenges, initial results, and research directions
BiasAsker: Measuring the Bias in Conversational AI System
Policy-enforced linking of untrusted components
Towards Adaptive Software Agents for Debugging
The good, the bad, and the ugly: mining for patterns in student source code
Evolving with patterns: a 31-month startup experience report
The case for experiment-oriented computing
Neural termination analysis
This is your cue! assisting search behaviour with resource style properties
Harvey: a greybox fuzzer for smart contracts
Mitigating (and exploiting) test reduction slippage
Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation, MaLTeSQuE@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 27, 2019
Tritor: Detecting Semantic Code Clones by Building Social Network-Based Triads Model
Characterizing the transition to Kotlin of Android apps: a study on F-Droid, Play Store, and GitHub
Towards a taxonomy of architecture integration strategies
Modeling and validation of service-oriented architectures: application vs. style
Issue Report Validation in an Industrial Context
Supporting Early Architectural Decision-Making through Tradeoff Analysis: A Study with Volvo Cars
BinPool: A Dataset of Vulnerabilities for Binary Security Analysis
The massification and webification of systems' modeling and simulation with virtual worlds
Mechanisms for Generic Process Support
On-Line Change Mechanisms
Accurate method and variable tracking in commit history
The perils of reconstructing architectures
Software reliability analysis considering the variation of testing-effort and change-point
A New Model of Program Dependences for Reverse Engineering
Te-PID: An Adaptive Erasure Coding Temperature Management System for Optimized Cloud Storage
Phoenix: automated data-driven synthesis of repairs for static analysis violations
Reducing cost in continuous integration with a collection of build selection approaches
ARCC: assistant for repetitive code comprehension
Building and Sustaining Ethnically, Racially, and Gender Diverse Software Engineering Teams: A Study at Google
Mimic: computing models for opaque code
Reaching the masses: a new subdiscipline of app programmer education
Hospitality of chatbot building platforms
Inherent vacuity for GR(1) specifications
Classifying non-functional requirements using RNN variants for quality software development
Discovering refactoring opportunities in cascading style sheets
MZoltar: automatic debugging of Android applications
Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses
Does learning by doing have a positive impact on teaching model checking?
Triggered message sequence charts
Infiltrating security into development: exploring the world's largest software security study
SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications
Lifecycle energy assessment of mobile applications
On decomposing a deep neural network into modules
AI in Software Engineering: Perceived Roles and Their Impact on Adoption
User- and analysis-driven context aware software development in mobile computing
Bayesian specification learning for finding API usage errors
Focus-shifting patterns of OSS developers and their congruence with call graphs
Integrating usage monitoring for continuous evaluation and testing in the UI of an industry application
Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software, APEQS@ESEC/SIGSOFT FSE 2021, Virtual Event, USA, November 13, 2020
Better Android apps using Android vitals
Detecting increases in feature coupling using regression tests
Security code smells in apps: are we getting better?
Thinking aloud about confusing code: a qualitative investigation of program comprehension and atoms of confusion
Automatically describing software faults
Diagnose crashing faults on production software
Tuning backfired? not (always) your fault: understanding and detecting configuration-related performance bugs
Teamwork Quality in Agile Capstone Courses: Insights from 790 Software Engineering Students
LicenseGPT: A Fine-tuned Foundation Model for Publicly Available Dataset License Compliance
Automated Support for Seamless Interoperability in Polylingual Software Systems
Project-specific deletion patterns
Onion: identifying incident-indicating logs for cloud systems
Toward LLM-Driven GDPR Compliance Checking for Android Apps
Managing interference
Liveness Conditions in Model-Based Service Specifications: A Case Study
Identifying bad software changes via multimodal anomaly detection for online service systems
Titanium: efficient analysis of evolving alloy specifications
Secure systems development based on the common criteria: the PalME project
Practical change impact analysis based on static program slicing for industrial software systems
Tests4Py: A Benchmark for System Testing
Why haven't we automated programming
Characterizing reusability of end-user web macro scripts
A new business model of custom software development for agile software development
Speeding up the data extraction of machine learning approaches: a distributed framework
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications
Staged concurrent program analysis
BugCache for inspections: hit or miss?
tsDetect: an open source test smells detection tool
State Abstraction and Modular Software Development
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007
Enhancing Game AI Behaviors with Large Language Models and Agentic AI
Jalangi: a selective record-replay and dynamic analysis framework for JavaScript
Compositional failure-based semantic equivalences for Reo specifications
AgraBOT: Accelerating Third-Party Security Risk Management in Enterprise Setting through Generative AI
Automatic performance testing using input-sensitive profiling
Combinatorial generation of structurally complex test inputs for commercial software applications
Assisting the elite-driven open source development through activity data
On-the-fly syntax highlighting using neural networks
Leveraging test plan quality to improve code review efficacy
Applications of psychological science for actionable analytics
Rethinking Regex engines to address ReDoS
The usability problem for home appliances: engineers caused it, engineers can fix it!
Composition of software architectures from reusable architecture patterns
Discovering repetitive code changes in ML systems
ECHO: instantaneous in situ race detection in the IDE
Visualizing code and coverage changes for code review
Bit level types for high level reasoning
An Empirical Study on the Impact of Gender Diversity on Code Quality in AI Systems
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned
N-way model merging
Improving cybersecurity hygiene through JIT patching
A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications
Clone-based and interactive recommendation for modifying pasted code
A foundation for refactoring C with macros
WREN---an environment for component-based development
A type system for object models
Semantics for the architecture interchange language, ACME
Consistency management for multiple perspective software development
On exceptions and the software development life cycle
Strong higher order mutation-based test data generation
The mashware challenge: bridging the gap between web development and software engineering
Human-centric software engineering
eGEN: an energy-saving modeling language and code generator for location-sensing of mobile apps
Complementing global and local contexts in representing API descriptions to improve API retrieval tasks
Deadlock detection in distribution object systems
How Dance(Sport) can help to produce better software
Discrepancies among pre-trained deep neural networks: a new threat to model zoo reliability
RARE: a labeled dataset for cloud-native memory anomalies
Specification and verification of component-based systems 2007
Fragility of layout-based and visual GUI test scripts: an assessment study on a hybrid mobile application
Test case purification for improving fault localization
Contextual Predictive Mutation Testing
The rising tide lifts all boats: the advancement of science in cyber security (invited talk)
On using machine learning to identify knowledge in API reference documentation
Summarizing software engineering communication artifacts from different sources
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties
It's Organic: Software Testing of Emerging Domains (Keynote)
Software Measure Specification
Designing minimal effective normative systems with the help of lightweight formal methods
Evaluating Social Bias in Code Generation Models
Matching Skills, Past Collaboration, and Limited Competition: Modeling When Open-Source Projects Attract Contributors
Natural language querying in SAP-ERP platform
Eliminating redundancies with a "composition with adaptation" meta-programming technique
Avgust: automating usage-based test generation from videos of app executions
An integrated verification environment for JML: architecture and early results
Boosting coverage-based fault localization via graph-based representation learning
X-Lifecycle Learning for Cloud Incident Management using LLMs
Tracking GPTs Third Party Service: Automation, Analysis, and Insights
Code integrity attestation for PLCs using black box neural network predictions
Diagnosis service for embedded software component based systems
AdaptivePaste: Intelligent Copy-Paste in IDE
Accelerating JavaScript static analysis via dynamic shortcuts
Feature model extraction from large collections of informal product descriptions
Unveil the Mystery of Critical Software Vulnerabilities
Improving understanding of dynamically typed software developed by agile practitioners
Integrating active information delivery and reuse repository systems
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps
Whitening SOA testing
Correctness witnesses: exchanging verification results between verifiers
Practical AJAX race detection for JavaScript web applications
Abstract flow learning for web application test generation
Detecting Code Comment Inconsistencies using LLM and Program Analysis
Authorship attribution of source code: a language-agnostic approach and applicability in software engineering
CCT5: A Code-Change-Oriented Pre-trained Model
A segmented memory model for symbolic execution
CrossASR++: a modular differential testing framework for automatic speech recognition
AutoTSG: learning and synthesis for incident troubleshooting
Evaluating the Accuracy of Software Energy Consumption Models for Java Applications at Process and Transaction Levels
Explaining and debugging pathological program behavior
Parameterized unit tests
Operationalizing human values in software: a research roadmap
Multi viewpoint analysis in requirements process
Achievement unlocked: a case study on gamifying DevOps practices in industry
Towards an approach for developing and testing Node-RED IoT systems
Interactive analysis of large code bases (invited talk)
An analysis of developers' tasks using low-level, automatically collected data
Domain-independent interprocedural program analysis using block-abstraction memoization
Collaborative economy for testing cost reduction on Android ecosystem
Reference architectures and Scrum: friends or foes?
Efficient static checking of library updates
Research toward an engineering discipline for software
Parallel data race detection for task parallel programs with locks
Visual web test repair
PredSym: estimating software testing budget for a bug-free release
Dione: an integrated measurement and defect prediction solution
Bogor: an extensible and highly-modular software model checking framework
A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing
REDACT: preventing database deadlocks from application-based transactions
Using Object-Oriented Typing to Support Architectural Design in the C2 Style
iTrace: enabling eye tracking on software artifacts within the IDE to support software engineering tasks
From Overload to Insight: Bridging Code Search and Code Review with LLMs
Detecting energy bugs and hotspots in mobile apps
Packaging and prioritizing software engineering research to maximize industry impact
API-Knowledge Aware Search-Based Software Testing: Where, What, and How
Selecting test inputs for DNNs using differential testing with subspecialized model instances
Developer fluency: achieving true mastery in software projects
State Merging with Quantifiers in Symbolic Execution
Generative AI Detection of Document Incompleteness, Inconsistencies, and Discrepancies
A qualitative study of cleaning in Jupyter notebooks
Not all classes are created equal: toward a recommendation system for focusing testing
INFAR: insight extraction from app reviews
Multi-objectivizing software configuration tuning
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems
RiTHM: a tool for enabling time-triggered runtime verification for C programs
Requirements-based product line engineering
Assessing software projects: tools for business owners
CLAPP: characterizing loops in Android applications
EasyWinWin: a groupware-supported methodology for requirements negotiation
The Impact of Generative AI on Test & Evaluation: Challenges and Opportunities
Finding failure-inducing changes in java programs using change classification
AUGER: automatically generating review comments with pre-training models
Multilingual Code Co-evolution using Large Language Models
Experience in using a process language to define scientific workflow and generate dataset provenance
Borrowing your enemy's arrows: the case of code reuse in Android via direct inter-app code invocation
Blackbox adversarial attacks and explanations for automatic speech recognition
Program Generalization for Software Reuse: From C to C++
Online shared memory dependence reduction via bisectional coordination
Mitigating security attacks in kubernetes manifests for security best practices violation
NMTSloth: understanding and testing efficiency degradation of neural machine translation systems
Responsive designs in a snap
One size does not fit all: an empirical study of containerized continuous deployment workflows
Towards predictive models of technology impact on software design productivity
A preliminary study on the adequacy of static analysis warnings with respect to code smell prediction
Variability points and design pattern usage in architectural tactics
Natural language processing (NLP) applied on issue trackers
VC generation for functional behavior and non-interference of iterators
Efficient checkpointing of java software using context-sensitive capture and replay
Helping developers search and locate task-relevant information in natural language documents
Preparing next generation of software engineers for future societal challenges and opportunities
Recommending stack overflow posts for fixing runtime exceptions using failure scenario matching
Correct or usable? the limits of traditional verification (impact paper award)
DeepSoft: a vision for a deep model of software
Continuous variable-specific resolutions of feature interactions
Towards Feature-Based Analysis of the Machine Learning Development Lifecycle
Analyzing source code for automated design pattern recommendation
Modeling and verification of evolving cyber-physical spaces
Revealing the complexity of automotive software
Monitoring the monitor: an approach towards trustworthiness in service oriented architecture
FlexJava: language support for safe and modular approximate programming
Summarizing application performance from a components perspective
Explaining inconsistent code
Generic sensitivity: customizing context-sensitive pointer analysis for generics
Conditional model checking: a technique to pass information between verifiers
Elements of software ecosystem early-stage design for collective intelligence systems
Sangrahaka: a tool for annotating and querying knowledge graphs
Who is going to mentor newcomers in open source projects?
Java reflection API: revealing the dark side of the mirror
SafeSlice: a model slicing and design safety inspection tool for SysML
Incorporating Multiple Self-Adaptive Agents in Games
A large-scale empirical study of compiler errors in continuous integration
A replication of 'DeepBugs: a learning approach to name-based bug detection'
Generalized observational slicing for tree-represented modelling languages
Robotics software engineering: a perspective from the service robotics domain
Multi-phase invariant synthesis
Test Case Generation by Means of Learning Techniques
Retrofitting concurrency for Android applications through refactoring
Software product lines structuring based upon market demands
Data-driven accessibility repair revisited: on the effectiveness of generating labels for icons in Android apps
Towards data-driven vulnerability prediction for requirements
Using an SMT solver for interactive requirements prioritization
JML-based verification of liveness properties on a class in isolation
Verification of Communication Protocols Using Data Flow Analysis
Training on errors experiment to detect fault-prone software modules by spam filter
Automatic test suite evolution
Experiences in Improving Risk Management Processes Using the Concepts of the Riskit Method