yusuke1997/dblp-id-title huggingface dataset:
Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, Philadelphia, PA, USA]
A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization
Teaching Software Development for Real-World Problems using a Microservice-Based Collaborative Problem-Solving Approach
Bridging the Gaps II: Bridging the Gaps between Software Engineering and Human-Computer Interaction
Deciding What to Design: Closing a Gap in Software Engineering Education
Using Focus to Personalise Learning and Feedback in Software Engineering Education
gazel: Supporting Source Code Edits in Eye-Tracking Studies
CodeWeb: Data Mining Library Reuse Patterns
Opportunistic programming: how rapid ideation and prototyping occur in practice
ARCLIN: Automated API Mention Resolution for Unformatted Texts
Automatically predicting bug severity early in the development process
An Empirical Investigation of Personality Traits of Software Testers
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification
Text Understanding for Programming in Natural Language: Control Structures
Model-Based Software Design and Adaptation
Data Flow Analysis for Checking Properties of Concurrent Java Programs
SATD detector: a text-mining-based self-admitted technical debt detection tool
VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification
Learning to synthesize
Towards a cloud performance research repository
Category Partition Method and Satisfiability Modulo Theories for test case generation
Error-Based Validation Completeness
Discrimination, Misogyny and Harassment: Examples from OSS : Content Analysis of Women-focused Online Discussion Forums
Reusable self-adaptation through bidirectional programming
Recovering Traceability Links between Release Notes and Related Software Artifacts
Architecture-Level Requirements Specification
A novel shared memory framework for distributed deep learning in high-performance computing architecture
Proceedings of the 12th International Conference on Software Engineering, Nice, France, March 26-30, 1990
Detection and repair of architectural inconsistencies in Java
Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013, San Francisco, California, USA, May 18-19, 2013
Persona-based Assessment of Software Engineering Student Research Projects: An Experience Report
Experiments on quality evaluation of embedded software in Japan robot software design contest
Efficient Decentralized Monitoring of Safety in Distributed Systems
Integrated TaaS platform for mobile development: Architecture solutions
Mathematics-Based Software Engineering for Completely Validated Software
Towards optimal concolic testing
A framework for a programmer's minion
Reforming Assessment: Challenges Beyond Design
Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective
Monitoring multi-tier clustered systems with invariant metric relationships
On extracting unit tests from interactive live programming sessions
A methodology to support software release decisions
Enriching Capstone Project-Based Learning Experiences Using a Crowdsourcing Recommender Engine
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
Integrating automatic backward error recovery in asynchronous rich clients
Finding relationships between socio-technical aspects and personality traits by mining developer e-mails
Aegis: Attribution of Control Plane Change Impact across Layers and Components for Cloud Systems
Enhanced playback of automated service emulation models using entropy analysis
Replication Package for Representation of Developer Expertise in Open Source Software
Programmable and Semantic Connector for DNN Component Integration: a Software Engineering Perspective
PROMOpedia: a web-content management-based encyclopedia of software property models
Performance Evaluation and Prediction for Legacy Information Systems
A framework for global collaboration in teaching software engineering
On gamifying an existing healthcare system: method, conceptual model and evaluation
On Software Engineering Tools: Past, Present and Future
FlashMob: distributed adaptive self-assembly
2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2009, Vancouver, BC, Canada, May 18-19, 2009
Manipulating Recovered Software Architecture Views
Towards the detection of partial feature interactions
1st international workshop on data analysis patterns in software engineering (DAPSE 2013)
An empirical analysis of team review approaches for teaching quality software development
SIT: An Accurate, Compliant SBOM Generator with Incremental Construction
Team effectiveness in software development: Human and cooperative aspects in team effectiveness models and priorities for future studies
Quantitative assessment with using ticket driven development for teaching scrum framework
Draw a Software Engineer Test - An Investigation into Children's Perceptions of Software Engineering Profession
User requirements for gamifying sports software
Exploring the Role of Creativity in Software Engineering
Code Cloning in Solidity Smart Contracts: Prevalence, Evolution, and Impact on Development
Software architecture and task plan co-adaptation for mobile service robots
Roles and impacts of hands-on software architects in five industrial case studies
Systems thinking as a resource for supporting accountability in system-of-information-systems: exploring a Brazilian school case
WEAVE: WEb Applications Validation Environment
Proceedings of the 2010 ICSE Workshop on Software Development Governance, SDG '10, Cape Town, South Africa, May 8, 2010
GRAIL: Checking Transaction Isolation Violations with Graph Queries
Toward a Holistic Software Systems Engineering Approach for Dependable Autonomous Systems
Revisiting modal interface automata
Refactoring Java programs for flexible locking
Comprehending module dependencies and sharing
Multi-step Automated Generation of Parameter Docstrings in Python: An Exploratory Study
What good is bayesian data analysis for software engineering?
A Quantitative Comparison of Coverage-Based Greybox Fuzzers
Co-Creation in Fully Remote Software Teams
VISUFLOW: a debugging environment for static analyses
1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May 20, 2013
Engineering software assemblies for participatory democracy: the participatory budgeting use case
What's bothering developers in code review?
Hazard-based selection of test cases
Who leads our future leaders?: on the rising relevance of social competence in software development
Software Security: Squaring the Circle?
Runtime monitoring of component changes with Spy@Runtime
AcmeStudio: Supporting Style-Centered Architecture Development
Silent Vulnerable Dependency Alert Prediction with Vulnerability Key Aspect Explanation
Deciphering the story of software development through frequent pattern mining
Refactoring-Does It Improve Software Quality?
A Dependable Open Platform for Industrial Robotics - A Case Study
LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems
OpenAffect API: A Proposal for Enabling an Ecosystem of Emotion Awareness Tools
Software development governance (SDG)
Visibility of control in adaptive systems
The cloudification perspectives of search-based software testing
International ICSE Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2009, 18-19 May 2009, Vancouver, BC, Canada
Why are industrial agile teams using metrics and how do they use them?
TestMEReq: generating abstract tests for requirements validation
A bidirectional model-driven spreadsheet environment
Modelling and code generation for real-time embedded systems with UML-RT and papyrus-RT
Recurring bug fixes in object-oriented programs
Improving quality, one process change at a time
Your Fix Is My Exploit: Enabling Comprehensive DL Library API Fuzzing with Large Language Models
APER: Evolution-Aware Runtime Permission Misuse Detection for Android Apps
Using dynamic analysis to discover polynomial and array invariants
Failure modelling in software architecture design for safety
Stop Pulling my Rug: Exposing Rug Pull Risks in Crypto Token to Investors
An evaluation of the internal quality of business applications: does size matter?
Improving Assessment of Programming Pattern Knowledge through Code Editing and Revision
Decisions as a service for application centric real time analytics
Knowledge management in practice: The case of agile software development
CHASE 2017 Workshop Summary
Hybrid regression test selection
When the testing gets tough, the tough get ElasTest
Grid Small and Large: Distributed Systems and Global Communities
Specification and Verification of an Object Request Broker
Using developer conversations to resolve uncertainty in software development: a position paper
Transforming Workflow Models into Automated End-to-End Acceptance Test Cases
Binary instrumentation support for measuring performance in OpenMP programs
A Comparison of Data Flow Path Selection Criteria
Towards understanding emotional response to requirements changes in agile teams
The Holy Grail of Quantum Artificial Intelligence: Major Challenges in Accelerating the Machine Learning Pipeline
Tailoring programs for static analysis via program transformation
SWORD: a scalable whole program race detector for Java
How much authenticity can be achieved in software engineering project based courses?
Detection of Duplicate Defect Reports Using Natural Language Processing
PECAN: Program Development Systems That Support Multiple Views
An Environmental Simulator for the FDNY Computer Aided Dispatch System
Looking for Lacunae in Bitcoin Core's Fuzzing Efforts
Anti-Patterns (Smells) in Temporal Specifications
Conspectus of Software Engineering Environments
X-PERT: accurate identification of cross-browser issues in web applications
Patch Synthesis for Property Repair of Deep Neural Networks
Towards the principled design of software engineering diagrams
Automatic discovery of API-level exploits
DeepArc: Modularizing Neural Networks for the Model Maintenance
Testing and continuous integration at scale: limits, costs, and expectations
A Catalog of Unintended Software Dependencies in Multi-Lingual Systems at ASML
Exception handling for dynamic information flow control
Proceedings of the International Workshop on Continuous Software Evolution and Delivery, CSED@ICSE 2016, Austin, Texas, USA, May 14-22, 2016
Domain-specific languages for the design, deployment and manipulation of heterogeneous databases
State extensions for java pathfinder
Modular Verification of Software Components in C
A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation
Smart Contract Security: A Practitioners' Perspective: The Artifact of a Paper Accepted in the 43rd IEEE/ACM International Conference on Software Engineering (ICSE 2021)
Programming evolvable web services
A High Level Language for Specifying Graph Based Languages and Their Programming Environments
Interactions with Generative AI: Wearables to Measure Developer Experience and Productivity Objectively
Finding Latent Code Errors via Machine Learning over Program Executions
A sketch of the programmer's coach: making programmers more effective
Human and social factors of software engineering
How C++ developers use immutability declarations: an empirical study
Beyond computer science
A Model for Program Complexity Analysis
A Comparative Study of Programming Languages in Rosetta Code
SRE: A Knowledge-Based Environment for Large-Scale Software Re-Engineering Activities
Automated Instrumentation of Contracts and Scenarios for Requirements Validation in .NET
A neuro-cognitive perspective of program comprehension
Marvel: a generic, scalable and effective vulnerability detection platform
The dimensions of software engineering success
APICAD: Augmenting API Misuse Detection through Specifications from Code and Documents
Dynamic self-adaptation for distributed service-oriented transactions
Testing elastic systems with surrogate models
Anquiro: enabling efficient static verification of sensor network software
Verification and Validation of Requirements for Mission Critical Systems
An Exploratory Study of Deep learning Supply Chain
Supporting agile team composition: A prototype tool for identifying personality (In)compatibilities
Cross-cultural collaboration in ICT procurement
SeeHow: Workflow Extraction from Programming Screencasts through Action-Aware Video Analytics
Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service Design
OCCI-compliant, fully causal-connected architecture runtime models supporting sensor management
Understanding software application interfaces via string analysis
Automating bug report assignment
Dynamic symbolic data structure repair
The Challenges of Building Advanced Mechatronic Systems
Experimental Results on the Paging Behavior of Numerical Programs
Detecting no-sleep energy bugs using reference counted variables
Incident-aware Duplicate Ticket Aggregation for Cloud Systems
Characterization of risky projects based on project managers' evaluation
Towards an eye-tracking enabled IDE for software traceability tasks
Finding the Missing Link to Industry: LinkedIn Professional Groups as Facilitators of Empirical Research
Toward a Connected Health Delivery Framework
Workshop on cooperative and human aspects of software engineering: (CHASE 2011)
Observations and lessons learned from automated testing
Model-driven engineering practices in industry
Flake It 'Till You Make It: Using Automated Repair to Induce and Fix Latent Test Flakiness
Planning for the Unknown: Lessons Learned from Ten Months of Non-participant Exploratory Observations in the Industry
Automated design of self-adaptive software with control-theoretical formal guarantees
2nd International Workshop on Living with Inconsistency
Beyond web/native/hybrid: a new taxonomy for mobile app development
Learning to Log: Helping Developers Make Informed Logging Decisions
IEEE/ACM International Workshop on Cloud Intelligence & AIOps, AIOps@ICSE 2025, Ottawa, ON, Canada, May 3, 2025
Unhappy developers: bad for themselves, bad for process, and bad for software product
Twenty Years of Software Engineering: Looking Forward, Looking Back
CATMA: Conformance Analysis Tool For Microservice Applications
An Empirical Study on Low GPU Utilization of Deep Learning Jobs
Spotlight: A Prototype Tool for Software Plans
Towards IDE support for abstract thinking
Automatically detecting and describing high level actions within methods
How deep is the mud: fathoming architecture technical debt using designite
Assuring system goals under uncertainty with active formal models of self-adaptation
Dealing with imprecise quality factors in software design
Engineering the healthcare collaboration space
LIGHTVIEWS - visual interactive Internet environment for learning OO software testing
Improving integrated development environment commands knowledge with recommender systems
44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, ICSE (SEIP) 2022, Pittsburgh, PA, USA, May 22-24, 2022
PRESTIGE: A CASE Workbench for the JSD Implementor
Using UniMod for maintenance tasks: an experimental assessment in the context of model driven development
Enhancing Software Testing by Judicious Use of Code Coverage Information
Helping programmers improve the energy efficiency of source code
Industry/University Collaboration in Software Engineering Education: Refreshing and Retuning Our Strategies
Assertion-Oriented Automated Test Data Generation
QuSBT: Search-Based Testing of Quantum Programs
Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing
Understanding Natural Programs Using Proper Decomposition
ConcernLines: A timeline view of co-occurring concerns
Multi-dimensional composition by objective in aspect-oriented requirements analysis
Different strokes for different folks: a case study on software metrics for different defect categories
Automatic web security unit testing: XSS vulnerability detection
So you want brooks in your classroom?
Localized or architectural: an empirical study of performance issues dichotomy
Change impact analysis for evolving configuration decisions in product line use case models
Using knowledge elicitation to improve Web effort estimation: Lessons from six industrial case studies
Slede: Framework for automatic verification of sensor network security protocol implementations
Does subject type influence software engineering experiment results?
HighSpec: a tool for building and checking OZTA models
5th International Workshop on Co-operative and Human Aspects of Software Engineering, CHASE 2012, Zurich, Switzerland, June 2, 2012
The synergy of human and artificial intelligence in software engineering
Living assistance systems: an ambient intelligence approach
SE-CSE 2008: the first international workshop on software engineering for computational science and engineering
Are mutation scores correlated with real fault detection?: a large scale empirical study on the relationship between mutants and real faults
Recommending rename refactorings
Constructing supply chains in open source software
Forming theories of practices for software engineering
Extending a general theory of software to engineering
Test selection for result inspection via mining predicate rules
Reducing run-time adaptation space via analysis of possible utility bounds
RDP technique: a practice to customize xp
Platforms for Software Execution: Databases vs. Operating Systems vs. Browsers (Panel)
You are not alone: breaking transaction isolation
BabelRef: Detection and renaming tool for cross-language program entities in dynamic web applications
Mentoring trajectories in an evolving agile workplace
Evolve: tool support for architecture evolution
A software flaw taxonomy: aiming tools at security
An Empirical Study of Communication in Code Inspections
Stability of Java interfaces: a preliminary investigation
Characterizing Software Maintenance Meetings: Information Shared, Discussion Outcomes, and Information Captured
Towards software configuration management for unified models
LAMBDAFICATOR: from imperative to functional programming through automated refactoring
Designing Components Versus Objects: A Transformational Approach
Testing-based interactive fault localization
Cloud-Based Notification Distribution
ShellFusion: An Answer Generator for Shell Programming Tasks via Knowledge Fusion
Proposing software design recommendations based on component interface intersecting
Automatic Inference of Structural Changes for Matching across Program Versions
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs
From models to code and back: correct-by-construction code from UML and ALF
Towards concept based software engineering for intelligent agents
Empirical evaluation of software testing techniques in an open source fashion
Restructuring OODesigner: A CASE Tool for OMT
Concurrent Software Engineering and Robotics Education
A tale of four kernels
WinWin: A System for Negotiating Requirements
Software architecture: a travelogue
Opportunistic computing experience with the SAM platform
ORLIS: obfuscation-resilient library detection for Android
Case studies and tools for contract specifications
Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence
Deep Learning for Self-Driving Cars: Chances and Challenges
Collaborative Identification of Code Smells: A Multi-Case Study
What Challenges Do Developers Face About Checked-in Secrets in Software Artifacts?
On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
How do professional developers comprehend software?
An OpenGL-based eclipse plug-in for visual debugging
E-BUS: a toolkit for extracting business services from java software systems
Harnessing stack overflow for the IDE
A Model for the Reuse of Software Design Information
XAS: A System for Accessing Componentized, Virtual XML Documents
Hiding Distribution in Distributed Systems
Endogeneity, Instruments, and Two-Stage Models
Using sensors and labeled graphs to detect the space confusion's problem of patients suffering from Alzheimer's disease
Aspects of a Trigger Subsystem in an Integrated Data Base System
Improving IDE recommendations by considering global implications of existing recommendations
As strong as possible mobility (poster)
An inheritance-based technique for building simulation proofs incrementally
Improving automated source code summarization via an eye-tracking study of programmers
System Acquisition Based on Software Product Assessment
FLAT 3 : feature location and textual tracing tool
IoT Development In The Wild: Bug Taxonomy and Developer Challenges
An Analysis of SEI Software Process Assessment Results: 1987-1991
MASTAC: new curriculum for master and doctoral studies in critical software and computing
Nmag micromagnetic simulation tool: software engineering lessons learned
Regular Property Guided Dynamic Symbolic Execution
Exploring FLOW Distance in Project Communication
Observable modified Condition/Decision coverage
2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010)
Feedback-directed instrumentation for deployed JavaScript applications
The Impact of a Live Refactoring Environment on Software Development
System testing of repository-style software: an experience report
Challenges, Strengths, and Strategies of Software Engineers with ADHD: A Case Study
Source Viewer 3D (sv3D) - A Framework for Software Visualization
Building trust in the untrustable
Recovery Blocks in Action: A System Supporting High Reliability
Developing and evaluating the code bubbles metaphor
Software Process Modeling Experience (Panel Session Position Paper)
A computational field framework for collaborative task execution in volunteer clouds
From operational to declarative specifications using a genetic algorithm
34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland
Lattice-Based Information Flow Control-by-Construction for Security-by-Design
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment
Predictive analysis of cloud systems
Data analysis anti-patterns in empirical software engineering
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles
Understanding broadcast based peer review on open source software projects
On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations
Synthesizing framework models for symbolic execution
Cooperation and coordination concerns in a distributed software development project
Using component ensembles for modeling autonomic component collaboration in smart farming
A framework for checking regression test selection tools
Towards architectural information in implementation
Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing Tests
Studies of Software Design
Safe cryptography for all: towards visual metaphor driven cryptography building blocks
Industrial-Strength Software Product-Line Engineering
A model-driven approach to enforce crosscutting assertion checking
Random testing with austere budgeting in T3: benchmarking at SBST2019 testing tool contest
A Cooperative Approach to Software Development by Application Engineers and Software Engineers
1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, Hyderabad, India, June 1, 2014
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs
On Developer Relations Team's Reasons for Using Repositories
Proceedings of the 2010 ICSE Workshop on Sharing and Reusing Architectural Knowledge, SHARK 2010, Cape Town, South Africa, May 2, 2010
4th International Workshop on Emerging Trends in Software Metrics, WETSoM 2013, San Francisco, CA, USA, May 21, 2013
Use, disuse, and misuse of automated refactorings
Twins or False Friends? A Study on Energy Consumption and Performance of Configurable Software