yusuke1997/dblp-id-title huggingface dataset:
Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis
Systematic approach for mapping software development methods to the essence framework
Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design, Minneapolis, MN, USA, 20-26 May 2007
TODO or to bug: exploring how task annotations play a role in the work practices of software developers
Enabling Software Resilience in GPGPU Applications via Partial Thread Protection
Message from the ICSE 2023 Program Co-Chairs
Mythical unit test coverage
Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis
Panel on Collaborative Software Engineering
Dynamic Configuration of Resource-Aware Services
Understanding code smells in Android applications
Toward evaluating the impact of self-adaptation on security control certification
Sequential Circuits for Relational Analysis
Hyper/J: multi-dimensional separation of concerns for Java
What is the connection between issues, bugs, and enhancements?: lessons learned from 800+ software projects
PILOT: synergy between text processing and neural networks to detect self-admitted technical debt
Supporting developers with natural language queries
BraceForce: a middleware to enable sensing integration in mobile applications for novice programmers
Using conditional mutation to increase the efficiency of mutation analysis
Understanding and improving cyber-physical system models and development tools
Integrated Management of Company Processes and Standard Processes: A Platform to Prepare and Perform Quality Management Appraisals
Towards integrating undependable self-adaptive systems in safety-critical environments
Modeling Families of Public Licensing Services: A Case Study
Social computing networks: a new paradigm for engineering self-adaptive pervasive software systems
A Qualitative Study on the Implementation Design Decisions of Developers
Bayesian artificial intelligence for tackling uncertainty in self-adaptive systems: The case of dynamic decision networks
Learning units-of-measure from scientific code
Software engineering for large-scale multi-agent systems: SELMAS'2002
Does fixing bug increase robustness in deep learning?
Teaching Software Engineering Principles to K-12 Students: A MOOC on Scratch
Second Workshop on Sharing and Reusing Architectural Knowledge - Architecture, Rationale, and Design Intent, SHARK/ADI 2007, Minneapolis, MN, USA, May 20-26, 2007
Designing motivation strategies for software engineering teams: an empirical study
A research agenda for distributed software development
Promoting developer-specific awareness
PDAS: An Assistant for Detailed Design and Implementation of Programs
The Windows 95 User Interface: Iterative Design and Problem Tracking in Action
Towards Realistic, Applicable and Feasible Configuration-Aware Performance Modeling
XML development with plug-ins as a service
The Future of Software Engineering (SEIP Keynote)
GENESIS: a framework for global engineering of embedded systems
Fairneuron: Improving Deep Neural Network Fairness with Adversary Games on Selective Neurons
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2010, Cape Town, South Africa, May 1-2, 2010
Measuring and Understanding the Effectiveness of JIRA Developers Communities
Modeling in Software Engineering (MiSE 09)
Journal first presentation of an experience report on applying software testing academic results in industry: we need usable automated test generation
4th International Workshop on Realizing AI Synergies in Software Engineering (RAISE 2015)
The marketplace of user interface real estate
Proceedings of the 2008 International Workshop on Scrutinizing Agile Practices or Shoot-Out at the Agile Corral, APOS '08, Leipzig, Germany, May 10, 2008
Engineering the software requirements of nonprofits: a service-learning approach
CEL: modeling everywhere
MINTS: A general framework and tool for supporting test-suite minimization
An exploratory study for scoping software product lines in a collaborative way
Integrating User Experience into Agile : An Experience Report on Lean UX and Scrum
Exploring the impact of inter-smell relations on software maintainability: an empirical study
Application Downloading
Discovering important source code terms
Effect of newcomers supportive strategies on open source projects socio-technical activities
Preventive Program Maintenance in Demeter/Java
Empirical Analysis of Vulnerabilities Life Cycle in Golang Ecosystem
Building MVPs: An Experience Report of a Software Engineering Capstone Course
Software Architecture Based on Communicating Residential Environments
Managing complexity and predictability in embedded systems: Applying component-based development
Causal testing: understanding defects' root causes
Open Source Software Onboarding as a University Course: An Experience Report
A New Approach to Consistency Control in Software Engineering
Robustness Validation in Service-Oriented Architectures
Are Your Requests Your True Needs? Checking Excessive Data Collection in VPA App
Fuzzy logic based interactive recovery of software design
Analysing "people" problems in requirements engineering
Toward detection and characterization of variability bugs in configurable C software: an empirical study
A proposal for enhancing user-developer communication in large IT projects
The Distribution and Disengagement of Women Contributors in Open-Source: 2008-2021
Resolving least privilege violations in software architectures
Software Metrics Using Deviation Value
Pragmatic Techniques for Program Analysis and Verification
Dynamic unit test extraction via time travel debugging for test cost reduction
DoubleTake: fast and precise error detection via evidence-based dynamic analysis
Designing Run-Time Fault-Tolerance Using Dynamic Updates
Cooperative work in software testing
An empirical investigation into the role of API-level refactorings during software evolution
Poster: Improving Cloud-Based Continuous Integration Environments
Searching for the Best Test
An evidence-based inquiry into the use of grey literature in software engineering
Exploiting SOA within emaintenance
Prioritize technical debt in large-scale systems using codescene
Fifi: an architecture to realize self-evolving of Java program
Reflecting on development processes in the video game industry
Helping mobile software code reviewers: a study of bug repair and refactoring patterns
Factors affecting cloud infra-service development lead times: a case study at ING
Guided path exploration for regression test generation
Proceedings of the 14th International Workshop on Automation of Software Test, AST@ICSE 2019, May 27, 2019, Montreal, QC, Canada
Unblind your apps: predicting natural-language labels for mobile GUI components by deep learning
Toward social-technical code search
Impact of animated objects on autistic and non-autistic users
DeBOT - an approach for constructing high performance, scalable distributed object systems (poster)
The 8th international workshop on economics-driven software engineering research
What the Fork? Finding Hidden Code Clones in npm
Toward Among-Device AI from On-Device AI with Stream Pipelines
Context-Based Analytics - Establishing Explicit Links between Runtime Traces and Source Code
Access control enforcement testing
Re-engineering software architecture of home service robots: a case study
Towards indicators of instabilities in software product lines: An empirical evaluation of metrics
Knowledge-Based Environment Dependency Inference for Python Programs
Facilitating reuse in model-based development with context-dependent model element recommendations
Vision: improved development of mobile ehealth applications
Technical debt prioritization using predictive analytics
ICSE-SEIS '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Society, Seoul, South Korea, 27 June - 19 July, 2020
Towards better support for the evolution of safety requirements via the model monitoring approach
3rd International Workshop on Conducting Empirical Studies in Industry (CESI 2015)
What Concerns Game Developers? A Study on Game Development Processes, Sustainability and Metrics
Studying pull request merges: a case study of shopify's active merchant
Towards automated migration for blockchain-based decentralized application
The concept of "ba" applied to software knowledge
How do companies collaborate in open source ecosystems?: an empirical study of OpenStack
Towards Better Software Projects and Contracts: Commitment Specifications in Software Development Projects
Where does this code come from and where does it go? - Integrated code history tracker for open source systems
How has forking changed in the last 20 years?: a study of hard forks on GitHub
Nalin: learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks
Coordination in large-scale software teams
Scenario-based programming: reducing the cognitive load, fostering abstract thinking
From Formal Models to Formal Methods
On the importance of understanding the strategies that developers use
Two's company, three's a crowd: a case study of crowdsourcing software development
A metric for composite service reusability analysis
An effective method to control interrupt handler for data race detection
Using Machine Intelligence to Prioritise Code Review Requests
Learning Probabilistic Models for Static Analysis Alarms
Palantír: Raising Awareness among Configuration Management Workspaces
Blending Object-Z and Timed CSP: An Introduction to TCOZ
Separating architectural concerns to ease program understanding
Heaps'n leaks: how heap snapshots improve Android taint analysis
Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP
Mining the Metadata - and Its Consequences
Using machine learning to recommend correctness checks for geographic map data
VALERA: an effective and efficient record-and-replay tool for android
Leveraging program invariants to promote population diversity in search-based automatic program repair
Goal-oriented requirements analysis and an extended design pattern using scala for artificial intelligence programming contests
Poster: Reasoning Based on Imperfect Context Data in Adaptive Security
Studying the Usage of Text-To-Text Transfer Transformer to Support Code-Related Tasks
Test Case Generation Using Prolog
DyTa: dynamic symbolic execution guided with static verification results
Program Analysis - A Method for the Verification of Software for the Control of a Nuclear Reactor
Towards Property-Based Tests in Natural Language
Challenges and Opportunities for Sustainable Software
Abstraction abstracted
White-Box Performance-Influence Models: A Profiling and Learning Approach (Replication Package)
The role of platform moderators in software crowdsourcing projects
Natural software revisited
Software architectures for dependable systems: a software engineering perspective
Rules of Engagement: Why and How Companies Participate in OSS
What Small Business and Small Organizations Say About the CMM: Experience Report
Sustainable Software Engineering: Visions and Perspectives beyond Energy Efficiency
Effect of Test Set Minimization on Fault Detection Effectiveness
Preliminary Steps Towards Modeling Blockchain Oriented Software
Fault Detection Effectiveness of Source Test Case Generation Strategies for Metamorphic Testing
Principles of usable programming language design
A taxonomy of uncertainty for dynamically adaptive systems
What are Weak Links in the npm Supply Chain?
Implementing Cleanroom Software Engineering into a Mature CMM-Based Software Organization
A theory of branches as goals and virtual teams
Answering conceptual queries with Ferret
Requirements maturation analysis based on the distance between the source and developers
SMUG: a selective MUtant generator tool
Decentralised Process Enactment in a Multi-Perspective Development Environment
What paper types are accepted at the international conference on software engineering?
Bridging the gap between the total and additional test-case prioritization strategies
Decision-Centric Traceability of architectural concerns
Using Testability Measures for Dependability Assessment
An Exploratory Study of Productivity Perceptions in Software Teams
An Exploration of Intersectionality in Software Development and Use
Generative modeling games for exploratory industry-academic research
Mining Correlations of ATL Model Transformation and Metamodel Metrics
SHIWS: A Self-Healing Integrator for Web Services
Risky trust: risk-based analysis of software systems
ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June - 19 July, 2020
A Mixed-Methods Analysis of Policy, Legal, and Technical Barriers to the Adoption of AI and IoT-Driven Agricultural Solutions in the East African Community (EAC)
Early Specification of User-Interfaces: Toward a Formal Approach
Evaluating the Adaptive Selection of Classifiers for Cross-Project Bug Prediction
Distributed component technologies and their software engineering implications
On the Applicability of Language Models to Block-Based Programs
Multidisciplinary skill assessment for embedded software development education via a robot contest
Efficient probabilistic testing of model transformations using search
Envisioning the future of collaborative model-driven software engineering
Behavioral Aspects of Safety-Critical Software Development
The fourth international workshop on economics-driven software engineering research (EDSER-4)
Attitudes, beliefs, and development data concerning agile software development practices
Dlfinder: characterizing and detecting duplicate logging code smells
Building Collaborative Learning: Exploring Social Annotation in Introductory Programming
Breaking the Silos: An Actionable Framework for Recruiting Diverse Participants in SE
On the maintenance complexity of makefiles
Protecting million-user iOS apps with obfuscation: motivations, pitfalls, and experience
Similar but Patched Code Considered Harmful: The Impact of Similar but Patched Code on Recurring Vulnerability Detection and How to Remove Them
An empirical study of optimizations in YOGI
1st IEEE/ACM International Workshop on Complex Faults and Failures in Large Software Systems, COUFLESS 2015, Florence, Italy, May 23, 2015
Message from the ICSE 2022 General Chair
Risk-Based Attack Surface Approximation: How Much Data Is Enough?
An empirical study on the characteristics of question-answering process on developer forums
LISABETH: automated content-based signature generator for zero-day polymorphic worms
A novel approach to mobile indoor navigation systems
Moving from ISO9000 to higher levels of the CMM (tutorial session)
A Tutorial on Feature Oriented Programming and Product-Lines
On Extracting Specialized Code Abilities from Large Language Models: A Feasibility Study
A Landscape Study of Open-Source Tools for Software Bill of Materials (SBOM) and Supply Chain Security
Legacy systems migration in CelLEST
Validating Test Case Migration via Mutation Analysis
Discovering Explainability Requirements in ML-Based Software
Aligning the Objective of LLM-Based Program Repair
Artificial Intelligence and Software Engineering
What is New When Talking About Sustainable Software Architectures?
Toward big data value engineering for innovation
Software engineering education in the era of outsourcing, distributed development, and open source software: challenges and opportunities
PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer Analysis
Studying Test Annotation Maintenance in the Wild
Challenges and Benefits from Using Software Analytics in Softeam
HeteroRefactor: refactoring for heterogeneous computing with FPGA
Connecting user stories and code for test development
Personal Cloudlets: Implementing a User-centric Datastore with Privacy Aware Access Control for Cloud-Based Data Platforms
Runtime monitoring of cross-cutting policy
A qualitative reasoning approach to spectrum-based fault localization
Component-Based Self-Adaptability in Peer-to-Peer Architectures
Daily build and feature development in large distributed projects
Prototyping a Visual Formalism for System Modelling
Towards More Practical Automation of Vulnerability Assessment
Post-Process Feedback With and Without Attribute Focusing: A Comparative Evaluation
2nd international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013)
FireBugs: finding and repairing bugs with security patterns
Do external feedback loops improve the design of self-adaptive systems? a controlled experiment
AsFault: testing self-driving car software using search-based procedural content generation
The American law institute's principles on software contracts and their ramifications for software engineering research
Understanding metamodeling
Compiler error notifications revisited: an interaction-first approach for helping developers more effectively comprehend and resolve error notifications
Mining API mapping for language migration
Architecting Dependable Systems with Proactive Fault Management
Active Learning of Decomposable Systems
Plugging in and into code bubbles
Towards more reliable configurators: a re-engineering perspective
Industrial Experience with Design Patterns
Iterative Assessment and Improvement of DNN Operational Accuracy
Truth in Advertising: The Hidden Cost of Mobile Ads for Software Developers
Detecting similar software applications
Developing a SSE-CMM-based security risk assessment process for patient-centered healthcare systems
Towards a distributed software architecture evaluation process: a preliminary assessment
Large-scale Security Measurements on the Android Firmware Ecosystem
A method for selecting SOA pilot projects including a pilot metrics framework
Inferring and Applying Type Changes
Software Design and Architecture The once and future focus of software engineering
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014
Adopting industry agile practices in large-scale capstone education
Extracting, specifying and predicting software system properties in component based real-time embedded software development
Analysis of Error Remediation Expenditures During Validation
An empirical study of fault localization for end-user programmers
On-line validation of service oriented systems in the European Project TAS3
Dealing With Cultural Dispersion: a Novel Theoretical Framework for Software Engineering Research and Practice
The impact of process choice in high maturity environments: An empirical analysis
On the difficulties for students to adhere to scrum on global software development projects: preliminary results
ReInstancer: Automatically Refactoring for Instanceof Pattern Matching
Towards Finding Accounting Errors in Smart Contracts
How are design patterns concerned by developers?
An Experimental Study of Individual Subjective Effort Estimations and Combinations of the Estimates
Using MATCON to generate CASE tools that guide deployment of pre-packaged applications
IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving
Adaptation issues in software architectures of remote health care systems
An Experimental Evaluation of Simple Methods for Seeding Program Errors
Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem
Supporting distributed software engineering in a fully distributed organization
Method Integration and Support for Distributed Software Development: An Overview
Ensuring an Effective User Experience When Managing and Running Scientific HPC Software
Developers ask reachability questions
Who asked what: integrating crowdsourced FAQs into API documentation
Improving software practice through education: Challenges and future trends
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation
Introducing safety cases for health IT
Symbolic assume-guarantee reasoning through BDD learning
Structured and Formal Methods: An Investigative Framework
SemParser: A Semantic Parser for Log Analytics
Training App Developers in a Software Studio: The Business Nano Challenge Experience
Mining configuration constraints: static analyses and empirical results
Proceedings of the Third International Workshop on Managing Technical Debt, MTD 2012, Zurich, Switzerland, June 5, 2012
Two Sides of the Same Coin: Exploiting the Impact of Identifiers in Neural Code Comprehension
Improving Automated Crash Reproduction
Efficient parametric model checking using domain-specific modelling patterns
Build and Runtime Integrity for Java
ReMan: A pro-active reputation management infrastructure for composite Web services
Reliability Analysis of Concurrent Systems Using LTSA
Dynamic Generation of Likely Invariants for Multithreaded Programs
Characteristics of defective infrastructure as code scripts in DevOps
Scalable adaptive web services
Towards standardized evaluation of developer-assistance tools
Recent Advances in Software Estimation Techniques
A value-based approach for documenting design decisions rationale: a replicated experiment
New Directions on Agile Methods: A Comparative Analysis
Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet
Social Science Theories in Software Engineering Research
MicroHECL: High-Efficient Root Cause Localization in Large-Scale Microservice Systems
Modeling human behavior for software engineering simulation games
Design principles for generating and presenting automated formative feedback on code quality using software metrics
Effective unit-testing in model-based software development
Model-driven development of diverse user interfaces
Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering, CSI-SE 2014, Hyderabad, India, June 2, 2014
Recent Advances in Software Measurement (Abstract for Talk)
Analyzing APIs documentation and code to detect directive defects
The code orb: supporting contextualized coding via at-a-glance views
General Theories of Software Engineering (GTSE): Key Criteria and an Example
Automated scalability testing of software as a service
Design, Implementation, and Evaluation of a Revision Control System
Incremental Testing of Object-Oriented Class Structures
Recommending mentors to software project newcomers
Applying Formal Methods for Human Error Tolerant Design
An Investigation on the Use of Machine Learned Models for Estimating Correction Costs
Models and Processes for the Evaluation of COTS Components
Improving Model Inspection with Crowdsourcing
Preparing scientists for scalable software development
Automated Analysis of Flakiness-mitigating Delays
Reference architecture knowledge representation: an experience
Claims and supporting evidence for self-adaptive systems: A literature study
A generic software framework for role-based Organic Computing systems
API as a social glue
Models and algorithms for business value-driven adaptation of business processes and software infrastructure
ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks
Characterizing the global mobile app developers: a large-scale empirical study
Test-driven roles for pair programming
Quality Attributes of Systems-of-Systems: A Systematic Literature Review
Software testing of mobile applications: Challenges and future research directions
Conducting a long-term case study in a software firm: an experience report
Test algebra for combinatorial testing
A candid industrial evaluation of formal software verification using model checking
Experience of industry case studies: a comparison of multi-case and embedded case study methods
Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams
A Transformer-based Model for Assisting Dockerfile Revising
Test-Duo: A framework for generating and executing automated acceptance tests from use cases
Poster: Is Carmen Better than George? Testing the Exploratory Tester Using HCI Techniques
A statistical comparison of Java and Python software metric properties