yusuke1997/dblp-id-title huggingface dataset:
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders
Intent to share: enhancing Android inter-component communication for distributed devices
Sufficient mutation operators for measuring test effectiveness
Inferring Automatic Test Oracles
Analytics-Driven Load Testing: An Industrial Experience Report on Load Testing of Large-Scale Systems
3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015)
Assisting developers with license compliance
Testing Web Enabled Simulation at Scale Using Metamorphic Testing
Software design using UML for empowering end-users with an external domain specific language
A design for adaptive web service evolution
Introducing usability testing in the risk management process in software development
Establishing trustworthiness in services of the critical infrastructure through certification and accreditation
Design and rationale of a quality assurance process for a scientific framework
Working Group on Formal Methods in HCI and Software Engineering
Software Ticks Need No Specifications
Automated user reviews analyser
Mutation Testing Meets Approximate Computing
Software process improvement through the identification and removal of project-level knowledge flow obstacles
A study of equivalent and stubborn mutation operators using human analysis of equivalence
Balancing resources and load: eleven nontechnical phenomena that contribute to formation or persistence of technical debt
Application of Software Reliability Modeling to Product Quality and Test Process
Reducer-based construction of conditional verifiers
LaSSIE: a Knowledge-based Software Information System
Towards an integrated system model for testing and verification of automation machines
On the relationships between domain-based coupling and code clones: an exploratory study
Nomen est omen: exploring and exploiting similarities between argument and parameter names
Automated Feature Document Review via Interpretable Deep Learning
IEEE/ACM Requirements Engineering for AI-powered Softwar, RAISE@ICSE 2025, Ottawa, ON, Canada, May 3, 2025
Blockchain networks as adaptive systems
Sentiment analysis for software engineering: how far can we go?
ArchStudio 4: An Architecture-Based Meta-Modeling Environment
Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04)
Examining the co-evolution relationship between simulink models and their test cases
Efficient detection of thread safety violations via coverage-guided generation of concurrent tests
The Importance of Mobile Software Ecosystems in Smart Rural Areas
What is trust in a recommender for software development?
Trace Matrix Analyzer (TMA)
Compiler-directed Migrating API Callsite of Client Code
More natural end-user software engineering
What makes it hard to apply software product lines to educational technologies?
A software tool to convert requirements to test cases
HDD: hierarchical Delta Debugging
Daisy: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis
Graph-aided directed testing of Android applications for checking runtime privacy behaviours
Patching vulnerabilities with sanitization synthesis
Graphical animation of behavior models
Towards Systems Engineering: A Personal View of Progress
Improving automated program repair with retrospective fault localization
Evaluation of Software Safety
An overview of the ICSE 2000 workshop program
Software quality development and assurance in RUP, MSF and XP: a comparative study
Enhancing OSS Remediation with Patch Backporting
Behaviour Model Synthesis from Properties and Scenarios
GDPR indications in commits messages in GitHub repositories
The processes of joining in global distributed software projects
Anywhere, Anytime Code Inspections: Using the Web to Remove Inspection Bottlenecks in Large-Scale Software Development
EvoSuite at the SBST 2016 tool competition
5th IEEE/ACM International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2015, Florence, Italy, May 17, 2015
Team-Oriented Consistency Checking of Heterogeneous Engineering Artifacts
IoT Bugs and Development Challenges
Context-aware in-process crowdworker recommendation
GIFdroid: An Automated Light-weight Tool for Replaying Visual Bug Reports
Toward Adaptive, Self-Aware Test Automation
Tales from an Agile Journey: Designing Curricula for Millennials in Industry and Academia
An investigation of work practices used by companies making contributions to established OSS projects
Cerberus: a Program Repair Framework
Executable Requirements for Embedded Systems
Continuous software quality supervision using SourceInventory and Columbus
Toward Automatically Completing GitHub Workflows
Quality of service profiling
Investigating technical debt folklore: shedding some light on technical debt opinion
Architecture-based reliability analysis of web services in multilayer environment
A conceptual model for cooperative thinking
Visualizing swift projects as cities: poster
2nd IEEE/ACM International Workshop on Emotion Awareness in Software Engineering, SEmotion@ICSE 2017, Buenos Aires, Argentina, May 21, 2017
View infinity: a zoomable interface for feature-oriented software development
A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library
A Reliability Model Combining Representative and Directed Testing
Theoretical and Empirical Studies of Program Testing
Targeted greybox fuzzing with static lookahead analysis
Using measurements to support real-option thinking in agile software development
Prioritizing alerts from multiple static analysis tools, using classification models
Research journey towards industrial application of reuse technique
Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation
Towards electronic health record support for collaborative processes
One Fuzzing Strategy to Rule Them All
1st FME workshop on formal methods in software engineering (FormaliSE 2013)
Vision: mobile ehealth learning and intervention platform
Evaluating search-based techniques with statistical tests
Identifying Transitivity Threats in Social Networks
Topes: reusable abstractions for validating data
What make long term contributors: Willingness and opportunity in OSS community
Comparison of Two Component Frameworks: The FIPA-Compliant Multi-Agent System and The Web-Centric J2EE Platform
Application of a Double-Loop Learning Approach for Healthcare Systems Design in an Emerging Market
Kongsberg's Road to an Industrial Software Methodology
Different models for model matching: An analysis of approaches to support model differencing
TestKnight: An Interactive Assistant to Stimulate Test Engineering
Factors leading to integration failures in global feature-oriented development: an empirical analysis
Group developmental psychology and software development performance
Software reliability and dependability: a roadmap
TradeMaker: automated dynamic analysis of synthesized tradespaces
A hybrid approach combining control theory and AI for engineering self-adaptive systems
Software component models
Towards facilitating software engineering for production systems in Industry 4.0 with behavior models
Validating formal specifications using testing-based specification animation
The Soot-Based Toolchain for Analyzing Android Apps
On Synchronization and Recovery in Database Systems
Learning gestures for interacting with low-fidelity prototypes
One evaluation of model-based testing and its automation
Security Debt: Characteristics, Product Life-Cycle Integration and Items
Automated Security Repair for Helm Charts
Optimum feature selection in software product lines: Let your model and values guide your search
Recognizing relevant code elements during change task navigation
MuDelta: Delta-Oriented Mutation Testing at Commit Time
The challenges of staying together while moving fast: an exploratory study
Improving bug tracking systems
BOAT: an experimental platform for researchers to comparatively and reproducibly evaluate bug localization techniques
Proceedings of the 2nd International Workshop on Emerging Trends in Software Metrics, WETSoM 2011, Waikiki, Honolulu, HI, USA, May 24, 2011
Global-aware recommendations for repairing violations in exception handling
Analyzing software engineering experiments: everything you always wanted to know but were afraid to ask
Modeling and analyzing performance of software for wireless sensor networks
Does Neuron Coverage Matter for Deep Reinforcement Learning?: A Preliminary Study
Software service engineering: Tenets and challenges
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, ULSSIS@ICSE 2008, Leipzig, Germany, May 10-11, 2008
An Assessment and Comparison of Common Software Cost Estimation Modeling Techniques
Managing quality requirements using activity-based quality models
MODAClouds: a model-driven approach for the design and execution of applications on multiple clouds
Detecting and managing code smells: research and practice
Automated migration support for software product line co-evolution
GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions
ARCA - Automated Analysis of AUTOSAR Meta-model Changes
Does syntax highlighting help programming novices?
Experiences with technical debt and management strategies in production systems engineering
A recommendation framework for allocating global software teams in software product line projects
A hybrid analysis framework for detecting web application vulnerabilities
Analyzing a decade of Linux system calls
An effort and time based measure of usability
UML for Software Engineers
Process issues in course projects
On estimating actuation delays in elastic computing systems
LogReducer: Identify and Reduce Log Hotspots in Kernel on the Fly
Assisting developers of big data analytics applications when deploying on hadoop clouds
A Framework for Software Health Management using Bayesian Statistics: Position Paper
Hard to Read and Understand Pythonic Idioms? DeIdiom and Explain Them in Non-Idiomatic Equivalent Code
FLOSS participants' perceptions about gender and inclusiveness: a survey
Industrial study on test driven development: challenges and experience
ConfigFix: Interactive Configuration Conflict Resolution for the Linux Kernel
Providing an experiential cybersecurity learning experience through mobile security labs
Mobile exergaming: exergames on the go
Benchmark Requirements for Microservices Architecture Research
Tool usage within a globally distributed software development course and implications for teaching
Measuring Cognitive Activities in Software Engineering
Accessibility validation with RAVEN
Cheetah: just-in-time taint analysis for Android apps
Model comprehension for security risk assessment: an empirical comparison of tabular vs. graphical representations
The Second International Workshop on Automated Program Analysis, Testing and Verification
Software pre-patterns as architectural knowledge
The Effect of Department Size on Developer Attitudes to Prototyping
Towards a code of ethics for autonomous and self-adaptive systems
Impact analysis of cross-project bugs on software ecosystems
Putting the "Engineering" into Software Engineering with Models
A Review of Formalisms for Describing Interactive Behaviour
Augmenting social awareness in a collaborative development environment
A learning-based method for combining testing techniques
Program abstractions for behaviour validation
A temporal permission analysis and enforcement framework for Android
Architecture and Design Intent: An Experience Report
Multi-source Anomaly Detection For Microservice Systems
Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study
Orchestrating Cross-Layer Anomaly Detection and Mitigation to Address Gray Failures in Large-Scale Cloud Infrastructure
An analyzer for extended compositional process algebras
Towards sustainable Android malware detection
Synthia: a Generic and Flexible Data Structure Generator
A service driven development process (sddp) model for ultra large scale systems
Estimating mobile application energy consumption using program analysis
Metamorphic Model-Based Testing Applied on NASA DAT - An Experience Report
Synthesis of event-based controllers: A software engineering challenge
Platform-specific Modeling for RIOT based IoT Systems
Metamorphic Testing: Challenges Ahead
CodeShovel: Constructing Method-Level Source Code Histories
Metadata-driven software for clinical trials
GuideSE: Annotations for Guiding Concolic Testing
CloneDetective - A workbench for clone detection research
Analyzing crosscutting in the problem frames approach
Specification, Analysis, and Prototyping of Mobile Systems
Guiding Peer-feedback in Learning Software Design using UML
Creating and evolving software by searching, selecting and synthesizing relevant source code
Mining Big Data for Detecting, Extracting and Recommending Architectural Design Concepts
Avgust: A Tool for Generating Usage-Based Tests from Videos of App Executions
Model-based traceability
Supporting application development with structured queries in the cloud
Proceedings of the 2008 International Workshop on Software Engineering in East and South Europe, SEESE '08, Leipzig, Germany, May 13, 2008
Statistical learning of API mappings for language migration
Do You Just Discuss or Do You Solve?: Meeting Analysis in a Software Project at Early Stages
Establishing multilevel test-to-code traceability links
Formal methods in industry: achievements, problems, future
Iteration in the Software Process: Review of the 3rd International Software Process Workshop
µSE: Mutation-Based Evaluation of Security-Focused Static Analysis Tools for Android
Societal Computing
First workshop on developing tools as plug-ins: (TOPI 2011)
User Interface Tools: a Survey and Perspective
An Exploratory Study on the Need for Modeling Software Ecosystems: The Case of SOLAR SECO
Analyzing model evolution
Realistic bug triaging
Calculating BPEL Test Coverage Through Instrumentation
Thanos: DBMS Bug Detection via Storage Engine Rotation Based Differential Testing
Logic-based learning in software engineering
ACONA: active online model adaptation for predicting continuous integration build failures
How Are Paid and Volunteer Open Source Developers Different? A Study of the Rust Project
Deep Learning for Software Defect Prediction: A Survey
Automatic query reformulations for text retrieval in software engineering
Proceedings of the 2018 International Conference on Software Engineering in Africa, SEiA@ICSE 2018, Gothenburg, Sweden, May 27-28, 2018
Peer couple to couple approach for better maternal health outcomes
LLM Assistance for Memory Safety
An Empirical Study of Predicate Dependence Levels and Trends
Variability aware requirements reuse analysis
Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018
Improved Updating in relational Dat Base Systems by Deuter-Shere Algorithms
Automated acceptance test refactoring
Rotten green tests
Towards Post-Agile Development Practices through Productized Development Infrastructure
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings
Software test program: a software residency experience
How we refactor, and how we know it
Quantifying Permissiveness of Access Control Policies
Towards odyssey-VCS 2: improvements over a UML-based version control system
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
Developing a virtual-world simulation
Pricing crowdsourcing-based software development tasks
Software Engineering Overlaps with Human-Computer Interaction: A Natural Evolution
Automatically detecting architecturally-relevant code anomalies
WAPI 2017 Workshop Summary
A refactoring-based approach for test case selection and prioritization
Are Machine Learning Cloud APIs Used Correctly?
A Specification Matching Based Approach to Reverse Engineering
Automatic Anti-Pattern Detection in Microservice Architectures Based on Distributed Tracing
Does Culture Matter? Impact of Individualism and Uncertainty Avoidance on App Reviews
Repository-Level Graph Representation Learning for Enhanced Security Patch Detection
Using mutation analysis for a model-clone detector comparison framework
Intention is All you Need: Refining your Code from your Intention
1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2015)
PrivacyCAT: Privacy-Aware Code Analysis at Scale
Architecting and generalizing a safety case for critical condition detection software: an experience report
On the use of static analysis to engage students with software quality improvement: An experience with PMD
Taxonomy of real faults in deep learning systems
Won't take no for an answer: resource-driven requirements adaptation
Formal specifications better than function points for code sizing
Do Users Act Equitably? Understanding User Bias Through a Large In-person Study
The Inscape Environment
Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design
RADAR: a tool for debugging regression problems in C/C++ software
Do Developers Adopt Green Architectural Tactics for ML-Enabled Systems? A Mining Software Repository Study
Program Evolution and Its Impact on Software Engineering
Supporting enterprise stakeholders in software projects
Synthesizing API usage examples
Accurate Interprocedural Null-Dereference Analysis for Java
PVDetector: a detector of privacy-policy violations for Android apps
The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report
Easing software component repository evolution
SHARVOT: Secret SHARe-Based VOTing on the Blockchain
Recommending source code for use in rapid software prototypes
Automatic Detection of Performance Bugs in Database Systems using Equivalent Queries
Exploring API/Client Co-Evolution
Stage: exploring erlang style concurrency in ruby
Traceability between function point and source code
The Graft-Host Method for Design Change
Introduction to agile processes and extreme programming
Extending the Implementation Scheme of Functional Programming System FP for Supporting the Formal Software Development Methodology
Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub
Simulating awareness in global software engineering: A comparative analysis of Scrum and Agile Service Networks
Using Soloman-Felder Learning Style Index to Evaluate Pedagogical Resources for Introductory Programming Classes
Silver bullet or fool's gold: supporting usability in open source software development
Among the agilists: participant observation in a rapidly evolving workplace
Defect prediction on a legacy industrial software: a case study on software with few defects
10th International Workshop on Search-Based Software Testing (SBST 2017)
Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search
Production-Driven Patch Generation
Closing the gap: enacting knowledge transfer between engineering and use of healthcare software
An analysis of the relationship between conditional entropy and failed error propagation in software testing
Relational Test Tables: A Practical Specification Language for Evolution and Security
A Primer on Empirical Studies (Tutorial)
EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework
Simplifying Data Integration: The Design of the Desert Software Development Environment
Deep differential testing of JVM implementations
Epistemic model checking of distributed commit protocols with byzantine faults
Designing Trustful Cooperation Ecosystems is Key to the New Space Exploration Era
The palladio-bench for modeling and simulating software architectures
Revisiting Criteria for Description of MDE Artifacts
On the relationship of model transformations based on triple and plain graph grammars
Why do developers take breaks from contributing to OSS projects?: a preliminary analysis
Automatic testing and improvement of machine translation
Evaluating software architecture in a model-based approach for enterprise information system design
Adding High Availability and Autonomic Behavior to Web Services
From an abstract specification in event-b toward an UML/OCL model
The First International Workshop on Automated Program Analysis, Testing and Verification
Metamorphic filtering of black-box adversarial attacks on multi-network face recognition models
Synthesizing qualitative research in software engineering: a critical review
Characterizing logging practices in open-source software
Investigating White-Box Attacks for On-Device Models
Validating a Deep Learning Framework by Metamorphic Testing
CNEPS: A Precise Approach for Examining Dependencies among Third-Party C/C++ Open-Source Components
Market forces and end-user programming for mission-critical systems
Software Engineering for the Next Internet
Code Bubbles: A practical working-set programming environment
Identifying implicitly declared self-tuning behavior through dynamic analysis
A Framework for Measuring Software Obfuscation Resilience against Automated Attacks
Context-aware recommender systems for non-functional requirements
Implications of a single mobile computing device
SymInfer: Inferring Numerical Invariants using Symbolic States
Mining exception-handling rules as sequence association rules
When APIs are intentionally bypassed: an exploratory study of API workarounds
Proceedings of the 4th International Genetic Improvement Workshop, GI@ICSE 2018, Gothenburg, Sweden, June 2, 2018
Industry involvement in ICT curriculum: a comparative survey
Toward Precise Measurements Using Software Normalization
Identifying Android library dependencies in the presence of code obfuscation and minimization
Web services engineering: promises and challenges
Integrating quality models and static analysis for comprehensive quality assessment
Collaborative practices for software requirements gathering in software startups
Inter-app communication between Android apps developed in app-inventor and Android studio
Software support for building end-user programming environments in the automation domain
Practical fault localization for dynamic web applications
Towards security testing with taint analysis and genetic algorithms
Mining historical test logs to predict bugs and localize faults in the test logs
Timely and efficient facilitation of coordination of software developers' activities
Component-based software engineering for embedded systems
Product Line Engineering for NGO Projects
The cyclefree methodology: a simple approach to building reliable, robust, real-time systems
Refactoring tools for dynamic languages
BFTDETECTOR: Automatic Detection of Business Flow Tampering for Digital Content Service
Towards Early Warning and Migration of High-Risk Dormant Open-Source Software Dependencies
Robustification of Behavioral Designs against Environmental Deviations
Using Semi-Supervised Learning for Predicting Metamorphic Relations
Developing New Approaches for Software Design Quality Improvement Based on Subjective Evaluations
Software Process Modeling: Principles of Entity Process Models
The sustainability of quality in free and open source software
Mixed-Mode Adaptation in Distributed Systems: A Case Study
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, SESENA 2010, Cape Town, South Africa, May 3, 2010
MCT: a tool for commenting programs by multimedia comments
Multi-view Software Component Modeling for Dependability
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL)
Assessing LLMs for Front-end Software Architecture Knowledge
Research challenges on engineering service-oriented applications
A case study: demands on component-based development
Characterizing and detecting performance bugs for smartphone applications
Augmenting test suites effectiveness by increasing output diversity
Runtime verification of hyperproperties for deterministic programs
The Design of a Template Structure for a Generalized Data Structure Definition Facility
DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems