yusuke1997/dblp-id-title huggingface dataset:
GitHub-OSS Fixit: Fixing Bugs at Scale in a Software Engineering Course
DesignRepair: Dual-Stream Design Guideline-Aware Frontend Repair with Large Language Models
A Cognitive and Machine Learning-Based Software Development Paradigm Supported by Context
On early statistical requirements validation of cyber-physical space systems
Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries
2nd international workshop on green and sustainable software (GREENS 2013)
Knowledge-Enhanced Program Repair for Data Science Code
Using software engineering technology to improve the quality of medical processes
2010 ICSE International Workshop on Advances and Applications of Problem Orientation (WAAPO-2010)
Topic-driven testing
Understanding the Challenges in Mobile Computation Offloading to Cloud through Experimentation
Understanding Community Smells Variability: A Statistical Approach
A Software Reliability Assessment Based on a Structural and Behavioral Analysis of Programs
Adapt cases: extending use cases for adaptive systems
Can Requirements Be Creative? Experiences with an Enhanced Air Space Management System
Concepts and Implementation of a Rule-Based Process Engine
ObNet: An Object-Oriented Approach for Supporting Large, Long-Lived, Highly Configurable Systems
Rethinking Interoperability in Contemporary Software Systems
Assessing the Quality of Abstract Data Types Written in Ada
Dynamically discovering likely interface invariants
Automatic generation of cost-effective test oracles
Proceedings of the Second International Conference on Technical Debt, TechDebt@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019
An empirical study of structural defects in industrial use-cases
Audio-video recording of ad hoc software development team interactions
Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach
Bad Snakes: Understanding and Improving Python Package Index Malware Scanning
Zero-Downtime SQL Database Schema Evolution for Continuous Deployment
Structured State Space Exploration of Dash+ Models
A Middleware Improved Technology (MIT) to Mitigate Interdependencies between Critical Infrastructures
Agile Project Management: From Self-Managing Teams to Large-Scale Development
Third ICSE workshop on software product lines: economics, architectures, and implications
Where do you go when you're through the turnstile?
A software behaviour analysis framework based on the human perception systems
MetaLog: Generalizable Cross-System Anomaly Detection from Logs with Meta-Learning
Efficient Authoring of Software Documentation Using RaPiD7
Uncovering the reality within virtual software teams
JOG: Java JIT Peephole Optimizations and Tests from Patterns
Lutess: A Specification-Driven Testing Environment for Synchronous Software
Implementing Faceted Classification for Software Reuse (Experience Report)
SOA4DM: Applying an SOA Paradigm to Coordination in Humanitarian Disaster Response
On the difficulties of raising the level of abstraction and facilitating reuse in software modelling: the case for signature extension
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems
Uncovering features in kindred programs
Semantics-based code search
Formal methods for web services: a taxonomic approach
Diversity Awareness in Software Engineering Participant Research
Improving the customer configuration update process by explicitly managing software knowledge
Simulee: detecting CUDA synchronization bugs via memory-access modeling
Supporting Scientific SE Process Improvement
Lightweight formal models of software weaknesses
Detecting cross-browser issues in web applications
Toward microtask crowdsourcing software design work
Study of Distractors in Neural Models of Code
Scrum down: a software engineer and a sociologist explore the implementation of an agile method
Predicting mutation score using source code and test suite metrics
The Product Beyond the Model - An Empirical Study of Repositories of Open-Source ML Products
Documentation Tools and Techniques
Automated substring hole analysis
Towards production monitoring of application progress
Investigating the Interplay between Developers and Automation
Automated test-case generation by cloning
Towards Cyber-physical Systems as Services: The ASIP Protocol
More than Code: Contributions in Scrum Software Engineering Teams
Perceval: software project data at your will
Tutorial: mastering design patterns
Architecture knowledge management during system evolution: observations from practitioners
CCVisu: automatic visual software decomposition
Model-based analysis of Java EE web security configurations
Is essence a measure of maintainability?
The "physics" of notations: a scientific approach to designing visual notations in software engineering
Velo: riding the knowledge management wave for simulation and modeling
Mining patterns from genetic improvement experiments
Enterprise software service emulation: constructing large-scale testbeds
Query-based requirements engineering for health care information systems: Examples and prospects
Towards Continuous Delivery by Reducing the Feature Freeze Period: A Case Study
1st international workshop on release engineering (RELENG 2013)
Identifying patch correctness in test-based program repair
An integrated cost model for software reuse
Improving Test Suites via Operational Abstraction
Fourth Workshop on Refactoring Tools 2011, WRT '11, Waikiki, Honolulu, HI, USA, May 22, 2011
Is using deep learning frameworks free?: characterizing technical debt in deep learning frameworks
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries
Development, testing and maintenance of Android apps: challenges, tools, and future directions
Proceedings of the 6th International Workshop on Requirements Engineering and Testing, RET@ICSE 2019, Montreal, QC, Canada, May 28, 2019
Discovering Repetitive Code Changes in Python ML Systems
A meta-model for usable secure requirements engineering
Automated search for good coverage criteria: moving from code coverage to fault coverage through search-based software engineering
Discovering Information Explaining API Types Using Text Classification
Class imbalance evolution and verification latency in just-in-time software defect prediction
Software Engineering and Structured Programming (Abstract)
Augmenting Event-B modelling with real-time verification
Representing design tradeoffs in safety-critical systems
A holistic service provisioning solution for Federated Cloud infrastructures
Extending Existing Inference Tools to Mine Dynamic APIs
Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning
CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects
RESTler: stateful REST API fuzzing
Patch verification via multiversion interprocedural control flow graphs
How to Deal With Deviations During Process Model Enactment
Poster: Interactive and Collaborative Source Code Annotation
Evaluating Age Bias In E-commerce
Program Comprehension and Code Complexity Metrics: A Replication Package of an fMRI Study
Consistency Management for Complex Applications
Early Experiences with Euclid
Designing concurrent, distributed, and real-time applications with UML
The Evolution of Programs: Program Abstraction and Instantiation
Studies of Software Design, ICSE'93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993, Selected Papers
Exception Handling: Formal Specification and Systematic Program Construction
Smelly relations: measuring and understanding database schema quality
An empirical study of programming paradigms for animation
Software Test Automation practices in agile development environment: An industry experience report
Progressive open source
DescribeCtx: Context-Aware Description Synthesis for Sensitive Behaviors in Mobile Apps
Adaptive runtime response time control in PLC-based real-time systems using reinforcement learning
Comparing architecture description languages for mobile software systems
Model Based Process Assessments
OffSide: Learning to Identify Mistakes in Boundary Conditions
Software needs engineering: a position paper
TRW's Ada Process Model for Incremental Development of Large Software Systems
Sixth international workshop on automation of software test: (AST 2011)
Semantically enhanced tag recommendation for software CQAs via deep learning
Semi-automatic establishment and maintenance of valid traceability in automotive development processes
Search-based Diverse Sampling from Real-world Software Product Lines
Tempura: Temporal Dimension for IDEs
Synthesizing relation-aware entity transformation by examples
A B.S. degree in informatics: contextualizing software engineering education
A Graph Theoretic Approach to the Verification of Program Structures
Theory based software engineering with the SEMAT kernel: preliminary investigation and experiences
Static detection of leaks in polymorphic containers
Codifying architecture knowledge to support online evolution of software product lines
Virtual mutation analysis of relational database schemas
AnATLyzer: an advanced IDE for ATL model transformations
Lessons Learned from a Successful Collaboration Between Software Engineers and Human Interface Engineers
Architecture-Based Reliability Prediction for Service-Oriented Computing
Evosuite at the SBST 2018 tool competition
Specifying usability features with patterns and templates
Measuring Requirements Testing
Assessing AI Detectors in Identifying AI-Generated Code: Implications for Education
SLACC: simion-based language agnostic code clones
An Empirical Comparison of Pre-Trained Models of Source Code
Towards Understanding Technical Responses to Requirements Changes in Agile Teams
Using semantic templates to study vulnerabilities recorded in large software repositories
Engaging software estimation education using LEGOs: a case study
Strategy for continuous testing in iDevOps
Skill-based engineering in industrial automation domain: skills modeling and orchestration
Research Opportunities in Continuous Delivery: Reflections from Two Years' Experiences in a Large Bookmaking Company
Suggesting natural method names to check name consistencies
Characterizing Architecture Description Languages for Software-Intensive Systems-of-Systems
Refactoring operations Grounded in manual code changes
A container-based infrastructure for fuzzy-driven root causing of flaky tests
From Expectation to Habit: Why do Software Practitioners Adopt Fairness Toolkits?
A Structured Approach to Accessibility in Software Development Lifecycle
Tensor-Aware Energy Accounting
What good are strong specifications?
Codeflaws: a programming competition benchmark for evaluating automated program repair tools
Hipikat: Recommending Pertinent Software Development Artifacts
How do professionals perceive legacy systems and software modernization?
Simulation-based Testing of Unmanned Aerial Vehicles with Aerialist
Studios in software engineering education: towards an evaluable model
Supporting the acquisition of programming skills with program construction patterns
Role-based trust management security policy analysis and correction environment (RT-SPACE)
Cross-checking oracles from intrinsic software redundancy
Measurement of exception-handling code: an exploratory study
A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code
Better Modeling the Programming World with Code Concept Graphs-augmented Multi-modal Learning
Information foraging as a foundation for code navigation
Safety of component-based systems: analysis and improvement using Fujaba4Eclipse
Building security requirements with CLASP
47th IEEE/ACM International Conference on Software Engineering, ICSE 2025 - Companion Proceedings, Ottawa, ON, Canada, April 27 - May 3, 2025
Cooperation wordle using pre-attentive processing techniques
Modeling and requirements on the physical side of cyber-physical systems
Experience applying the SPIN model checker to an industrial telecommunications system
Micro-scale Concolic Testing Framework for Automated Test Data Generation Based on Path Coverage
Is my project's truck factor low?: theoretical and empirical considerations about the truck factor threshold
A Blockchain Oriented Software Application in the Revised Payments Service Directive context
Requirements models for design- and runtime: a position paper
Third International Workshop on Economics-Driven Software Engineering Research
MSABot: A Chatbot Framework for Assisting in the Development and Operation of Microservice-Based Systems
On the Role of Value Sensitive Concerns in Software Engineering Practice
Design, specification, and verification of interactive systems (workshop session)
Towards a practical process model for anomaly detection systems
Automating systematic mappings, adding quality to quantity: poster
Grammar-Based Evolutionary Fuzzing for JSON-RPC APIs
Anger and Its Direction in Collaborative Software Development
Why do newcomers abandon open source software projects?
A Conceptual Programming Environment
SBST in the age of machine learning systems: challenges ahead
Issues in the Design of Flexible and Dynamic Service-Oriented Systems
CHASE: checklist to assess user experience in IoT environments
Slicing Object-Oriented Software
The Impact of Mesa on System Design
CodeCatch: Extracting Source Code Snippets from Online Sources
Release synchronization in software ecosystems
On-demand test suite reduction
Read It, Don't Watch It: Captioning Bug Recordings Automatically
Program Visualization: The Art of Mapping Programs to Pictures
Analytical and Empirical Evaluation of Software Reuse Metrics
Software engineering education: a roadmap
Do agile GSD experience reports help the practitioner?
Does organizing security patterns focus architectural choices?
Attack pattern-based combinatorial testing
The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology
Architecture, Design, Implementation
The past, present and future of technical debt: learning from the past to prepare for the future
Supporting service composition and real-time execution throught characterization of QoS properties
Duetcs: Code Style Transfer through Generation and Retrieval
Engineering adaptive privacy: on the role of privacy awareness requirements
Simulation-based abstractions for software product-line model checking
1st IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB@ICSE 2018, Gothenburg, Sweden, May 27 - June 3, 2018
Doing Remote Controlled Studies with Humans: Tales from the COVID Trenches
Integrating technical debt management and software quality management processes: a framework and field tests
Formal Software Analysis Emerging Trends in Software Model Checking
Adaptation Hiding Modularity for Self-Adaptive Systems
FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV
Using invariant relations in the termination analysis of while loops
To Disengage or Not to Disengage: A Look at Contributor Disengagement in Open Source Software
Analysis of multi-agent systems based on KAOS modeling
Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage
Large Language Models for Safe Minimization
Increasing usability of preprocessing for feature management in product lines with queries
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003
With registered reports towards large scale data curation
Achieving accuracy and scalability simultaneously in detecting application clones on Android markets
Ownership and Immutability Inference for UML-Based Object Access Control
Linking usage tutorials into API client code
Goal models as architectural knowledge
Engineering the software of robotic systems
Perspectives of delegation in team-based distributed software development over the GENI infrastructure
EvalDNN: a toolbox for evaluating deep neural network models
TouchDevelop: create rich mobile apps on touch devices (tutorial)
EvoSuite at the SBST 2020 Tool Competition
Use of JiTT in a graduate software testing course: an experience report
Addressing the double challenge of learning and teaching enterprise technologies through peer teaching
Towards Formal Repair and Verification of Industry-scale Deep Neural Networks
Requirements traceability to support evolution of access control
Carrot and Stick approaches revisited when managing Technical Debt in an educational context
Software Engineering and Artificial Intelligence
Domain Adaptation for Test Report Classification in Crowdsourced Testing
An Empirical Study on Quality Issues of eBay's Big Data SQL Analytics Platform
Teaching human aspects of software engineering
QR-Model Based Testing
Research Tools, Survey Responses, and Interview Analysis from a Case Study of Onboarding Software Teams at Microsoft
Handling New and Changing Requirements with Guarantees in Self-Adaptive Systems Using SimCA
Scalable Relational Analysis via Relational Bound Propagation
Detecting inefficient API usage
Sextant: A tool to specify and visualize software metrics for Java source-code
Concrete error handling mechanisms should be configurable
Software Requirements Patterns - A State of the Art and the Practice
Towards formal specification and verification of a role-based authorization engine using JML
Challenges in automotive software engineering
PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method
Cleaning up the mess: a formal framework for autonomously reverting BDI agent actions
A generic methodology to derive domain-specific performance feedback for developers
45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, NIER@ICSE, Melbourne, Australia, May 14-20, 2023
Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX
Towards a method for creating personas with knowledge and cognitive process for user centered design of a learning application
Cost-based prevention of violations of service level agreements in composed services using self-adaptation
Mutation Testing of Quantum Programs Written in QISKit
Social Factors Relevant to Capturing Design Decisions
Evaluating Object-Oriented Designs with Link Analysis
How Does 3D Visualization Work in Software Engineering? : Empirical Study of a 3D Version/Module Visualization System
Using Architectural Properties to Model and Measure Graceful Degradation
$\mu AFL$: Non-intrusive Feedback-driven Fuzzing for Microcontroller Firmware
Architectural dependency analysis to understand rework costs for safety-critical systems
On software odysseys and how to prevent them
Sound Methods and Effective Tools for Engineering Modeling and Analysis
An empirical examination of abstract test case prioritization techniques
Authentic individual assessment for team-based software engineering projects
Symbolic model extraction for web application verification
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, SEAMS 2006, Shanghai, China, May 21-22, 2006
A case study of post-deployment user feedback triage
COmmitSHield: Tracking Vulnerability Introduction and Fix in Version Control Systems
IEEE/ACM International Workshop New Trends in Software Architecture, SATrends@ICSE 2024, Lisbon, Portugal, April 14, 2024
Software economics: a roadmap
Large-scale patch recommendation at Alibaba
47th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE 2025 - NIER, Ottawa, ON, Canada, April 27 - May 3, 2025
Ask the Engineers: Exploring Repertory Grids and Personal Constructs for Software Data Analysis
Enron versus EUSES: A Comparison of Two Spreadsheet Corpora
Unraveling the Drivers of Sense of Belonging in Software Delivery Teams: Insights from a Large-Scale Survey
Towards characterizing adversarial defects of deep learning software from the lens of uncertainty
Multifaceted Distributed Systems Specification Using Processes and Event Synchronization
An object-oriented bridge among architectural styles, aspects and frameworks
A pro-active and dynamic prediction assistance using BaranC framework
Practical Language-Based Editing for Software Engineers
MuAlloy: a mutation testing framework for alloy
Requirements Engineering so Things Don't Get Ugly
SCRUMI: a board serious virtual game for teaching the SCRUM framework
Using fine-grained code change metrics to simulate software evolution
Dynamic update of business process management
Smartphones as Personal Profile Providers: Enhancing Mobile App Architectures
Rethinking the Mobile Code Offloading Paradigm: From Concept to Practice
SECRET: Towards Scalable and Efficient Code Retrieval via Segmented Deep Hashing
CIDER: Concept-based Interactive Design Recovery
Designing Distributed Applications with Mobile Code Paradigms
Can software engineering students program defect-free?: an educational approach
Developing Quality through Measuring Usability-The UTUM Test Package
A scalable Monte-Carlo test-case generation tool for large and complex simulink models
Cleanroom Software Engineering for Zero-Defect Software
Fuzzy edit sequences in genetic improvement
An empirical characterization of scientific software development projects according to the Boehm and Turner model: A progress report
Improving impact of self-adaptation and self-management research through evaluation methodology
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Waikiki, Honolulu, HI, USA, May 28, 2011
Exploring impacts of managerial decisions and community composition on the open source projects' health
Mapping architectural decay instances to dependency models
Global Software Engineering: The Future of Socio-technical Coordination
A Decision-Based Configuration Process Model
Storing and Retrieving Software Components: A Refinement Based System
A Perspective on Software Development
A Flexible Approach to Decentralized Software Evolution
STRADA: A Tool for Scenario-Based Feature-to-Code Trace Detection and Analysis
Expert Monitoring: Human-Centered Concept Drift Detection in Machine Learning Operations
Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving
Abstract Syntax from Concrete Syntax
On the Interplay of Business Process Modeling and Missions in Systems-of-Information Systems
Towards a catalog of Object-Oriented Software Maintainability metrics
Model-level simulation for COLA
Fine-SE: Integrating Semantic Features and Expert Features for Software Effort Estimation
Continuous delivery of personalized assessment and feedback in agile software engineering projects
Redesigning legacy applications for the web with UWAT+: a case study
A Multi-Dimensional Visual Analytics Tool for the Security Posture of Open-Source Software
Hunting for bugs in code coverage tools via randomized differential testing
Configurations everywhere: implications for testing and debugging in practice
Improving design and source code modularity using AspectJ (tutorial session)
Model-driven and domain-specific architectural knowledge view for compliance meta-data in process-driven SOAs
1st IEEE/ACM International Workshop on Software Engineering for High Performance Computing in Science, SE4HPCS 2015, Florence, Italy, May 18, 2015
Building a theory of job rotation in software engineering from an instrumental case study
Awareness and Perception of Agile in Saudi Software Industry
Automatically hardening a self-adaptive system against uncertainty
Teaching collaborative software development: A case study
On Sufficiency of Mutants
Dictionary learning based software defect prediction
Traceability research: taking the next steps
Soft theory: a pragmatic alternative to conduct quantitative empirical studies
MODAM: A modular agent-based modelling framework
OSIRIS-SR: A Safety Ring for self-healing distributed composite service execution
Scaling agile methods to regulated environments: an industry case study
NL2Type: inferring JavaScript function types from natural language information
Toward a care process metamodel: for business intelligence healthcare monitoring solutions
Ekstazi: Lightweight Test Selection
Conducting empirical studies in industry: balancing rigor and relevance