yusuke1997/dblp-id-title huggingface dataset:
Phase-guided thread-to-core assignment for improved utilization of performance-asymmetric multi-core processors
Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems
Experiments on the Test Case Length in Specification Based Test Case Generation
A modeling language's evolution driven by tight interaction between academia and industry
Software Engineering for Smart Things in Public Spaces: Initial Insights and Challenges
Science in the cloud (keynote)
A framework for automatic functional testing based on formal specifications
Use of relative code churn measures to predict system defect density
Automatic Web Testing Using Curiosity-Driven Reinforcement Learning
Knowledge-based Intelligent System for IT Incident DevOps
A study on exception detecton and handling using aspect-oriented programming
Ethical Issues in Video Games: Insights From Reddit Discussions
Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services
Conditional compilation is dead, long live conditional compilation!
How Developers Optimize Virtual Reality Applications: A Study of Optimization Commits in Open Source Unity Projects
Integrating Serious Games as Learning Resources in a Software Project Management Course: The Case of ProDec
Images of code: lossy compression for native instructions
Commit Message Matters: Investigating Impact and Evolution of Commit Message Quality
2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011
Supporting feature model configuration using a demonstration-based approach
Software energy profiling: comparing releases of a software product
Show Me Your Code! Kill Code Poisoning: A Lightweight Method Based on Code Naturalness
Lessons from Using Basic LOTOS
A visual studio plug-in for CProver
Generalizing by similarity: lessons learnt from industrial case studies
CODEMORPH: Mitigating Data Leakage in Large Language Model Assessment
Detecting model inconsistency through operation-based model construction
Finding client-side business flow tampering vulnerabilities
Qualitative Analysis of Knowledge Transfer in Pair Programming
BigDebug: debugging primitives for interactive big data processing in spark
Business process and software architecture model co-evolution patterns
An Engineering Methodology for Presenting Software Functional Architecture
Synthetic test data generation using recurrent neural networks: a position paper
Time-bounded adaptation for automotive system software
Automated Modularization of GUI Test Cases
On the role of latent design conditions in cyber-physical systems security
Effect on Brain Activity while Programming with (without) Music
Human-Centered Methods for Improving API Usability
Towards practical software traceability
Property driven development in Erlang, by example
Dynamic updating of online recommender systems via feed-forward controllers
Playing Planning Poker in Crowds: Human Computation of Software Effort Estimates
Software Reuse: is it delivering?
The multi-generation repackaging hypothesis
Getting more from requirements traceability: Requirements testing progress
Test Plan Generation Using Formal Grammars
A modular environment for software development and re-engineering
Practical approach to development of SPI activities in a large organization: Toshiba's SPI history since 2000
GameRTS: A Regression Testing Framework for Video Games
Modelling and search: Efficient, practical, and innovative approaches to software engineering
Detecting low usability web pages using quantitative data of users' behavior
Evaluating Complexity and Digitizability of Regulations and Contracts for a Blockchain Application Design
A framework for handling variants of software models
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking
Mining billions of AST nodes to study actual and potential usage of Java language features
Belief uncertainty in software models
Predictive analytics for software testing: keynote paper
Quartermaster: A Tool for Modeling and Simulating System Degradation
MASON: an open development contextual sensing framework enabling reactive applications
A Case Study on Semantic Unit Composition
Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements
International Workshop on Component-Based Software Engineering
Glacier: transitive class immutability for Java
PAC learning-based verification and model synthesis
What can changes tell about software processes?
An Inquisitive Code Editor for Addressing Novice Programmers' Misconceptions of Program Behavior
Experience with the Development of Hard Real-Time Embedded Ada Software
Regression Fuzzing for Deep Learning Systems
History-based merging of models
Decoding the representation of code in the brain: an fMRI study of code review and expertise
Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27 - 28, 2018
Adaptivity at every layer: a modular approach for evolving societies of learning autonomous systems
Build code analysis with symbolic evaluation
On learning meaningful code changes via neural machine translation
SSG: a model-based development environment for smart, security-aware GUIs
Old issues, new eyes
Static software metrics for reliability and maintainability
Understanding the impact of technical debt in coding and testing: an exploratory case study
Streamgen: a UML-based tool for developing streaming applications
Enhancing the Open Network: Definition and Automated Detection of Smart Contract Defects
The Finalization Operation for Abstract Types
MVD: Memory-Related Vulnerability Detection Based on Flow-Sensitive Graph Neural Networks
Challenges and Opportunities in Model Checking Large-scale Distributed Systems
Assessments in global software development: a tailorable framework for industrial projects
Evaluating awareness information in distributed collaborative editing by software-engineers
Directed test suite augmentation
Architectural Knowlege Management Strategies: Approaches in Research and Industry
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, ICSE-SEIP 2024, Lisbon, Portugal, April 14-20, 2024
Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems
Exploring language support for immutability
Meeting the challenges of web application development: the web engineering approach
A combination approach for enhancing automated traceability
Teaching operating systems: student assignments and the software engineering perspective
Modeling semantic dependencies to allow flow monitoring in networks with black-box nodes
Is Secure Coding Education in the Industry Needed? An Investigation Through a Large Scale Survey
Abstract path testing with PathCrawler
Unanticipated reuse of large-scale software features
Automatic Generation of Smell-free Unit Tests
Model driven support for the Service Oriented Architecture modeling language
App store mining is not enough
An empirical study of the effects of conscientiousness in pair programming using the five-factor personality model
A Software Security Evaluation Framework
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems
Where SE and HCI Meet: A Position Paper
Charon: declarative provisioning and deployment
Content classification of development emails
An empirical study of regression test application frequency
NavClus: a graphical recommender for assisting code exploration
Sustaining Scientific Open-Source Software Ecosystems: Challenges, Practices, and Opportunities
TacDroid: Detection of Illicit Apps Through Hybrid Analysis of UI-Based Transition Graphs
Practitioners' Expectations on Automated Code Comment Generation
DeepAnalyze: Learning to Localize Crashes at Scale
Why developers don't pair more often
Conceptual Modeling through Linguistic Analysis Using LIDA
Dynamic composition of web applications in human-centered processes
SOA process decisions: new challenges in architectural knowledge modeling
Automated Test Program Generation for an Industrial Optimizing Compiler
An empirical study on self-fixed technical debt
Recommending and localizing change requests for mobile apps based on user reviews
Demystifying the Vulnerability Propagation and Its Evolution via Dependency Trees in the NPM Ecosystem
Moving towards industrial software ecosystems: Are our software architectures fit for the future?
The Architecture of the Apex Platform, salesforce.com's Platform for Building On-Demand Applications
Validation of the Coupling Dependency Metric as a Predictor of Run-Time Failures and Maintenance Measures
A Component-Based Approach to Building Formal Analysis Tools
Does size matter?: a preliminary investigation of the consequences of powerlaws in software
Proceedings of the 4th International Workshop on Software Engineering in Health Care, SEHC 2012, Zurich, Switzerland, June 4-5, 2012
Calculating Architectural Reliability via Modeling and Analysis
Overfitting in semantics-based automated program repair
Understanding Community Smells Variability: A Statistical Approach: Replication Package Instructions
Cookbook: in situ code completion using edit recipes learned from examples
Featured model-based mutation analysis
AI-based Question Answering Assistance for Analyzing Natural-language Requirements
Test Generation Strategies to Measure Worst-Case Execution Time
Social aspects of a continuous inspection platform for software source code
Extending essence kernel to enact practices at the level of software modules
1st International Workshop on Data Analysis Patterns in Software Engineering, DAPSE@ICSE 2013, San Francisco, CA, USA, May 21, 2013
Combining activity metrics and contribution topics for software recommendations
Model driven performance simulation of cloud provisioned Hadoop mapreduce applications
Knowledge aggregation with subjective logic in multi-agent self-adaptive cyber-physical systems
A metric model for aspects' coupling
Architectural technical debt identification: the research landscape
An Analysis of the Security Patterns Landscape
Building enterprise portals: principles to practice
Clock reduction in timed automata while preserving design parameters
Design Evaluation of the Compiler Generating System MUGI
M3triCity: Visualizing Evolving Software & Data Cities
Toward the Engineerin of Software: Problems of the 80's (Panel)
Fourth international workshop on dynamic analysis (WODA 2006)
What is Unethical About Software? User Perceptions in the Netherlands
Incorporating real projects into a software engineering undergraduate curriculum
Extending search-based software testing techniques to big data applications
WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation
Which library should I use?: a metric-based comparison of software libraries
AppTestMigrator: a tool for automated test migration for Android apps
How Much Up-Front? A Grounded theory of Agile Architecture
Making Quantum Computing Open: Lessons from Open Source Projects
WhyGen: Explaining ML-powered Code Generation by Referring to Training Examples
37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1
Demonstration of JIVE and JOVE: Java as it happens
On the Influence of Scale in a Distributed System
Using data provenance to improve software process enactment, monitoring and analysis
Object-centric debugging
Towards QoS prediction based on composition structure analysis and probabilistic environment models
Reflections on Cyberethics Education for Millennial Software Engineers
On the proactive and interactive visualization for feature evolution comprehension: An industrial investigation
Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios
Discovering determinants of high volatility software
Extraction of probabilistic behaviour models based on contexts
Extending Software Development Governance to meet IT Governance
Leveraging secdevops to tackle the technical debt associated with cybersecurity attack tactics
The Landscape of Source Code Representation Learning in AI-Driven Software Engineering Tasks
Learning-based response time analysis in real-time embedded systems: a simulation-based approach
Can asynchronous exceptions expire?
Authentic assessment in software engineering education based on PBL principles: a case study in the telecom market
Thirty years of software problems in the news
Hybrid Methods for Reducing Database Schema Test Suites: Experimental Insights from Computational and Human Studies
The Ramp-Up Problem in Software Projects: A Case Study of How Software Immigrants Naturalize
A Model of Software Engineering
The Challenges of Software Engineering Education
Towards Modal Software Engineering
An evolving collaborative model of working in students' global software development projects
Context in programming: an investigation of how programmers create context
Applying abstraction to master complexity
Questions about object structure during coding activities
Experiences of testing bioinformatics programs for detecting subtle faults
Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques
Traffic-aware stress testing of distributed systems based on UML models
Third international workshop on principles of engineering service-oriented systems: (PESOS 2011)
Model checking lots of systems: efficient verification of temporal properties in software product lines
Automatic Solution Summarization for Crash Bugs
ReviewRanker: A Semi-Supervised Learning Based Approach for Code Review Quality Estimation
Supporting evolution and maintenance of Android apps
make test-zesti: A symbolic execution solution for improving regression testing
Active Design Reviews: Principles and Practices
MADAM: towards a flexible planning-based middleware
The Project Library : A Tool for Software Development
Accessibility issues in Android apps: state of affairs, sentiments, and ways forward
ExAIS: Executable AI Semantics
Reporting about industrial strength software engineering courses for undergraduates
A Compositional Formalization of Connector Wrappers
Automatic Verification of Real-Time Designs
A Modification Request Control System
APICIA: An API Change Impact Analyzer for Android Apps
GUI Testing to the Power of Parallel Q-Learning
User-Centric Deployment of Automated Program Repair at Bloomberg
AODVis: leveraging eclipse plugins to reverse engineer and visualize AspectJ/Java source code
A Theorem Proving Approach to Programming Language Semantics
Constraint solving techniques for software testing and analysis
Rule-based code generation in industrial automation: four large-scale case studies applying the CAYENNE method
ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June - 19 July, 2020
Verification of Android Applications
Responsibilities and Rewards: Specifying Design Patterns
The Dance of Classes - A Stochwetsomic Model for Software Structure Evolution
Collaborative model-driven software engineering: a classification framework and a research map
A Catalog of Micro Frontends Anti-Patterns
Experiments with Computer Software Complexity and Reliability
Approaches for integration in system of systems: a systematic review
Helping the Automated Validation Process of User Interfaces Systems
Coverage Guided Fault Injection for Cloud Systems
Merging smell detectors: evidence on the agreement of multiple tools
Java Development Environments (Panel)
Enterprise JavaBean Architecture and Design Issues
Understanding the automated parameter optimization on transfer learning for cross-project defect prediction: an empirical study
Why innovation processes need to support traceability
Uncertainty reduction in self-adaptive systems
Resource-aware program analysis via online abstraction coarsening
Code review comments: language matters
Automated Test Input Generation for Android: Towards Getting There in an Industrial Case
Poirot: Deep Learning for API Misuse Detection
A comparative evaluation of state-of-the-art web service composition testing approaches
Learning network flow based on rough set flow graphs and ACO clustering in distributed cognitive environments
Beyond plain video recording of GUI tests: Linking test case instructions with visual response documentation
A systematic literature review of UML-based domain-specific modeling languages for self-adaptive systems
Formal correctness, safety, dependability, and performance analysis of a satellite
A matrix for analyzing projects in software engineering courses
Towards designing assistive software applications for discrete trial training
Generating Unit Tests with Structured System Interactions
GraPacc: A graph-based pattern-oriented, context-sensitive code completion tool
A Component-Based Approach to Verification and Validation of Formal Software Models
Symbolic model checking of declarative relational models
Research Demonstrations and Posters
DISE 2017 Workshop Summary
On the Evaluation of Neural Code Summarization
Criteria for Software Modularization
LWE: LDA refined word embeddings for duplicate bug report detection
A Discriminant Metric for Module Cohersion
Business insight toolkit: Flexible pre-requirements modeling
Del.icio.us development tools
Automated Lifting for Cloud Infrastructure-as-Code Programs
LWDIFF: an LLM-Assisted Differential Testing Framework for Webassembly Runtimes
Using the Case Survey Method to Explore Engineering Practices in Software Start-Ups
Coping strategies for temporal, geographical and sociocultural distances in agile GSD: a case study
An experimental comparison of four test suite reduction techniques
4th international workshop on emerging trends in software metrics (WETSoM 2013)
Dependency-aware software release planning
Jumping through hoops: why do Java developers struggle with cryptography APIs?
Software Engineering: The Legacy of Barry W. Boehm
An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model
Complementing Machine Learning Classifiers via Dynamic Symbolic Execution: "Human vs. Bot Generated" Tweets
Towards A Dependency-Driven Taxonomy of Software Types
Scalable graph analyzing approach for software fault-localization
Proceedings of the 4th International Workshop on Managing Technical Debt, MTD 2013, San Francisco, CA, USA, May 20, 2013
Optimal release time: numbers or intuition?
A Security Practices Evaluation Framework
Architecture Knowledge Management: Challenges, Approaches, and Tools
Deploying Team-Based Learning at Undergraduate Software Engineering Courses
Prioritize Crowdsourced Test Reports via Deep Screenshot Understanding
5th international workshop on principles of engineering service-oriented systems (PESOS 2013)
Workshop on the Intersection Between Databases and Software Engineering
Requirements Analysis for Real-Time Automation Projects
Workshop on architecting dependable systems (WADS 2005)
Adding more "DL" to IDL: Towards More Knowledgeable Component Inter-Operability
Worst Smells and Their Worst Reasons
Collaborating Multiple System Instances of Smart Cyber-physical Systems: A Problem Situation, Solution Idea, and Remaining Research Challenges
Towards Human-Like Automated Test Generation: Perspectives from Cognition and Problem Solving
Mining sandboxes
A study of the community structure of a complex software network
Using the IDEAL software process improvement model for the implementation of Automotive SPICE
Software engineering practice and educationan international view
Egidio: A non-invasive approach for synthesizing organizational models
Software engineering in East and South Europe (SEESE'08)
Profile directed systematic testing of concurrent programs
Generating range fixes for software configuration
Towards refactoring-aware code review
A Smart Fuzzer for x86 Executables
Do you really code? Designing and Evaluating Screening Questions for Online Surveys with Programmers
Efficiently and Precisely Searching for Code Changes with DiffSearch
Supporting the Selection of Model-based Testing Approaches for Software Projects
Missing data imputation based on low-rank recovery and semi-supervised regression for software effort estimation
The "Catch 22" of Re-engineering
Alternate refactoring paths reveal usability problems
Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs)
A Formal Approach to Component-Based Software Engineering: Education and Evaluation
CloudBuild: Microsoft's distributed and caching build service
Effectively using search-based software engineering techniques within model checking and its applications
Compositional verification of self-adaptive cyber-physical systems
Why will my question be closed?: NLP-based pre-submission predictions of question closing reasons on stack overflow
Language modularity with the MPS language workbench
A Cooperative Approach to Support Software Deployment Using the Software Dock
A chrome app for improving reading comprehension of health information online for individuals with low health literacy
A comprehensive product line scoping approach and its validation
Capturing Learner's Activity Events from a Mobile Learning System Using Adaptive Event Framework
Automation and Evaluation of Mutation Testing for the New C++ Standards
Software engineering lab: an essential component of a software engineering curriculum
Enhancing Exploratory Testing by Large Language Model and Knowledge Graph
Making sense of academia-industry gap in the evolving cloud service brokerage
ReGuard: finding reentrancy bugs in smart contracts
Roles, rights, and responsibilities: Better governance through decision rights automation
DLInfer: Deep Learning with Static Slicing for Python Type Inference
Bridging knowledge distribution - The role of knowledge brokers in distributed software development teams
Usability Implications of Requiring Parameters in Objects' Constructors
Proceedings of the 5th International Workshop on Games and Software Engineering, GAS@ICSE 2016, Austin, Texas, USA, May 16, 2016
Scalable automatic linearizability checking
Handling exceptions in programs with hidden concurrency: new challenges for old solutions
Unseen Horizons: Unveiling the Real Capability of LLM Code Generation Beyond the Familiar
Using Raddle To Design Distributed Systems
Conducting empirical software engineering research in Nigeria: the posing problems
Technical debt from the stakeholder perspective
Metamorphic relations for detection of performance anomalies
Uncertainty in bidirectional transformations
Automatic detection of performance deviations in the load testing of large scale systems
A Control-Theoretic Approach to Auto-Tuning Dynamic Analysis for Distributed Services
Distributed development considered harmful?
7th international workshop on economics-driven software engineering research
I'll Tell You What I Want, What I Really, Really Want: An Industry Perspective on the Effective Application of Research in Projects
On the customization of batch refactoring
Consistency Management with Repair Actions
Guidelines for Benchmarking Automated Software Traceability Techniques
Workshop on Applications of Human Error Research to Improve Software Engineering (WAHESE 2015)
Behavioural validation of software engineering artefacts
A Case Study in Applying a Systematic Method for COTS Selection
An Ontology for a Patient-Centric Healthcare Interoperability Framework
A Software Ecosystem for a Virtual Learning Environment: SOLAR SECO
Game design as a game
Hiding Critical Program Components via Ambiguous Translation
Reflections on applying constructive alignment with formative feedback for teaching introductory programming and software architecture
Monitoring GSD projects via shared mental models: a suggested approach
Replication of SOAR: A Synthesis Approach for Data Science API Refactoring
Studying the dialogue between users and developers of free apps in the google play store
Property differencing for incremental checking
Introducing New Technology into Italian Certified Electronic Mail: A Proposal
Build System Aware Multi-language Regression Test Selection in Continuous Integration