yusuke1997/dblp-id-title huggingface dataset:
GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors
2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013, San Francisco, CA, USA, May 25-26, 2013
A Multi-Agent Approach for REST API Testing with Semantic Graphs and LLM-Driven Inputs
The Future of Programming Environments: Integration, Synergy, and Assistance
An Exploratory Study of Bot Commits
Exploring software engineering practices in small and medium-sized organizations
High assurance human-centric decision systems
GIFdroid: Automated Replay of Visual Bug Reports for Android Apps
Technical Briefing: Hands-On Session on the Development of Trustworthy AI Software
Tool Interfaces in Integrated Project Support Environments
Mining application repository to recommend XML configuration snippets
Fine with "1234"? An Analysis of SMS One-Time Password Randomness in Android Apps
TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications
Searching for build debt: experiences managing technical debt at Google
Mining Software Repositories for Social Norms
Leverage human aspects in test engineering
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs
VERMEER: A Tool for Tracing and Explaining Faulty C Programs
An unsupervised approach for discovering relevant tutorial fragments for APIs
Rubacon: automated support for model-based compliance engineering
How tagging helps bridge the gap between social and technical aspects in software development
Automatic Monitoring of Software Requirements
Obfuscating Windows DLLs
Attribution-based Personas in Virtual Software Engineering Education
Case studies in industry: what we have learnt
An empirical study on the interplay between semantic coupling and co-change of software classes
Four enhancements to automateddistributed system experimentation methods
A declarative approach for updating distributed microservices
Assessing software development skills among K-6 learners in a project-based workshop with scratch
Measuring Discrimination to Boost Comparative Testing for Multiple Deep Learning Models
Evolutionary fuzzing for genetic improvement: toward adaptive software defense
Designing a capability-centric web tool to support agile team composition and task allocation: a work in progress
IDEs need become open data platforms (as need languages and VMs)
GUI-guided repair of mobile test scripts
GUILeak: tracing privacy policy claims on user input data for Android applications
Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation
Leveraging test generation and specification mining for automated bug detection without false positives
GUIDE: LLM-Driven GUI Generation Decomposition for Automated Prototyping
Collaboration Challenges in Building ML-Enabled Systems: Communication, Documentation, Engineering, and Process
Enhancing precision of structured merge by proper tree matching
The software engineering of agent-based intelligent adaptive systems
Ambient awareness of build status in collocated software teams
Embedded Architect: A Tool for Early Performance Evaluation of Embedded Software
Analyzing the change-proneness of service-oriented systems from an industrial perspective
Content-Based Multi-platform App Forge
Games for Learning: Bridging Game-Related Education Methods to Software Engineering Knowledge Areas
Beyond boolean product-line model checking: dealing with feature attributes and multi-features
Beyond Syntax: How Do LLMs Understand Code?
8th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE 2015)
System Support for Modular Order-Sorted Horn Clause Specifications
Mixing Abstract and Concrete Modules: Specification, Development and Prototyping
Science of design
Data-Driven Implementation of Data Flow Diagrams
How junior developers deal with their technical debt?
Multibook's test environment
Data-directed contextual relevance in the IoT
SLA Protection models for virtualized data centers
Architecting Security with Paradigm
A Pattern-Based Formalization of Cloud-Based Elastic Systems
Second international workshop on interdisciplinary software engineering research (WISER)
Same File, Different Changes: The Potential of Meta-Maintenance on GitHub
Collaborating with industrial customers in a capstone project course: the customers' perspective
JooMDD: a model-driven development environment for web content management system extensions
Energy Consumption of Automated Program Repair
Compositional Symbolic Execution with Memoized Replay
High-Pressure Steam Engines and Computer Software
Towards a Topology for Legacy System Migration
Software Development Based on Module Interconnection
An Open Framework for Dynamic Reconfiguration
On Executable Models for Rule-Based Prototyping
Towards automated test case generation maturity
Unveiling the Energy Vampires: A Methodology for Debugging Software Energy Consumption
Some Experiences of Critical Software Development
Psychological safety and norm clarity in software engineering teams
Mining Hypernyms Semantic Relations from Stack Overflow
A Unified Browser-Based Consent Management Framework
Scripting a refactoring with Rascal and Eclipse
An interactive multimedia software house simulation for postgraduate software engineers
A User-centered Security Evaluation of Copilot
Leveraging software architectures to guide and verify the development of sense/compute/control applications
Simulating the Behaviour of Software Modules by Trace Rewriting
Self-healing by means of automatic workarounds
A comparison of stemming techniques in tracing
We don't need another hero?: the impact of "heroes" on software development
Towards exploiting the full adaptation potential of cloud applications
Towards strengthening software library interfaces with granular and interactive type migrations
Improving data scientist efficiency with provenance
Improving Machine Translation Systems via Isotopic Replacement
Metamorphic exploration of an unsupervised clustering program
Evolution in the Design of Abstract Machines for Software Portability
Industrial Big Data Analytics: Lessons from the Trenches
ToLambda: automatic path to serverless architectures
Challenges on software defect analysis in smart grid applications
Transparent combination of expert and measurement data for defect prediction: an industrial case study
A learning algorithm for change impact prediction
User-centered design in developing countries: a case study of a sustainable intercultural healthcare platform in Ethiopia
Practical semantic test simplification
An architectural style for high-performance asymmetrical parallel computations
Evolving requirements in patient-centered software
Enabling a classroom design studio with a collaborative sketch design tool
AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction
Automated identification of libraries from vulnerability data
An Exploratory Study on the Refactoring of Unit Test Files in Android Applications
Argo: A Design Environment for Evolving Software Architectures
Reducing energy consumption of resource-intensive scientific mobile applications via code refactoring
Reverse Engineering of Legacy Code Exposed
Robot on!: a serious game for improving programming comprehension
Data model evolution using object-NoSQL mappers: folklore or state-of-the-art?
Learning to Reduce False Positives in Analytic Bug Detectors
CATLES: a crowdsensing-supported interactive world-scale environment simulator for context-aware systems
Agile Development: Evaluation and Experience
Invivo Fuzzing by Amplifying Actual Executions
Detecting missing checks for identifying insufficient attack protections
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing
Impact of Commercial Off-the-Shelf (COTS) Software on the Interface Between Systems and Software Engineering
1st international workshop on the engineering of mobile-enabled systems (MOBS 2013)
Constructural software documentation
A method for web service description by using problem frames approach
An interactive learning method to engage students in modeling
ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking
Safe-DS: A Domain Specific Language to Make Data Science Safe
Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation
Modeling Product Line Architectures through Change Sets and Relationships
Moving the goalposts: coverage satisfaction is not enough
Is "better data" better than "better data miners"?: on the benefits of tuning SMOTE for defect prediction
Planning-based security testing of web applications
CoVeriTeam Service: Verification as a Service
An Environment for Producing Well-Engineered Microcomputer Software
Autonomic Testing: Testing with Scenarios from Production
Can quality graduate software engineering courses really be delivered asynchronously on-line?
Integrating UML diagrams for production control systems
Proceedings of the 5th International Conference on Software Engineering, San Diego, California, USA, March 9-12, 1981
Towards governance schemes for distributed software development projects
Field testing of software applications
Effort estimation from change records of evolving software (poster)
Architecting Dependable Systems VI
SMT-based refutation of spurious bug reports in the clang static analyzer
DebtFlag : technical debt management with a development environment integrated tool
Towards understanding and reasoning about Android interoperations
4th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2015, Florence, Italy, May 17, 2015
Completeness Criteria for Testing Elementary Program Functions
Computer Professional Ethics in Theory and in Practice
IEEE/ACM Symposium on Software Engineering in the Global South, SEiGS@ICSE 2025, Ottawa, ON, Canada, May 3, 2025
Security as Culture: A Systematic Literature Review of DevSecOps
COPAL-ML: a macro language for rapid development of context-aware applications in wireless sensor networks
Database Theory for Supporting Specification-Based Database Systems Development
Enhancing Women's Experiences in Software Engineering
Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis
Verification of Fairness in an Implementation of Monitors
6th IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, SESoS@ICSE 2018, Gothenburg, Sweden, May 29, 2018
Increasing student engagement in higher education using a context-aware Q&A teaching framework
Visually reasoning about system and resource behavior
INDIRECT: intent-driven requirements-to-code traceability
Instantaneous performance bug detection in IDE
Technology Dependence in Function Point Analysis: A Case Study and Critical Review
Improving wide-area distributed system availability
A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry
Towards production ready software in project courses with real clients
Process evolution to support system of systems engineering
Hyperheuristic Search for SBST
μMT: a data mutation directed metamorphic relation acquisition methodology
Workplace warriors: identifying team practices of appropriation in software ecosystems
Zenet: generating and enforcing real-time temporal invariants
The Specification and Testing of Quantified Progress Properties in Distributed Systems
A complexity tale: web configurators
Spreadsheets for Stream Partitions and Windows
Practical experiences in designing and conducting empirical studies in industry-academia collaboration
MAIDAY: An Environment for Guided Programming
It's the Activities, Stupid! A New Perspective on RE Quality
Knowledge-assisted product requirements configurator
Data-Driven Evidence-Based Syntactic Sugar Design
An incremental methodology for quantitative software architecture evaluation with probabilistic models
Software engineering themes for the future
Crowdsourced Exploration of Mobile App Features: A Case Study of the Fort McMurray Wildfire
Coupled evolution of model-driven spreadsheets
ALPACA-advanced linguistic pattern and concept analysis framework for software engineering corpora
An Analytic Framework for Specifying and Analyzing Imprecise Requirements
Lessons learned from 25 years of process improvement: the rise and fall of the NASA software engineering laboratory
D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential Analysis
CocoViz with ambient audio software exploration
How to analyze git repositories with command line tools: we're not in kansas anymore
The Impact of Mislabelling on the Performance and Interpretation of Defect Prediction Models
Improving the Condensing of Reverse Engineered Class Diagrams using Weighted Network Metrics
User interaction monitoring and analysis framework
The Concept Assignment Problem in Program Understanding
Dozer: Migrating Shell Commands to Ansible Modules via Execution Profiling and Synthesis
Cross-platform testing and maintenance of web and mobile applications
D-TAF: test automation framework compatible with various DBMS
Representing string computations as graphs for classifying malware
Smart checklists to improve healthcare outcomes
Refounding software engineering: The Semat initiative (Invited presentation)
Software Engineering View of a Large-Scale System Failure and the Following Lawsuit
A Hybrid Simulation Model for Crowdsourced Software Development
Challenges for static analysis of Java reflection: literature review and empirical study
A language for feedback loops in self-adaptive systems: Executable runtime megamodels
A Formal Approach to Determining Parallel Resource Bindings: Experience Report
Automatic generation of parallel unit tests
Improving the testing efficiency of selenium-based load tests
Building Anti-Phishing Browser Plug-Ins: An Experience Report
2nd International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2013, San Francisco, CA, USA, May 18, 2013
Technical debt-related information asymmetry between finance and IT
Searching models, modeling search: On the synergies of SBSE and MDE
ALPACA: a large portfolio-based alternating conditional analysis
Revealing Hidden Threats: An Empirical Study of Library Misuse in Smart Contracts
Modeling behavioral design patterns of concurrent objects
Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models, CVSM '09, Vancouver, BC, Canada, May 2009
Proceedings of the 8th International Workshop on Modeling in Software Engineering, MiSE@ICSE 2016, Austin, Texas, USA, May 16-17, 2016
Measuring the Runtime Performance of C++ Code Written by Humans Using Github Copilot
From security patterns to implementation using petri nets
Object-Oriented Analysis for Evolving Systems
Guigle: a GUI search engine for Android apps
Towards highly scalable runtime models with history
Towards Explicitly Elastic Programming Frameworks
TacoPlug: an Eclipse plug-in for TACO
Applying regression test selection for COTS-based applications
Live programming the behavioral layer of robots
Baseball Seasons and Dog Years
Supporting comprehension of unfamiliar programs by modeling an expert's perception
Formally Verified Credentials Management for Industrial Control Systems
Incremental state-space exploration for programs with dynamically allocated data
Development of Object Oriented Frameworks for Spatio-Temporal Information systems
Causes-based problems in business process compliance based management
A Scenario-Driven Approach to Traceability
Observations on Industrial Practice Using Formal Methods
A risk management capability model for use in medical device companies
An Algebraic Data Type Specification Language and Its Rapid Prototyping Environment
Usage-Centered Software Engineering: An Agile Approach to Integrating Users, User Interfaces, and Usability into Software Engineering Practice
Making malory behave maliciously: targeted fuzzing of android execution environments
RIdiom: Automatically Refactoring Non-Idiomatic Python Code with Pythonic Idioms
Eliciting programming challenges faced by developers with visual impairments: exploratory study
Analysis of a Scheduler for a CAD Framework
AutoTransform: Automated Code Transformation to Support Modern Code Review Process
Assessment of Data Obfuscation with Residue Number Coding
Re-Imagining Performance Reviews: Automated Dashboards for Continuous Visibility of Engineers' Performance
How Magic Is Zero?: An Empirical Analysis of Initial Development Releases in Three Software Package Distributions
Tutorial H2: An Overview of UML 2.0
Alexa, is the skill always safe? Uncover Lenient Skill Vetting Process and Protect User Privacy at Run Time
Assessing the impact of hints in learning formal specification
Incremental and Commutative Composition of State-Machine Models of Features
Software in the Manufacturing Industry: Emerging Security Challenge Areas for IIoT Platforms
Workshop description of 4th workshop on software quality (WOSQ)
Calysto: scalable and precise extended static checking
The relationship between personality and value-based decision-making
System Component-Level Self-Adaptations for Security via Bayesian Games
ECSE Workshop on Software Visualization
Lean healthcare processes: effective technology integration and comprehensive decision support using requirements engineering methods
Tricorder: Building a Program Analysis Ecosystem
A qualitative study about the life cycle of lessons learned
Detecting differences across multiple instances of code clones
Using traceability links to identifying potentially erroneous artifacts during regulatory reviews
Comparison of model size predictors in practice
A domain specific requirements model for scientific computing
Applying agile methods to embedded software development: A systematic review
Using a validation model to measure the agility of software development in a large software development organization
Barriers to gender diversity in software development education: actionable insights from a danish case study
Induction as the Basis for Program Verification (Abstract)
Towards Bidirectional Live Programming for Incomplete Programs
Debugging with probabilistic event structures
RTj: a Java framework for detecting and refactoring rotten green test cases
Augmented intelligence - The new AI - Unleashing human capabilities in knowledge work
Software metrics artifacts making web quality measurable: AST 2019 invited paper
Continuous inspection in the classroom: improving students' programming quality with social coding methods
An Empirical Analysis of UI-based Flaky Tests
ThEodorE: a Trace Checker for CPS Properties
BPGen: an automated breakpoint generator for debugging
EMFStore: a model repository for EMF models
An industrial case study on quality impact prediction for evolving service-oriented software
Designing software for unfamiliar domains
State of mutation testing at google
Verification and testing at run-time for online quality prediction
Integrating Usability-Engineering into the Software Developing Processes of SME: A Case Study of Software Developing SME in Germany
The Vienna Component Framework Enabling Composition Across Component Models
Automatic validation of infinite real-time systems
LicenseRec: Knowledge based Open Source License Recommendation for OSS Projects
A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers
Scaling application-level dynamic taint analysis to enterprise-scale distributed systems
Feature-model interfaces: the highway to compositional analyses of highly-configurable systems
Obtaining ground-truth software architectures
Proceedings of the 1st International Workshop on Software Health, SoHeal@ICSE 2018, Gothenburg, Sweden, May 27, 2018
CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes
SPAIN: security patch analysis for binaries towards understanding the pain and pills
Software Process Description Using LOTOS and Its Enaction
Beyond ALBE/P: Language Neutral Form
Coding to Cope: Teaching Programming to Children with Emotional and Behavioral Disorders
Model Checking for Mobile Android Malware Evolution
The Impacts of Sentiments and Tones in Community-Generated Issue Discussions
MROS: A framework for robot self-adaptation
Rethinking the Taxonomy of Fault Detection Techniques
A Generic Formal Framework for Protocol Interoperability Test and Test Cases Minimization
Code review participation: game theoretical modeling of reviewers in gerrit datasets
Pattern-based mining of opinions in Q&A websites
Dependable Composite Web Services with Components Upgraded Online
Leveraging motivational theories for designing gamification for RE
Second International Workshop on From SofTware Requirements to Architectures (STRAW?03)
Ethos, pathos, and logos to prevent sexual harassment at workplaces: a regulatory solution based on operant conditioning
Improving Android permissions models for increased user awareness and security
CQM: coverage-constrained quality maximization in crowdsourcing test
Reflecting on self-adaptive software systems
10th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017
Empirical studies of software engineering: a roadmap
Automated refactoring of OCL constraints with search
The Fact Selection Problem in LLM-Based Program Repair
Teaching MLOps in Higher Education through Project-Based Learning
Panel: eXtreme Programming: Helpful or Harmful?
Optimizing test placement for module-level regression testing
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, ICSE (SEIP) 2019, Montreal, QC, Canada, May 25-31, 2019
3rd IEEE/ACM International Workshop on Software Vulnerability Management, SVM@ICSE 2025, Ottawa, ON, Canada, May 3, 2025
Stakeholder involvement into quality definition and evaluation for service-oriented systems
The Importance of Being Positive in Causal Statistical Fault Localization: Important Properties of Baah et al.'s CSFL Regression Model
Managing API Evolution in Microservice Architecture
Traceability Challenge 2013: Query+ enhancement for semantic tracing (QuEST): Software verification and validation research laboratory (SVVRL) of the University of Kentucky
Software Engineering Education: Towards Ethical, Reliable, and Beautiful Software
A study on behavioral backward incompatibility bugs in Java software libraries: poster
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017)
Towards Training Reproducible Deep Learning Models
Introduction of continuous delivery in multi-customer project courses
Living with COTS
Assessment of a Hybrid Software Development Process for Student Projects: A Controlled Experiment
Improving Predictability, Efficiency and Trust of Model-Based Proof Activity
A case study of interactive development of passive tests
Toward Actionable Software Architecture Traceability
Non-functional requirements analysis modeling for software product lines
2nd IEEE/ACM International Workshop on Software Architecture and Metrics, SAM 2015, Florence, Italy, May 16, 2015
Revisiting Android App Categorization
Separating exceptional concerns
Evaluating Large Language Models in Class-Level Code Generation
An investigation of cross-project learning in online just-in-time software defect prediction
Towards architecting digital twin-pervaded systems
Concolic testing for high test coverage and reduced human effort in automotive industry
AC-Contract: Run-Time Verification of Context-Aware Applications
Evaluating the Generalizability of LLMs in Automated Program Repair
Automatic generation and maintenance of correct spreadsheets
Tool Support for Formal Methods
Performance modeling in industry: a case study on storage virtualization
Evolutionary computation for improving malware analysis
Addressing Performance Regressions in DevOps: Can We Escape from System Performance Testing?
DeCaf: diagnosing and triaging performance issues in large-scale cloud services
How not to structure your database-backed web applications: a study of performance bugs in the wild
Studying human and social aspects of testing in a service-based software company: case study