yusuke1997/dblp-id-title huggingface dataset:
A Software Impact Analysis Tool based on Change History Learning and its Evaluation
DevDocOps: towards automated documentation for DevOps
Evaluation of resilience in self-adaptive systems using probabilistic model-checking
On Architectural Diversity of Dynamic Adaptive Systems
Keynote: Topology Aware Adaptive Security
Reducing DNN Properties to Enable Falsification with Adversarial Attacks
Sibyl: Improving Software Engineering Tools with SMT Selection
Augmenting API documentation with insights from stack overflow
Decision-Making with Cross-Entropy for Self-Adaptation
Learning in the Wild: Towards Leveraging Unlabeled Data for Effectively Tuning Pre-trained Code Models
Automatic repair of buggy if conditions and missing preconditions with SMT
A practical guide for using statistical tests to assess randomized algorithms in software engineering
Cross-supervised synthesis of web-crawlers
Verification of ORM-based Controllers by Summary Inference
Investigating User Perceptions of Conversational Agents for Software-related ExploratoryWeb Search
Let's Talk Open-Source - An Analysis of Conference Talks and Community Dynamics
EGFE: End-to-end Grouping of Fragmented Elements in UI Designs with Multimodal Learning
A Framework for Ensuring and Improving Dependability in Highly Distributed Systems
COMB: computing relevant program behaviors
Duplicate finder toolkit
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
Pairwise testing of dynamic composite services
Qualitatively Analyzing PR Rejection Reasons from Conversations in Open-Source Projects
Towards Systematic Recycling of Systems Requirements
Investigation of Mutual-Influence among Blockchain Development Communities and Cryptocurrency Price Changes
BEDIVFUZZ: Integrating Behavioral Diversity into Generator-based Fuzzing
2nd international workshop on software engineering for automotive systems
Avestan: a declarative modeling language based on SMT-LIB
Metamorphic-Based Many-Objective Distillation of LLMs for Code-Related Tasks
Supporting extract class refactoring in Eclipse: The ARIES project
A series of development methodologies for a variety of systems in Korea
An Application Conflict Detection and Resolution System for Smart Homes
On the Integration of Design and Test: A Model-Based Approach for Embedded Systems
Socio-technical coordination (keynote)
Which configuration option should I change?
ACID: An API Compatibility Issue Detector for Android Apps
A Threat Model Driven Approach for Security Testing
Summary for scrutinizing agile practices or shoot-out at process corral!
Chat activity is a better predictor than chat sentiment on software developers productivity
Anomaly Detection in a Large-Scale Cloud Platform
Performance-related completions for software specifications
Proceedings of the 2008 International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2008, Leipzig, Germany, Tuesday, May 13, 2008
Exploring the Potential of ChatGPT in Automated Code Refinement: An Empirical Study
Tangible software modeling with multi-touch technology
SEEUP 2009: Workshop on software engineering foundations for end-user programming
CBR insight: measure and visualize source code quality
Ontology-supported quality assurance for component-based systems configuration
Method-call recommendations from implicit developer feedback
Toward proactive knowledge protection in community-based software development
A Framework for Component Deployment Testing
Lessons learned managing distributed software engineering courses
Mobile enablement of business process management suites
Please fix this mutant: How do developers resolve mutants surfaced during code review?
Understanding and Predicting the Process of Software Maintenance Release
Can an online service predict gender?: on the state-of-the-art in gender identification from texts
Trade-off decisions across time in technical debt management: a systematic literature review
Implementing Reliability: The Interaction of Requirements, Tactics and Architecture Patterns
TABLE: Object Oriented Editing of Complex Structures
Fault localization for build code errors in makefiles
An experience report on the use of Active Learning in Empirical Software Engineering Education: Understanding the pros and cons from the student's perspective
Relating alternate modifications to defect density in software development
A User-friendly Approach to Write and Enforce Rules for Detecting Anomalous Network Traffic in IoT Environments
Stacked Thompson Bandits
Software engineering for multicore systems: an experience report
Architecture recovery of web applications
Towards a formal API assessment
The Making of a Software Engineer
Developing cost-effective model-based techniques for GUI testing
Conceptual Module Querying for Software Reengineering
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique
Design Patterns for Object-Oriented Software Development (Tutorial)
Two principles of end-user software engineering research
Engineering adaptive requirements
Architecting Dependable Systems VII
MAPmAKER: performing multi-robot LTL planning under uncertainty
Cognitive mobile security: invited conference keynote
Interactivity, continuity, sketching, and experience: (keynote abstract)
Trust and tamper-proof software delivery
Collective risk minimization via a bayesian model for statistical software testing
Cost-effective Strategies for Building Energy Efficient Mobile Applications
Towards Inclusive Software Engineering Through A/B Testing: A Case-Study at Windows
Goal-oriented software assessment
OpenRank Leaderboard: Motivating Open Source Collaborations Through Social Network Evaluation in Alibaba
Experience with Performing Architecture Tradeoff Analysis
Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-physical System
PCR-Chain: Partial Code Reuse Assisted by Hierarchical Chaining of Prompts on Frozen Copilot
CSEPM - A Continuous Software Engineering Process Metamodel
Taming behavioral backward incompatibilities via cross-project testing and analysis
Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests
Branching strategies based on social networks
Learning Test Input Constraints from Branch Conditions
Engineering safety in swarm robotics
Introduction to education and training track
Model-Driven Development of Cross-Platform Mobile Applications with Web Ratio and IFML
CodeShovel: A Reusable and Available Tool for Extracting Source Code Histories
Demonstration of a medical device integration and coordination framework
Toward usability problem identification based on user emotions derived from facial expressions
Automatically finding patches using genetic programming
Exploring Dataflow Testing of Arrays
Ready-set-transfer: exploring the technology transfer readiness of academic research projects (panel)
Reengineering legacy systems for supporting SOA: a case study on the brazilian's secretary of state for taxation
DynAlloy: upgrading alloy with actions
Holmes: a system to support software product lines
Inadequate Testing, Time Pressure, and (Over) Confidence: A Tale of Continuous Integration Users
A Programming Model for Sustainable Software
Towards Definitions for Release Engineering and DevOps
An Experience-Based Approach for Integrating Architecture and Requirements Engineering
How developers debug software the DbgBench dataset: poster
Pragmatic reuse in web application development
Software development governance: A meta-management perspective
On incorporating search-based heuristics into real-world systems
Scaling agile software development through lean governance
Optimizing problem space representations through domain multi-modeling
Bridging Theory to Practice in Software Testing Teaching through Team-based Learning (TBL) and Open Source Software (OSS) Contribution
Automatic Prevention of Accidents in Production
How to design a program repair bot?: insights from the repairnator project
Specific Air Traffic Management Cybersecurity Challenges: Architecture and Supply Chain
Testing the untestable: model testing of complex software-intensive systems
Demeter: A Case Study of Software Growth through Parameterized Classes
A models@runtime framework for designing and managing Service-Based Applications
Is Search-Based Unit Test Generation Research Stuck in a Local Optimum?
Leveraging Feature Bias for Scalable Misprediction Explanation of Machine Learning Models
Building domain-specific modelling environments with papyrus: an experience report
An approach to variability management in service-oriented product lines
Automated xacml policy reconfiguration for evaluation optimisation
Perceptions about Software Testing among UAE Software Students
IconIntent: automatic identification of sensitive UI widgets based on icon classification for Android apps
Mobile App Development and Management: Results from a Qualitative Investigation
BSan: A Powerful Identifier-Based Hardware-Independent Memory Error Detector for COTS Binaries
TOAD: a tool for recommending auto-refactoring alternatives
Value-based program characterization and its application to software plagiarism detection
Towards predicting the impact of software changes on building activities
Boosting static analysis of Android apps through code instrumentation
Browsing and searching source code of applications written using a GUIframework
MalCertain: Enhancing Deep Neural Network Based Android Malware Detection by Tackling Prediction Uncertainty
Towards state-of-the-art and future trends in testing of active safety systems
35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013
Unified modeling of attacks, vulnerabilities and security activities
Unveiling the Life Cycle of User Feedback: Best Practices from Software Practitioners
At the End of Synthesis: Narrowing Program Candidates
An examination of shared understanding in free/libre open source project maintenance
Leveraging leadership lessons from software process improvement efforts for architecture leadership & management
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks
On the Self-Governance and Episodic Changes in Apache Incubator Projects: An Empirical Study
Collaborative infrastructure for test-driven scientific model validation
Interface decomposition for service compositions
From Input to Failure: Explaining Program Behavior via Cause-Effect Chains
Understanding the Effectiveness of Coverage Criteria for Large Language Models: A Special Angle from Jailbreak Attacks
45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, SEIP@ICSE 2023, Melbourne, Australia, May 14-20, 2023
Global software development in the freeBSD project
4th ICSE Workshop on "Software Engineering over the Internet"
Software component quality assessment in practice: successes and practical impediments
Software Design Studio: A Practical Example
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016
Investigating the Impact of Interpersonal Challenges on Feeling Welcome in OSS
Challenges in the user interface design of an IDE tool recommender
Precise Divide-By-Zero Detection with Affirmative Evidence
Early Career Software Developers - Are You Sinking or Swimming?
CLEAR: Contrastive Learning for API Recommendation
Empirical interval estimates for the defect content after an inspection
An environment for synchronous software development
Migration of Legacy Assets to Service-Oriented Architecture Environments
Prodirect manipulation: bidirectional programming for the masses
Propagating configuration decisions with modal implication graphs
Detecting Communities of Methods Using Dynamic Analysis Data
Advancing energy testing of mobile applications
Prediction and Management of Program Quality
Green streams for data-intensive software
International Workshop on Testing Distributed Component-Based Systems
Understanding and Detecting Peer Dependency Resolving Loop in npm Ecosystem
Seldonian Toolkit: Building Software with Safe and Fair Machine Learning
Game Elements in a Software Engineering Study Group: A Case Study
Parallelizing Audio Analysis Applications - A Case Study
Explainable software analytics
Towards overcoming human analyst fallibility in the requirements tracing process
Emergent process design
Improving failure-inducing changes identification using coverage analysis
Understanding and Predicting Effort in Software Projects
Workshop on comparison and versioning ofsoftware models (CVSM08)
Metrics for Architectural Synthesis and Evaluation - Requirements and Compilation by Viewpoint. An Industrial Experience Report
McFSM: Globally Taming Complex Systems
An Integrated Multi-Agent-Based Simulation Approach to Support Software Project Management
An Empirical Study on Quality Issues of Production Big Data Platform
AIM: Adaptable Instrumentation and Monitoring for Automated Software Performance Analysis
The Maturation of Empirical Studies
Don't Do That! Hunting Down Visual Design Smells in Complex UIs against Design Guidelines
UIS-Hunter: Detecting UI Design Smells in Android Apps
Proceedings of the 11th International Conference on Software Engineering, Pittsburg, PA, USA, May 15-18, 1989
Automatic Maintenance of Routine Programming Tasks Based on a Declarative Description (Experience Report)
A cost-benefit framework for making architectural decisions in a business context
An efficient, robust, and scalable approach for analyzing interacting android apps
Software reliability via machine learning (invited talk)
An Empirical Study of Static Call Graph Extractors
Social aspects and how they influence MSECO developers
The Parameterized Safety Requirements Templates
Building Usage Profiles Using Deep Neural Nets
Schrödinger's security: opening the box on app developers' security rationale
Static Analysis for Android GDPR Compliance Assurance
The Future of Empirical Methods in Software Engineering Research
SASS: Self-Adaptation Using Stochastic Search
Data and Materials for: Why Don't Developers Detect Improper Input Validation?'; DROP TABLE Papers; -
VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition
Is a strategy for code smell assessment long overdue?
The LEAP Load and Test Driver
Computation of refactoring plans from refactoring strategies using HTN planning
Open-source software in class: students' common mistakes
Towards collaboration-centric pattern-based software development support
The carr-benkler wager and its implications for ULS software engineering
Quantifiable Software Architecture for Dependable Systems of Systems
Non-Atomic Refactoring and Software Sustainability
Detecting inconsistencies in wrappers: a case study
SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020
A history-based matching approach to identification of framework evolution
On the effectiveness of random testing for Android: or how i learned to stop worrying and love the monkey
Black Box Technique to Reduce Energy Consumption of Android Apps
Using Software Component Generators to Contstruct a Meta-Weaver Framework
Proceedings of the 2006 International Workshop on Global Software Development For the Practitioner, GSD '06, Shanghai, China, May 23, 2006
How do Android operating system updates impact apps?
Effort estimation of use cases for incremental large-scale software development
Using software evolution history to facilitate development and maintenance
Impact of collaborative traces on trustworthiness
Keynote 1: The Quest for Tau Ceti
Automating Embedded Software Testing on an Emulated Target Board
Training software engineers using open-source software: the students' perspective
Cost Estimation for Web Applications
Recommendations as learning: from discrepancies to software improvement
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions
A Large System Evaluation of SREM
Experience Using the Graphite Meta-Tool (Experience Report)
E-Mentoring for Software Engineering: A Socio-Technical Perspective
Greening Large Language Models of Code
The Impact of Retrieval Direction on IR-Based Traceability Link Recovery
SMT-based bounded model checking for multi-threaded software in embedded systems
Finding Causally Different Tests for an Industrial Control System
Deadlock detector and solver (DDS)
Debugging inputs
REFTY: Refinement Types for Valid Deep Learning Models
A compositional approach to bidirectional model transformation
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
A semi-automated approach to foster the validation of collaborative networks of cyber-physical systems
An Architecture for Intelligent Assistance in Software Development
Proceedings of the 1st International Workshop on Release Engineering, RELENG 2013, San Francisco, California, USA, May 20, 2013
RACEZ: a lightweight and non-invasive race detection tool for production applications
A Requirements Engineering Methodology for Real-Time Processing Requirements (Abstract)
Automated support for human resource allocation in software process by cluster analysis
Efficient generation of error-inducing floating-point inputs via symbolic execution
Finding synchronization defects in java programs: extended static analyses and code patterns
Automated Test Generation for Access Control Policies via Change-Impact Analysis
Algebraic Specification of Macintosh's Quickdraw Using OBJ2
Using a Semantic Knowledge Base to Improve the Management of Security Reports in Industrial DevOps Projects
Semantic-based Architecture Smell Analysis
Flexible Communication Architecture for Dependable Time-Triggered Systems
An LLM-Based Agent-Oriented Approach for Automated Code Design Issue Localization
Requirements and specifications for adaptive security: concepts and analysis
Human performance regression testing
Automated Handling of Anaphoric Ambiguity in Requirements: A Multi-solution Study
EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact)
How to teach software modeling
2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017
Liability for software in safety-critical mechatronic systems: An industrial questionnaire
Temporal discounting in technical debt: how do software practitioners discount the future?
36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014
Visual Requirements Specification and Automated Test Generation for Digital Applications
Software process improvement by object technology (ESSI PIE 27785 -- SPOT)
An infrastructure for development of object-oriented, multi-level configuration management services
Fifth International Workshop on Dynamic Analysis (WODA 2007)
Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment
Identification of cultural influences on requirements engineering activities
The Second ISEW Cleanroom Workshop
Presenting and evaluating the impact of experiential learning in computing accessibility education
A QoS-based service acquisition model for IS services
Software Requirements: Are They Really a Problem?
Improving learning outcomes through systematic group reformation: the role of skills and personality in software engineering education
Refactoring-aware code review: a systematic mapping study
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
Efficient Compiler Autotuning via Bayesian Optimization
Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems
Effective Software Architecture Design: From Global Analysis to UML Descriptions
Prototyping vs. Specifying: A Multi-Project Experiment
Automatically capturing source code context of NL-queries for software maintenance and reuse
Software engineering for undergraduates
Online inference and enforcement of temporal properties
Integrating product family modeling with development management in agile methods
A Strategy for Content Reusability with Product Lines Derived from Experience in Online Education
Proceedings of the 2nd International Workshop on Software Engineering Education for Millennials, SEEM@ICSE 2018, Gothenburg, Sweden, June 2, 2018
Observing timed systems by means of message sequence chart graphs
Balancing acts: walking the Agile tightrope
A multi-model framework to implement self-managing control systems for QoS management
Third workshop on software quality
Benchmarking microservice systems for software engineering research
An Approximate Theory for Value Sensitivity
PerfProbe: a systematic, cross-layer performance diagnosis framework for mobile platforms
IoT end user programming models
Eadro: An End-to-End Troubleshooting Framework for Microservices on Multi-source Data
Detecting and visualizing inter-worksheet smells in spreadsheets
The Smelly Eight: An Empirical Study on the Prevalence of Code Smells in Quantum Computing
A self-adaptive deployment framework for service-oriented systems
Code Impact Beyond Disciplinary Boundaries: Constructing a Multidisciplinary Dependency Graph and Analyzing Cross-Boundary Impact
Proceedings of the 13th international workshop on Early Aspects, EA@ICSE '08, Leipzig, Germany, May 12, 2008
Code Review of Build System Specifications: Prevalence, Purposes, Patterns, and Perceptions
The Impact of Research on Middleware Technology
Program slicing-based cohesion measurement: the challenges of replicating studies using metrics
What dynamic network metrics can tell us about developer roles
Architecting secure mobile P2P systems
Three key checklists and remedies for trustworthy analysis of online controlled experiments at scale
Enhancing architecture-implementation conformance with change management and support for behavioral mapping
The Factory Pattern in API Design: A Usability Evaluation
Toward Automated Tools to Support Ethical GUI Design
Safe software updates via multi-version execution
Optimizing seed inputs in fuzzing with machine learning
Managing mutiple applications in a service platform
CheckDroid: A Tool for Automated Detection of Bad Practices in Android Applications Using Taint Analysis
Understanding Conflicts Arising from Collaborative Development
The Future of Software Performance Engineering
Learning graph representations for defect prediction
Deuce: a lightweight user interface for structured editing
Knowledge-Based Software Design Using Design Schemas
Fault comprehension for concurrent programs
Design and implementation of the software architecture for a 3-D reconstruction system in medical imaging
LM: a miner for scenario-based specifications
Validation Through Testing
Feedback-directed unit test generation for C/C++ using concolic execution
Metrics for model driven requirements development
Along the Margins: Marginalized Communities' Ethical Concerns about Social Platforms
Metamorphic Testing for Adobe Data Analytics Software
The evolution of C programming practices: a study of the Unix operating system 1973-2015
Having fun in learning formal specifications
Improving Student Group Work with Collaboration Patterns: A Case Study
The impacts of software process improvement on developers: A systematic review
Second ICSE Workshop on Web Engineering
Instructor's Acceptance of Games Utilization in Undergraduate Software Engineering Education: A Pilot Study in Turkey
Performance regression testing target prioritization via performance risk analysis
Assessing the effectiveness of AI generated code in Improving Software Engineering Processes using GPT-Engineer with OpenAI GPT models
Video analysis of pair programming
Specification-Level Integration of Simulation and Dependability Analysis
GRADESTYLE: GitHub-Integrated and Automated Assessment of Java Code Style
Teachers' Beliefs and Practices on the Naming of Variables in Introductory Python Programming Courses
ICSE Workshop: Software Engineering for Automotive Systems
Verifying Declarative Smart Contracts
An approach for continuous inspection of source code