yusuke1997/dblp-id-title huggingface dataset:
LLMParser: An Exploratory Study on Using Large Language Models for Log Parsing
A Scalable, Automated Process for Year 2000 System Correction
Identifying Critical Components in Large Scale Cyber Physical Systems
A non-intrusive component-based approach for deploying unanticipated self-management behaviour
Textual Analysis for Code Smell Detection
An approach for collaborative code reviews using multi-touch technology
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems
Slicing and dicing bugs in concurrent programs
A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers
RFC-directed differential testing of certificate validation in SSL/TLS implementations
The Software Engineering Laboratory: An Operational Software Experience Factory
Curating Model Problems for Software Designing
The software development process of FLASH, a multiphysics simulation code
HCMS: conceptual description of a health content management system
Safety critical systems: challenges and directions
Towards a multi-level modeling language for testbed automation systems
LuMiNous - model-driven assertion generation for runtime failure detection
Using Model Transformation to Support Model-Based Test Coverage Measurement
Developing a pedagogical infrastructure for teaching globally distributed software development
Controlled Concurrency Testing via Periodical Scheduling
Extending app installable memory in Android smartphones
Design Decisions for the Incremental Adage Framework
CoRReCT: code reviewer recommendation in GitHub based on cross-project and technology experience
XAIport: A Service Framework for the Early Adoption of XAI in AI Model Development
Runtime controller synthesis for self-adaptation: be discrete!
Branching and merging: an investigation into current version control practices
Effective static deadlock detection
Identifying Instances of Model Design Patterns and Antipatterns Using Model Clone Detection
The software engineer and the development, management and use of intellectual property
Refactoring pipe-like mashups for end-user programmers
Testing pervasive software in the presence of context inconsistency resolution services
On the reduction of verbose queries in text retrieval based software maintenance
Towards a Model-Integrated Runtime Monitoring Infrastructure for Cyber-Physical Systems
PairSmell: A Novel Perspective Inspecting Software Modular Structure
Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool
Implementing Adaptive Performance Management in Server Applications
A Practical Application of UPPAAL and DTRON for Runtime Verification
A Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations
Free Hugs - Praising Developers for Their Actions
Characterization of operational failures from a business data processing SaaS platform
An Empirical Study on Automatically Detecting AI-Generated Source Code: How Far are We?
Testing concurrent java components
Symbolic verification of message passing interface programs
Software Engineering Challenges in Bioinformatics
Empirical study on the discrepancy between performance testing results from virtual and physical environments
Towards visualizing large scale evolving clones
A degree-of-knowledge model to capture source code familiarity
Refining Missions to Architectures in Software-Intensive Systems-of-Systems
Detecting False Alarms from Automatic Static Analysis Tools: How Far are We?
12th IEEE/ACM International Workshop on Software Engineering for Science, SE4Science@ICSE 2017, Buenos Aires, Argentina, May 22, 2017
An empirical study of build maintenance effort
Effectiveness of Peer Review in Teaching and Learning User Centered Conceptual Design Among Large Cohorts of Information Technology Students
Workshop description of 4th workshop on software quality (WoSQ)
Towards large-scale information integration
An Analysis of the Resources Used in the SAFEGUARD System Software Development
Space Connection: A New 3D Tele-immersion Platform for Web-Based Gesture-Collaborative Games and Services
requirements uncertainty: influencing factors and concrete improvements
Incremental pattern matching in the viatra model transformation system
Tesseract: Interactive environment for exploration of project relationships
Pocket code: a mobile visual programming framework for app development
Automatic generation of simulink models to find bugs in a cyber-physical system tool chain using deep learning
CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models
Becoming agile: a grounded theory of agile transitions in practice
Source Code Summarization in the Era of Large Language Models
Modular checking for buffer overflows in the large
Supporting collaboration in the development of complex engineering software
Methodology for Specification and Verification of High-Level Requirements with MetAcsl
Software Architecture Recovery of a Program Family
Maxims for Malfeasant Designers, or How to Design Languages to Make Programming as Difficult as Possible
Restoring reproducibility of Jupyter notebooks
A Static Analysis Platform for Investigating Security Trends in Repositories
Tutorial: describing software architecture with UML
Programming Language Models in Multilingual Settings
Deverywhere: Develop Software Everywhere
Model-driven Development of Complex Software: A Research Roadmap
A critical review of: "a practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering": essay on quality indicator selection for SBSE
How to Support ML End-User Programmers through a Conversational Agent
How do Developers Talk about GitHub Actions? Evidence from Online Software Development Community
Comparison of Software Product Line Architecture Design Methods: COPA, FAST, FORM, KobrA and QADA
A systematic survey on the design of self-adaptive software systems using control engineering approaches
Hitchhikers need free vehicles!: shared repositories for statistical analysis in SBST
Learning API usages from bytecode: a statistical approach
Taking lessons from history
An Industrial Experience Report on Retro-Inspection
Using Benchmarking to Advance Research: A Challenge to Software Engineering
Flexible modular formalization of UML sequence diagrams
Hanging by the thread: an empirical study of donations in open source
Self-Architecting Software SYstems (SASSY) from QoS-annotated activity models
Rigi: A Visualization Environment for Reverse Engineering
Evaluating and Improving Hybrid Fuzzing
Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain
Pattern-Based Reverse-Engineering of Design Components
Modeling Challenges for CPS Systems
Automated Planning for Self-Adaptive Systems
Prospects for Program Verification (Tutorial)
Static extraction of program configuration options
Towards more intelligent trace retrieval algorithms
Undergraduate Software Engineering Curriculum Enhancement via Human-Computer Interaction
Who owns this code? Examining Ownership Concepts in InnerSource Practices
Improving conflict resolution in model versioning systems
Towards Emotion-Based Collaborative Software Engineering
Retrieval-based neural source code summarization
Modelling and analysing resilient cyber-physical systems
2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, May 12-13, 2008
DICE: Quality-Driven Development of Data-Intensive Cloud Applications
Expectations, outcomes, and challenges of modern code review
Avoiding Packaging Mismatch with Flexible Packaging
Towards safe refactoring for intelligent parallelization of Java 8 streams
Towards an Automated Approach for Detecting Architectural Weaknesses in Critical Systems
Planning for untangling: predicting the difficulty of merge conflicts
Building and using pluggable type-checkers
Team Maturity in Software Engineering Teams: A Work in Progress
Affective trust as a predictor of successful collaboration in distributed software projects
ReClues: Representing and indexing failures in parallel debugging with program variables
Mining Root Cause Knowledge from Cloud Service Incident Investigations for AIOps
Woodpecker: Identifying and Fixing Android UI Display Issues
Feature-Driven End-to-End Test Generation
Drag-and-drop refactoring: intuitive and efficient program transformation
Studying and Improving Software License Compliance in Practice
Inferring class level specifications for distributed systems
IEEE/ACM International Workshop on Cloud Intelligence & AIOps, AIOps@ICSE 2023, Melbourne, Australia, May 15, 2023
Aspects of Design, Test and Validation of the Software for a Computerized Reactor Protection System
An Environment for Specifying and Executing Hierarchical Petri Nets
Teaching-learning of software conceptual design via function-behaviour-structure framework
Revisiting AI and testing methods to infer FSM models of black-box systems
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
Experiences with Mirth: an open source health care integration engine
An Architecture for Integrating Concurrency Control into Environment Frameworks
Gender Equality in Software Engineering
Abstraction-based requirements management
Lessons on Converting Batch Systems to Support Interaction (Experience Report)
A framework for understanding chatbots and their future
Adding static and dynamic semantics to building information models
Automatic Semantic Augmentation of Language Model Prompts (for Code Summarization)
In Search of the Emotional Design Effect in Programming
An exploratory study on improving automotive function specifications
Statistical Reasoning About Programs
DScribe: Co-generating Unit Tests and Documentation
Grafter: transplantation and differential testing for clones
An Examination of Evolution Dynamics
Modeling Review History for Reviewer Recommendation: A Hypergraph Approach
Attention! Your Copied Data is Under Monitoring: A Systematic Study of Clipboard Usage in Android Apps
Security testing of web applications: A research plan
CoDesign: a highly extensible collaborative software modeling framework
Towards Gender Equality in Software Engineering: The NSA Approach
Integrating sustainability in decision-making processes: A modelling strategy
Multivariate visualization in observation-based testing
CS/SE Instructors Can Improve Student Writing without Reducing Class Time Devoted to Technical Content: Experimental Results
Impact of Legal Interpretation in Business Process Compliance
Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair
CatchUp!: capturing and replaying refactorings to support API evolution
Visual Aid for FORTRAN Program Debugging
Applying Template Meta-Programming Techniques for a Domain-Specific Visual Language-An Industrial Experience Report
Integrating adaptive user interface capabilities in enterprise applications
Supporting Security Monitor-Aware Development
Compatibility Issue Detection for Android Apps Based on Path-Sensitive Semantic Analysis
Towards automatic problem decomposition: an ontology-based approach
How to Debug Inclusivity Bugs? A Debugging Process with Information Architecture
Complete and accurate clone detection in graph-based models
An adaptive bayesian approach for URL selection to test performance of large scale web-based systems
DEEPJUDGE: A Testing Framework for Copyright Protection of Deep Learning Models
Mind the gap: Robotic Mission Planning Meets Software Engineering
Developing software for motivating individuals with intellectual disabilities to do outdoor physical activity
Cross-distribution Feedback in Software Ecosystems
How to make best use of cross-company data in software effort estimation?
The role of egocentric bias in undergraduate Agile software development teams
MLTEing Models: Negotiating, Evaluating, and Documenting Model and System Qualities
Software Development with Executable Functional Specifications
Automating the Detection of Reusable Parts in Existing Software
Model Processing Tools in UML
Experiences with text mining large collections of unstructured systems development artifacts at jpl
Distance-based sampling of software configuration spaces
GenC2Rust: Towards Generating Generic Rust Code from C
Demystifying and Detecting Misuses of Deep Learning APIs
Identifying Key Features from App User Reviews
Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment
An ontological framework for architecture model integration
Robust ArcheOpterix: Architecture optimization of embedded systems under uncertainty
On the Helpfulness of Answering Developer Questions on Discord with Similar Conversations and Posts from the Past
Poster: MAPP: The Berkeley Model and Algorithm Prototyping Platform
An Empirical Study of the Content and Quality of Sprint Retrospectives in Undergraduate Team Software Projects
Collaborative Research Involving Small Companies: Experiences from Co-Production of Knowledge for Research and Practice through Use of an Action Case Approach
Speculative Analysis for Quality Assessment of Code Comments
Software Analytics to Software Practice: A Systematic Literature Review
An Automatically-Generated Run-Time Instrumenter to Reduce Coverage Testing Overhead
Towards gender balance in modern hackathons: literature-based approaches for female inclusiveness
Functional Paleontology: System Evolution as the User Sees It
Characterizing and Detecting Bugs in WeChat Mini-Programs
On software engineering repositories and their open problems
Empirical Studies in Question-Answering Systems: A Discussion
Dynamic data-flow testing
A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping Algorithms
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects
Do automated program repair techniques repair hard and important bugs?
Timely detection of Coordination Requirements to support collaboration among software developers
Recommendation of Move Method Refactoring Using Path-Based Representation of Code
An analysis of the search spaces for generate and validate patch generation systems
Extending Mobile Device's Battery Life by Offloading Computation to Cloud
Studying and suggesting logging locations in code blocks
Improving feature location practice with multi-faceted interactive exploration
Shadow of a doubt: testing for divergences between software versions
From Use Cases to Code - Rigorous Software Development with UML
Reporting user experience through usability within the telecommunications industry
What questions do programmers ask about configuration as code?
JMocker: Refactoring Test-Production Inheritance by Mockito
Stride: Search-based deterministic replay in polynomial time via bounded linkage
Compilation error repair: for the student programs, from the student programs
Using dynamic adaptive systems in safety-critical domains
TestEvol: a tool for analyzing test-suite evolution
Linear-time Temporal Logic guided Greybox Fuzzing
Exploring the Robustness of the Effect of EVO on Intention Valuation Through Replication
Metamorphic Shader Fusion for Testing Graphics Shader Compilers
Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, ICSE (SEET) 2019, Montreal, QC, Canada, May 25-31, 2019
Formal Approaches to Software Architecture
An Overview of the State of the Art in Software Architecture
MASS: A tool for Mutation Analysis of Space CPS
Application of Axiomatic Methods to a Specification Analyser
PROMPTER: A Knowledge Based Support Tool for Code Understanding
On learning in collective self-adaptive systems: state of practice and a 3D framework
A compliance notation for verifying concurrent systems
A portfolio approach to technical debt management
The international workshop on software architectures and mobility (SAM 2008)
Confounding factors when conducting industrial replications in requirements engineering
The Software Process and Software Environments (Panel)
A hierarchical abstraction model for software engineering
RoadSign at the SBFT 2023 Tool Competition Cyber-Physical Systems Track
Software engineering and swarm-based systems
Evaluating live sequence charts as a programming technique for non-programmers
A Scientific Function Test Framework for Modular Environmental Model Development: Application to the Community Land Model
Development context driven change awareness and analysis framework
REquirements TRacing On target (RETRO) enhanced with an automated thesaurus builder: An empirical study
Dynamic program code distribution in Infrastructure-as-a-Service clouds
Software product line engineering of space flight software
Information Transformation: An Underpinning Theory for Software Engineering
Saros: an eclipse plug-in for distributed party programming
Reproducing software failures by exploiting the action history of undo features
Backwards-compatible array bounds checking for C with very low overhead
Fault Localization Using Visualization of Test Information
LtRules: an automated software library usage rule extraction tool
Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification
InferCode: Self-Supervised Learning of Code Representations by Predicting Subtrees
ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003)
Emotions in software practice: presentation vs. coding
\chiChek: A Model Checker for Multi-Valued Reasoning
The role of judgment in software estimation
MARQ: Engineering Mission-Critical AI-Based Software with Automated Result Quality Adaptation
Static automated program repair for heap properties
1st IEEE/ACM International Workshop on InnerSource Software Development, InnerSoft@ICSE 2023, Melbourne, Australia, May 20, 2023
Guiding the crowds for Android testing
Experiences gamifying developer adoption of practices and tools
Aligning healthcare innovation and software requirements through design thinking
Research Directions in Software Technology
Highly Reliable Upgrading of Components
Extracting conceptual interoperability constraints from API documentation using machine learning
Distributed development in an intra-national, intra-organisational context: an experience report
ChangeLocator: locate crash-inducing changes based on crash reports
Influencing the adoption of software engineering methods using social software
Measuring user influence in GitHub: the million follower fallacy
Security Enhancement Methods for Mobile POS System
Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps' Native Code
Model-based testing of multiple GUI variants using the GUI test generator
Exploiting the Saturation Effect in Automatic Random Testing of Android Applications
Using docker containers to improve reproducibility in software engineering research
I've seen this before: sharing cyber-physical incident knowledge
Teaching distributed software engineering with UCOSP: the undergraduate capstone open-source project
The Evaluation of Large, Complex UML Analysis and Design Model
Exploring variability-aware execution for testing plugin-based web applications
Reading to Write Code: An Experience Report of a Reverse Engineering and Modeling Course
SPLGraph: towards a graph-based formalism for software product lines
Towards a unifying view on security contracts
How do programmers ask and answer questions on the web?
Investigating the point of view of project management practitioners on technical debt: a preliminary study on stack exchange
Inspection effectiveness for different quality attributes of software requirement specifications: An industrial case study
A novel quantitative evaluation approach for software project schedules using statistical model checking
Proceedings of the 1st International Workshop on Software Engineering for Healthcare, SEH@ICSE 2019, Montreal, QC, Canada, May 27, 2019
Towards forensic-ready software systems
Test-driven code review: an empirical study
Crowd Build: A Methodology for Enterprise Software Development Using Crowdsourcing
Models for the Automated Integration of Service-Oriented Software Systems
Software Engineering in Ferrari F1
Theory of Software Reliability Based on Components
Statistical Techniques for Software Engineering Practice
Software Model Evolution with Large Language Models: Experiments on Simulated, Public, and Industrial Datasets
Using iDAVE to determine availability requirements
Using components for architecture-based management: the self-repair case
FaultFuzz: A Coverage Guided Fault Injection Tool for Distributed Systems
Leveraging Crowdsourcing for Team Elasticity: An Empirical Evaluation at TopCoder
Towards a structured unified process for software security
Sustainable Adaptive Security
Machine learning-based detection of open source license exceptions
Researching cooperation and communication in continuous software engineering
An Exploratory Investigation of Log Anomalies in Unmanned Aerial Vehicles
An infrastructure for the rapid development of XML-based architecture description languages
Co-evolving code with evolving metamodels
Flexible support for managing evolving software product lines
A car logistics scenario for context-aware adaptive service-based systems
Global software development at siemens: experience from nine projects
The frame problem in Web service specifications
Burn after reading: a shadow stack with microsecond-level runtime rerandomization for protecting return addresses
Empirically researching development of international software
Working with Industry: Stories of Successful and Failed Research-Industry Collaborations on Empirical Software Engineering
Perceptions of the State of D&I and D&I Initiative in the ASF
Automated fine-grained requirements-to-code traceability link recovery
sFuzz: an efficient adaptive fuzzer for solidity smart contracts
Introduction to CORBA (tutorial session)
Systematic top-down design of cyber-physical models with integrated validation and formal verification
A CSP-based framework for the specification, verification, and implementation of adaptive systems
Developers' sentiment and issue reopening
Teaching a global software development course: student experiences using onsite exercise simulation
Managing assumptions during agile development
An empirical study on decision making in off-the-shelf component-based development
Web search behaviors for software development
First International Workshop on European Software Services and Systems Research - Results and Challenges, S-Cube 2012, Zurich, Switzerland, June 5, 2012
What scope is there for adopting evidence-informed teaching in SE?
gDefects4DL: A Dataset of General Real-World Deep Learning Program Defects
Plat_Forms: contests as an alternative approach to SE empirical studies in industry
A Dataset of Vulnerable Code Changes of the Chromium OS Project
Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals
Technology Transfer as Collaboration: The Receptor Group
5th IEEE/ACM International Workshop on Crowd Sourcing in Software Engineering, CSI-SE@ICSE 2018, Gothenburg, Sweden, May 27 - June 3, 2018
Analyzing tool usage to understand to what extent experts change their activities when mentoring
How do programs become more concurrent: a story of program transformations
Testing database transactions with AGENDA
SCL: Static Enforcement and Exploration of Developer Intent in Source Code
eFish'nSea: Unity Game Set for Learning Software Performance Issues Root Causes and Resolutions
User centered scenario based approach for developing mobile interfaces for Social Life Networks
Studying the use of Java logging utilities in the wild
How to Measure Software Reliability, and How Not To
Unleashing the True Potential of Semantic-Based Log Parsing with Pre-Trained Language Models
Controlling the Complexity of Software Design
MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices
Insight: Reverse Engineer Case Tool
Architecture as an Emergent Property of Requirements Integration
On the Time Overhead of Counters and Traversal Markers
Does data sampling improve deep learning-based vulnerability detection? Yeas! and Nays!
High-Quality Automated Program Repair