yusuke1997/dblp-id-title huggingface dataset:
MAHAKIL: diversity based oversampling approach to alleviate the class imbalance issue in software defect prediction
Reengineering standalone C++ legacy systems into the J2EE partition distributed environment
Exploiting Learning and Scenario-Based Specification Languages for the Verification and Validation of Highly Automated Driving
Proceedings of the 3rd International Conference on Software Engineering, Atlanta, Georgia, USA, May 10-12, 1978
The Interaction Between the Preliminary Designs and the Technical Requirements for the DoD Common High Order Language
Understanding and fixing multiple language interoperability issues: the C/Fortran case
SLA evaluation with on-the-fly measurements of distributed service implementation over clouds
Efficient exploration of service-oriented architectures using aspects
A practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering
Towards quantitative software reliability assessment in incremental development processes
Software engineering for adaptive and self-managing systems
MTTM: Metamorphic Testing for Textual Content Moderation Software
Perracotta: mining temporal API rules from imperfect traces
Model or Mould? A Challenge for Better Traceability
Experience report on a move to techniques-oriented student project grading
GuideAutomator: Continuous Delivery of End User Documentation
ReBA : a tool for generating binary adapters for evolving java libraries
Privacy Points as a Method to Support Privacy Impact Assessments
XD (exchange-deliver): #a middleware for developing device-to-device mobile applications
Interval quality: relating customer-perceived quality to process quality
SESENA 2010: Workshop on Software Engineering for Sensor Network Applications
Managing variation: an industrial perspective on product line engineering
Tiver: Identifying Adaptive Versions of C/C++ Third-Party Open-Source Components Using a Code Clustering Technique
Understanding the role of requirements artifacts in kanban
Programming not only by example
Characterizing defect trends in software support
"How Was Your Weekend?" Software Development Teams Working From Home During COVID-19
Improving the definition of software development projects through design thinking led collaboration workshops
Partitioning microservices: a domain engineering approach
First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010)
Modeling and Managing Risk Early in Software Development
Supervised tie breaking in test case prioritization
Combining Word2Vec with revised vector space model for better code retrieval
Using machine learning to enhance automated requirements model transformation
Software Development in the Year 2000
An Automated Technique for Risk-based Test Case Generation and Prioritization
SQLInspect: a static analyzer to inspect database usage in Java applications
IMGDroid: Detecting Image Loading Defects in Android Applications
Software engineering for 'social good': integrating action research, participatory design, and agile development
Respond to Change or Die: An Educational Scrum Simulation for Distributed Teams
Proceedings of the 2nd International Workshop on BIG Data Software Engineering, BIGDSE@ICSE 2016, Austin, Texas, USA, May 16, 2016
6th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2018, Gothenburg, Sweden, May 27, 2018
GraphGallery: A Platform for Fast Benchmarking and Easy Development of Graph Neural Networks Based Intelligent Software
"DASOM" - A Software Engineering Tool for Communication Applications Increasing Productivity and Software Quality
Last mile end-user programmers: programming exposure, influences, and preferences of the masses
Going farther together: the impact of social capital on sustained participation in open source
Testing file system implementations on layered models
Taming complex healthcare data models with dictionary tooling
API fluency
Towards accessible integration and deployment of formal tools and techniques
Badge: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing
CRS - A hybrid Course Recommendation System for Software Engineering Education
Runtime adaptation in a service-oriented component model
Towards s/engineer/bot: principles for program repair bots
Property-based Testing of Quantum Programs in Q#
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, SESS 2011, Waikiki, Honolulu, HI, USA, May 22, 2011
1st international workshop on natural language analysis in software engineering (NaturaLiSE 2013)
Extension and Software Development
Teaching code review management using branch based workflows
Software engineering for mobility: reflecting on the past, peering into the future
Automatic repair of OWASP Top 10 security vulnerabilities: A survey
Process mining software repositories from student projects in an undergraduate software engineering course
Digging into UML models to remove performance antipatterns
2009 ICSE Workshop on Software Quality, WoSQ@ICSE 2009, Vancouver, BC, Canada, May 16, 2009
Fairify: Fairness Verification of Neural Networks
PPT: a COTS integration case study
Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000
Software Architecture: Practice, Potential, and Pitfalls
Proceedings of the 7th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2019, Montreal, QC, Canada, May 28, 2019
Protecting remote controlling apps of smart-home-oriented IOT devices
An empirical study on female participation in software project courses
A Methodology for Decomposing System Requirements Into Data Processing Requirements
Smart Contract Security: a Practitioners' Perspective
Automated Model Quality Estimation and Change Impact Analysis on Model Histories
An Empirical Study on Teaching Formal Methods to Millennials
Functional SMT solving with Z3 and racket
Some Experience in Building Portable Software
Investigating Cultural Dispersion: on the Role of Cultural Differences in Software Development Teams
Detecting atomicity violations for event-driven Node.js applications
Expositor: scriptable time-travel debugging with first-class traces
The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model
Mining Idioms in the Wild
Time to clean your test objectives
Another View of Software (Panel)
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
ArchVoc-Towards an Ontology for Software Architecture
Learning to prioritize test programs for compiler testing
Startups and Technical Debt: Managing Technical Debt with Visual Thinking
Benefits and Limitations of Remote Work to LGBTQIA+ Software Professionals
LiSSA: Toward Generic Traceability Link Recovery Through Retrieval- Augmented Generation
An Empirical Study on Noisy Label Learning for Program Understanding
Automatic Checking of Instruction Specifications
3D visualization for concept location in source code
An agile software engineering course with product hand-off
Keynote: You Don't Need to Be Rich to Do Research, You Don't Need to Be Google to Rule the World
EDEFuzz: A Web API Fuzzer for Excessive Data Exposures
On the Use of Formal Methods in Software Development
MDebugger: a model-level debugger for UML-RT
On the Contributions of an End-to-End AOSD Testbed
Analyzing critical process models through behavior model synthesis
Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation
Visual languages for event integration specification
Developing parallel programs: A design-oriented perspective
FeatureNET: diversity-driven generation of deep learning models
ISTAR and the Contractual Approach
Implementing a Software Management Discipline
A Framework for Data Base Semantic Integrity
Linking e-mails and source code artifacts
An additional set of (automated) eyes: chatbots for agile retrospectives
Transparency and contracts: continuous integration and delivery in the automotive ecosystem
Exploring the Impact of Inheritance on Test Code Maintainability
Teaching developer skills in the first software engineering course
On the Effectiveness of Set Associative Page Mapping and Its Application to Main Memory Management
Dynamic forecasting and adaptation for demand optimization in the smart grid
Query quality prediction and reformulation for source code search: the refoqus tool
Lessons learned from the linux kernel: creating sustained healthy communities
Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations
Enabling End-Users to Implement Larger Block-Based Programs
Research Artifact: The Potential of Meta-Maintenance on GitHub
Fourth international workshop on software engineering for computational science and engineering: (SE-CSE2011)
Effective Experience Repositories for Software Engineering
Aligning Quality Requirements and Test Results with QUPER's Roadmap View for Improved High-Level Decision-Making
Typestate-guided fuzzer for discovering use-after-free vulnerabilities
Toward the development of richer properties for recommender systems
Analyzing flow to measure value in software delivery
Gender disparity in the governance of software engineering conferences
Parent in science: the impact of parenthood on the scientific career in Brazil
Detecting architecturally-relevant code smells in evolving software systems
Superion: grammar-aware greybox fuzzing
Heuristics for the automatic identification of irregularities in spreadsheets
Measuring architecture quality by structure plus history analysis
Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V
Wok: statistical program slicing in production
Graphical user interfaces in dynamic software product lines
A Differential Testing Framework to Identify Critical AV Failures Leveraging Arbitrary Inputs
The Software Librarian: Python Package Insights for Copilot
Behavioral Analysis of Software Architectures Using LTSA
Prism = Methodology + Process-oriented Environment
Interdisciplinary Software Projects as an Active Methodology to Practice for the Profession
StakeSource: harnessing the power of crowdsourcing and social networks in stakeholder analysis
Evolving an adaptive industrial software system to use architecture-based self-adaptation
Decomposing and Measuring Trust in Open-Source Software Supply Chains
Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993
Product assignment recommender
Adapting lightweight user-centered design with the scrum-based development process
Model-Centric Development of Highly Available Software Systems
Lessons learned from teaching reflective software engineering using the Leap toolkit
Operation-based versioning of metamodels with COPE
Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java
Learning to mine parallel natural language/source code corpora from stack overflow
On the Interplay Between Static and Dynamic Analysis for Mining Sandboxes
Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, IWAAPF '08, Leipzig, Germany, May 10, 2008
Composition of least privilege analysis results in software architectures (position paper)
Ævol: A tool for defining and planning architecture evolution
Automating Structural Testing of C Programs: Experience with PathCrawler
COPE: vision for a change-oriented programming environment
5th International Workshop on Product LinE Approaches in Software Engineering PLE for a Sustainable Society (PLEASE 2015)
Closing the Loop for Software Remodularisation - REARRANGE: An Effort Estimation Approach for Software Clustering-based Remodularisation
The quamoco tool chain for quality modeling and assessment
Test case quality as perceived in Sweden
Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999
Towards rapid composition with confidence in robotics software
Using structural and semantic information to support software refactoring
Quality-Driven Machine Learning-based Data Science Pipeline Realization: a software engineering approach
Pathways to technology transfer and adoption: achievements and challenges (mini-tutorial)
Swarachakra keyboard for indic scripts (tutorial)
Addressing the Challenges of Software Industry Globalization: The Workshop on Global Software Development
Software Development at the German Aerospace Center: Role and Status in Practice
A New Frontier of AI: On-Device AI Training and Personalization
Exploiting undefined behaviors for efficient symbolic execution
User Software Engineering and the Design of Interactive Systems
Contextualizing inferred programming difficulties: extended abstract
Application of Self-Adaptive techniques to federated authorization models
Retrospectives on Peopleware
A knowledge-assisted framework to bridge functional and architecturally significant requirements
Towards Safe, Secure, and Usable LLMs4Code
Engineering multi-tenant software-as-a-service systems
Refactoring of Neural Network Models for Hyperparameter Optimization in Serverless Cloud
Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods
PExReport: Automatic Creation of Pruned Executable Cross-Project Failure Reports
Serious Game Development as a Creative Learning Experience: Lessons Learnt
Software development governance challenges of a middle-sized company in agile transition
Please Don't Go - A Comprehensive Approach to Increase Women's Participation in Open Source Software
Can we Knapsack Software Defect Prediction? Nokia 5G Case
Improving bug localization with report quality dynamics and query reformulation
Assisted discovery of software vulnerabilities
A monitoring data set for evaluating QoS-aware service-based systems
2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2007, Minneapolis Minnesota, USA, May 20-26, 2007
Coding with a Creative Twist: Investigating the Link Between Creativity Scores and problem-solving Strategies
ATLAS - An Automated Software Testing System
Collecting and leveraging a benchmark of build system clones to aid in quality assessments
Improving UML Design Tools by Formal Games
Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable
Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, MOBILESoft 2014, Hyderabad, India, June 2-3, 2014
Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches
A Survey of Coverage Based Testing Tools
Proceedings of the 2nd International Workshop on Robotics Software Engineering, RoSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019
Opening up software product line engineering
Retrieving Data Constraint Implementations Using Fine-Grained Code Patterns
Combining machine-learning with invariants assurance techniques for autonomous systems
DISCOA: architectural adaptations for security and QoS
The Design of Data Type Specifications
Recovering Documentation-to-Source-Code Traceability Links using Latent Semantic Indexing
Teaching predictive modeling to junior software engineers - seminar format and its evaluation: poster
Carving UI Tests to Generate API Tests and API Specification
Mind the gap!: bridging the dichotomy of design and implementation
Identifying Linux bug fixing patches
Distributed software development course: students' and teachers' perspectives
Multi-Modal LLM-Based Fully-Automated Training Dataset Generation Software Platform for Mathematics Education
Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory
Identifying architectural technical debt in Android applications through automated compliance checking
Structural Models for Software Reliability Prediction
Software Development Process Audits - A General Procedure
Improving traceability link recovery methods through software artifact summarization
Reinforcement learning-based dynamic adaptation planning method for architecture-based self-managed software
Shedding Light on Software Engineering-specific Metaphors and Idioms
Large Language Model for Vulnerability Detection: Emerging Results and Future Directions
Testing Graph Database Systems via Equivalent Query Rewriting
Is the glass half empty or half full? conducting empirical studies in industry (invited talk)
Agile Methods: Crossing the Chasm
Components in an adaptive and QoS-based architecture
4th international workshop on predictor models in SE (PROMISE 2008)
Assessing Compliance of Software System Designs to Laws, Regulations, and their Underlying Values
SAAM: A Method for Analyzing the Properties of Software Architectures
On the Modelling, Analysis and Design of Protocols - A Special Class of Software Structures
Writing and Reading Software Documentation: How the development process may affect understanding
TRADER: trace divergence analysis and embedding regulation for debugging recurrent neural networks
Reliability Support for the Model Driven Architecture
IFMLEdit.org: Model Driven Rapid Prototyping of Mobile Apps
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems
High Expectations: An Observational Study of Programming and Cannabis Intoxication
DEMISTIFY: Identifying On-device Machine Learning Models Stealing and Reuse Vulnerabilities in Mobile Apps
Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience
Views: object-inspired concurrency control
Formalization of software models for cyber-physical systems
Warble: programming abstractions for personalizing interactions in the internet of things
Developing a sustainability non-functional requirements framework
Scalable Quantitative Verification For Deep Neural Networks
Automatic inference of Java-to-swift translation rules for porting mobile applications
SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis
Everything you Need To Know About Collaboration and Collaboration Software
A Model-Based Approach for the Specification of a Virtual Power Plant Operating in Open Context
aComment: mining annotations from comments and code to detect interrupt related concurrency bugs
Towards scalable blockchain analysis
Cost Estimation of Software Intensive Projects: A Survey of Current Practices
Automated Verification and Test Case Generation for Input Validation
Reviewing Literature on Time Pressure in Software Engineering and Related Professions: Computer Assisted Interdisciplinary Literature Review
Accurate Architectural Threat Elicitation From Source Code Through Hybrid Information Flow Analysis
Modeling and Documenting the Evolution of Architectural Design Decisions
Analyzing Partially-Implemented Real-Time Systems
Engineering of IT ecosystems: design of ultra-large-scale software-intensive systems
Prioritizing browser environments for web application test execution
From architectural requirements towards an open architecture for web and mobile societal applications
A graph solver for the automated generation of consistent domain-specific models
FuzzSlice: Pruning False Positives in Static Analysis Warnings through Function-Level Fuzzing
UML in practice
Interoperability of non-functional requirements in complex systems
A Bi-Level Language for Software Process Modeling
Poster: ProNat: An Agent-Based System Design for Programming in Spoken Natural Language
Digital nudges for encouraging developer actions
OCL usability: a major challenge in adopting UML
Path Complexity Analysis for Interprocedural Code
An Exploratory Field Study of Programmer Assistance-Seeking during Software Development
Continuous thinking aloud
Software verification and validation research laboratory (SVVRL) of the University of Kentucky: traceability challenge 2011: language translation
Integration of UML modeling and policy-driven management of Web service systems
Early estimation of software quality using in-process testing metrics: a controlled case study
Fostering user-developer collaboration with infrastructure probes
Ten tips to succeed in Global Software Engineering education
Scalability issues in CORBA-based systems (tutorial session)
A theory of dual channel constraints
The sky is not the limit: multitasking across GitHub projects
Tesseract: Interactive visual exploration of socio-technical relationships in software development
Model extraction and test generation from JUnit test suites
GitHubInclusifier: Finding and fixing non-inclusive language in GitHub Repositories
Quality gates in use-case driven development
Graph-based mining of in-the-wild, fine-grained, semantic code change patterns
Software development for a novel WSN platform
Reusability of FEA software: A program family approach
A Field Study on Fostering Structural Navigation with Prodet
Beyond integrated development environments: adding context to software development
A Metric-Based Approach to Managing Architecture-Related Impediments in Product Development Flow: An Industry Case Study from Cisco
Redesigning the Systems Development Process
Source code level word embeddings in aiding semantic test-to-code traceability
Mitigating turnover with code review recommendation: balancing expertise, workload, and knowledge distribution
FairSense: Long-Term Fairness Analysis of ML-Enabled Systems
Morest: Model-based RESTful API Testing with Execution Feedback
Software archinaut: a tool to understand architecture, identify technical debt hotspots and manage evolution
Message from Cloud Intelligence / AIOps Workshop 2025 Chairs
Multi-granular conflict and dependency analysis in software engineering based on graph transformation
Performance diagnosis for inefficient loops
Towards knowledge assisted agile requirements evolution
Challenging machine learning algorithms in predicting vulnerable JavaScript functions
Utilizing Persistence for Post Facto Suppression of Invalid Anomalies Using System Logs
Cognitive-affective modelling approach in tutoring system
Using peer reviews in teaching framework development
Survey Instruments for "How Was Your Weekend?" Software Development Teams Working from Home During COVID-19
How software architects collaborate: Insights from collaborative software design in practice
Towards a federated cloud ecosystem (Invited industrial talk)
Some Trends in Web Application Development
Expanding, theory, and practice: Report on the 4 th International Workshop on the Automation of Software Test
GARL: Genetic Algorithm-Augmented Reinforcement Learning to Detect Violations in Marker-Based Autonomous Landing Systems
Understanding Bounding Functions in Safety-Critical UAV Software
DaMAT: A Data-driven Mutation Analysis Tool
A novel approach to tracing safety requirements and state-based design models
Path Complexity of Recursive Functions
Supporting software developers with a holistic recommender system
Toward Gaze-assisted Developer Tools
Robustness and games against nature in molecular programming
When software development meets the shopfloor: the case of industrial fablabs
Data-guided repair of selection statements
Adams re-trace: traceability link recovery via latent semantic indexing
Software Interoperability: Principles and Practice (Tutorial)
Multi-dimensional service compositions
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions
Testing of PolPA authorization systems
Authentication in Selected Mobile Data Collection Systems: Current State, Challenges, Solutions and Gaps
HARPPIE: Hyper algorithmic recipe for productive parallelism intensive endeavors
Developer-Intent Driven Code Comment Generation
Towards Formally Verified Key Management for Industrial Control Systems
Proceedings of the 3rd SEMAT Workshop on General Theories of Software Engineering, GTSE 2014, Hyderabad, India, June 2, 2014
A Cross-Company Ethnographic Study on Software Teams for DevOps and Microservices: Organization, Benefits, and Issues
"...And Nothing Else Changes": The Frame Problem in Procedure Specifications
Transferring Code-Clone Detection and Analysis to Practice
Are LLMs Correctly Integrated into Software Systems?