yusuke1997/dblp-id-title huggingface dataset:
RERAN: timing- and touch-sensitive record and replay for Android
Using impact analysis in industry
Cloud-Guided QoS and Energy Management for Mobile Interactive Web Applications
ACL2s: "The ACL2 Sedan"
Modeling aspect mechanisms: a top-down approach
Making web applications more energy efficient for OLED smartphones
An architecture-centric approach to the development of a distributed model-checker for timed automata
Light-weight context recovery for efficient and accurate program analyses
Workshop on technology transfer in software engineering
5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017
Lilith: A Personal Computer for the Software Engineer
Bridging the Theory-Practice Gap in a Maintenance Programming Course: An Experience Report
Validation methods for calibrating software effort models
Towards a solution for synchronizing disparate models of ultra-large-scale systems
Accelerating Maven by Delaying Test Dependencies
9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, Proceedings, Hyderabad, India, June 2-3, 2014
CloudMTD: Using real options to manage technical debt in cloud-based service selection
Effect size analysis
Deciding what to design: closing a gap in software engineering education
Managing space for finite-state verification
Agile Process Myths
Semantic GUI Scene Learning and Video Alignment for Detecting Duplicate Video-based Bug Reports
Supporting plug-in mashes to ease tool integration
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML
Varis: IDE Support for Embedded Client Code in PHP Web Applications
Automatic categorization with deep neural network for open-source Java projects
A Metric for Measuring Software Engineering Post-Graduate Outcomes
Forging New Links, Proceedings of the 1998 International Conference on Software Engineering, ICSE 98, Kyoto, Japan, April 19-25, 1998
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
Conducting interview studies: challenges, lessons learned, and open questions
Proceedings of the 12th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE@ICSE 2019, Montréal, QC, Canada, 27 May 2019
Concern-based cohesion as change proneness indicator: an initial empirical study
Improving the reliability of mobile software systems through continuous analysis and proactive reconfiguration
Us and them: a study of privacy requirements across north america, asia, and europe
Understanding the Software Fault Introduction Process
Does Automated Refactoring Obviate Systematic Editing?
CodeKoan: A Source Code Pattern Search Engine Extracting Crowd Knowledge
A machine learning approach for determining the validity of traceability links
Reflections on Software Engineering Research Collaborations: From Ottawa to the Software Engineering Institute to Silicon Valley
Software engineering at the speed of light: how developers stay current using twitter
xLineMapper: a product line feature-architecture-implementation mapping toolset
ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts
Teaching requirements engineering concepts using case-based learning
Source code metrics for programmable logic controller (PLC) ladder diagram (LD) visual programming language
CONAN: Diagnosing Batch Failures for Cloud Systems
Variability management in software product line engineering
RediI: Test Infrastructure to Enable Deterministic Reproduction of Failures for Distributed Systems
Model-based optimization of automotive E/E-architectures
Defining Families - Commonality Analysis
Towards zero knowledge learning for cross language API mappings
Checking Subsystem Safety Properties in Compositional Reachability Analysis
The comment density of open source software code
Randomized Differential Testing as a Prelude to Formal Verification
Tracking source locations
A cut-off approach for bounded verification of parameterized systems
On the techniques we create, the tools we build, and their misalignments: a study of KLEE
System challenges for ubiquitous & pervasive computing
Active refinement of clone anomaly reports
Recommending unnecessary source code based on static analysis: poster
Multi-Level Specification and Verification of Real-Time Software
Leap: A "Personal Information Environment" for Software Engineers
Proceedings of the 4th international workshop on End-user software engineering, WEUSE '08, Leipzig, Germany, May 12, 2008
A logical framework for design composition
Exploring Experiences with Automated Program Repair in Practice
New Software Engineering Faculty Symposium
A Meta-Model for Software Development Resource Expenditures
Improving bug detection and fixing via code representation learning
Language Models for Code Completion: A Practical Evaluation
Deriving test plans from architectural descriptions
The echo approach to formal verification
Toward Improving Industrial Adoption: The Choice of Programming Languages and Development Environments
Theories of everything
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013, San Francisco, CA, USA, May 20-21, 2013
UML-based service robot software development: a case study
Trustworthy by Design
Dockerfile Flakiness: Characterization and Repair
In Defense of Coverage Criteria
CLIME: An Environment for Constrained Evolution Demonstration Description
Self-adaptation in mobile apps: a systematic literature study
An Alternative to Cells for Selective Execution of Data Science Pipelines
Aluminum: principled scenario exploration through minimality
STAGE: a software tool for automatic grading of testing exercises: case study paper
Towards an autonomous bot for automatic source code refactoring
CAG: compliance adherence and governance in software delivery using blockchain
The Modular Structure of Complex Systems
Concrete Constraint Guided Symbolic Execution
Intellectual property protection for software in the United States and Europe (tutorial session): the changing roles of patents and copyrights
Combining Mastery Learning with Project-Based Learning in a First Programming Course: An Experience Report
A framework for analyzing exception flow in software architectures
3rd international workshop on software engineering for automotive systems - SEAS 2006
A pilot study on architecture and vulnerabilities: lessons learned
An implementation of GSN community standard
An Inter-Organizational Comparison of Programming Productivity
Assisting engineers in switching artifacts by using task semantic and interaction history
On the survival of Android code smells in the wild
Workshop Summary - ICSE Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE)
Taming Dynamically Adaptive Systems using models and aspects
OPIUM: Optimal Package Install/Uninstall Manager
Where do developers log? an empirical study on logging practices in industry
Is Requirements Engineering Inherently Counterproductive?
Let's Ask AI About Their Programs: Exploring ChatGPT's Answers To Program Comprehension Questions
Is software education narrow-minded? A position paper
Cross-Technology, Cross-Layer Defect Detection in IT Systems - Challenges and Achievements
Guiding deep learning system testing using surprise adequacy
An extraction method to collect data on defects and effort evolution in a constantly modified system
Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training, ICSE (SEET) 2018, Gothenburg, Sweden, May 27 - June 03, 2018
MEITREX - Gamified and Adaptive Intelligent Tutoring in Software Engineering Education
An Experimental Protocol for Analyzing the Accuracy of Software Error Impact Analysis
An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things
A study of the organizational dynamics of software teams
Fault-tolerance in a Distributed Management System: a Case Study
A Comprehensive Framework for the Development of Dynamic Smart Spaces
An experience report on cross-semester student critique and action in an integrated software engineering, service learning course
A new homogeneous pure birth process based software reliability model
Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis
Prompting Is All You Need: Automated Android Bug Replay with Large Language Models
Galileo: a tool built from mass-market applications
SE in ES: opportunities for software engineering and cloud computing in environmental science
Quantifying the complexity of dataflow testing
SARIF-enabled tooling to encourage gradual technical debt reduction
Scrum goes formal: agile methods for safety-critical systems
A multidisciplinary approach to developing community-based research infrastructure
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations
UEMan: A tool to manage user evaluation in development environments
Behavioral validation of JFSL specifications through model synthesis
Utilization of synergetic human-machine clouds: a big data cleaning case
A Novelty Search Approach for Automatic Test Data Generation
AUTOTRAINER: An Automatic DNN Training Problem Detection and Repair System
Executing ultra-large software systems with multiagent systems
Software Engineers' Response to Public Crisis: Lessons Learnt from Spontaneously Building an Informative COVID-19 Dashboard
You Don't Know Search: Helping Users Find Code by Automatically Evaluating Alternative Queries
Dynamic Encryption Key Security Scheme (DEKSS) for Mobile and Cloud Systems
A tracelab-based solution for identifying traceability links using LSI
Harmful Terms in Computing: Towards Widespread Detection and Correction
Classpects: unifying aspect- and object-oriented language design
Pitfalls and Safeguards in Real-Time Digital Systems with Emphasis on Programming
Automated diagnosis of software configuration errors
Conducting Eye Tracking Studies in Software Engineering - Methodology and Pipeline
Risk management for high tech systems
Creating a Computer Security Curriculum in a Software Engineering Program
AIOps: real-world challenges and research innovations
Software requirement patterns
Towards an experiment line on software inspection with human computation
Scaling Step-Wise Refinement
FireDetective: understanding ajax client/server interactions
Extent and characteristics of dependencies between vehicle functions in automotive software systems
TOGA: A Neural Method for Test Oracle Generation
Future Technologies Supporting the Convergence of Mobile, Wearables, and IoT
Accommodating data heterogeneity in ULS systems
Build Waiting Time in Continuous Integration - An Initial Interdisciplinary Literature Review
Requirements reflection: requirements as runtime entities
Copyright in Shareware Software Distributed on the Internet - The Trumpet Winsock Case
QED: a proof system based on reduction and abstraction for the static verification of concurrent software
On applying metamorphic testing: an empirical study on academic search engines
A declarative approach to enable flexible and dynamic service compositions
White-Box Performance-Influence Models: A Profiling and Learning Approach
Assert Use in GitHub Projects
A Test Generation Solution to Automate Software Testing
Evaluation of a Software Requirements Document by Analysis of Change Data
On the elicitation of privacy and ethics preferences of mobile users
Proceedings of the 2nd International Workshop on Conducting Empirical Studies in Industry, CESI 2014, Hyderabad, India, June 2, 2014
Engineering big data solutions
Teaching software construction at scale with mastery learning: a case study
Lean kanban in an industrial context: a success story
Precise Sparse Abstract Execution via Cross-Domain Interaction
RPC automation: making legacy code relevant
Lean Learning - Applying Lean Techniques to Improve Software Engineering Education
Natural engineering: applying a genetic computing model to engineering self-aware software
44th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results ICSE (NIER) 2022, Pittsburgh, PA, USA, May 22-24, 2022
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'
Proceedings of the 4th International Workshop on Metamorphic Testing, MET@ICSE 2019, Montreal, QC, Canada, May 26, 2019
Supporting the evolution of exception handling in component-based product line architecture
Effects of software industry structure on a research framework for empirical software engineering
Reengineering a scientific software and lessons learned
On the Cost of Mining Very Large Open Source Repositories
M.R. Hunter: Hunting for Metamorphic Relations by Puzzle Solving
A UAU test and development environment based on dynamic system reconfiguration
Gender in Open Source Software: What the Tools Tell
4th international workshop on software engineering for sensor network applications (SESENA 2013)
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010
Identifying Objects Using Cluster and Concept Analysis
CHIME: Customizable Hyperlink Insertion and Maintenance Engine for Software Engineering Environments
SEREBRO: facilitating student project team collaboration
Fairness Testing Through Extreme Value Theory
Maintaining invariant traceability through bidirectional transformations
Automatic GUI test generation for smartphone applications - an evaluation
Design Components: Towards Software Composition at the Design Level
Deploying CogTool: integrating quantitative usability assessment into real-world software development
Practical Applications of a Syntax Directed Program Manipulation Environment
Understanding Android app piggybacking
A Study on the Pythonic Functional Constructs' Understandability
DivLog: Log Parsing with Prompt Enhanced In-Context Learning
Euclase: a live development environment with constraints and FSMs
Characterizing Experimentation in Continuous Deployment: A Case Study on Bing
Safety from ethical hazards: prospects for a contribution from software engineering
Software ecosystem call graph for dependency management
Where should I comment my code?: a dataset and model for predicting locations that need comments
Clozemaster: Fuzzing Rust Compiler by Harnessing Llms for Infilling Masked Real Programs
Variability Management in Software Product Line Engineering
Inferring models of concurrent systems from logs of their behavior with CSight
Elaboration on an integrated architecture and requirement practice: Prototyping with quality attribute focus
Characterizing implicit information during peer review meetings
A Self-repair Architecture for Cluster Systems
Software thread-level speculation: an optimistic library implementation
Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems]
Controlling and monitoring agile software development in three dutch product software companies
The fourth workshop on end-user software engineering
Working Group on Evaluating User Interfaces and User Interface Tools
Summarizing software artifacts: a case study of bug reports
Using ML filters to help automated vulnerability repairs: when it helps and when it doesn't
Investing in Software DesignFrom Technology to Culture: How Collaboration and Communication Matter
Data analytics for game development
Sources of satisfaction in agile software development
Explainable Just-In-Time Bug Prediction: Are We There Yet?
SCM-10: Tenth International Workshop on Software Configuration Management. New Practices, New Challenges, and New Boundaries
Transactional memory: from semantics to silicon
1st International Workshop on Modern Software Engineering Methods for Industrial Automation, MoSEMInA 2014, Hyderabad, India, May 31, 2014
WebEvo: Taming Web Application Evolution via Semantic Structure Change Detection
Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control
EMaaS: energy measurements as a service for mobile applications
About the Development of a Point of Sale System: an Experience Report
From Means-End Analysis to Proactive Means-End Reasoning
The case of the fragmented classroom
Assessing Test-Driven Development at IBM
Backward propagation of code refinements on transformational code generation environments
ICSE Workshop on Dynamic Analysis (WODA 2003)
Design Considerations in Language Processing Tools for Ada
Extending requirement specifications using analogy
Understanding "Why" in Software Process Modelling, Analysis, and Design
Social coverage for customized test adequacy and selection criteria
Architectural Requirements Engineering: Theory vs. Practice
Leveraging Large Language Models to Improve REST API Testing
A Model for Understanding and Reducing Developer Burnout
Towards an Engineering Methodology for Multi-model Scientific Simulations
Symbolic mining of temporal specifications
Towards a Method of Programming With Assertions
Slicing for model reduction in adaptive embedded systems development
5th international workshop on modeling in software engineering (MiSE 2013)
Evaluating BSS algorithms in a mobile context realized by a client-server architecture
A Workflow for Healthcare Systems via OCL and SMT Solving
Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux
New Horizons in Multicore Software Engineering
On the probabilistic analysis of neural networks
5th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2013, May 26, 2013, San Francisco, CA, USA
Architecture interoperability and repeatability with microservices: an industry perspective
Monitoring code quality and development activity by software maps
Characterizing the pedagogical benefits of adaptive feedback for compilation errors by novice programmers
GUI Savvy End-to-End Testing with Smart Monkeys
Implicit gender biases in professional software development: an empirical study
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation
Leadership and management in software architecture
Process Improvement Towards ISO 9001 Certification in a Small Software Organization
Cross-Disciplinary Perspectives on Collaborations with Software Engineers
Exploring a framework for identity and attribute linking across heterogeneous data systems
Architecture-level dependability analysis of a medical decision support system
Extrapolating Coverage Rate in Greybox Fuzzing
Impact analysis for event-based components and systems
Understanding quality requirements in the context of big data systems
A comparison of executable model based approaches for embedded systems
ICC-inspect: supporting runtime inspection of Android inter-component communications
International Workshop on Modeling in Software Engineering, MiSE 2008, Leipzig, Germany, May 10-11, 2008
Towards AI-centric Requirements Engineering for Industrial Systems
Capturing More World Knowledge in the Requirements Specification
Testing Real-Time Constraints in a Process Algebraic Setting
SmartTutor: Creating IDE-based interactive tutorials via editable replay
AutoTap: synthesizing and repairing trigger-action programs using LTL properties
Statically checking web API requests in JavaScript
Teaching Software Architecture Design - Building Intuition
Minimal Assumptions Refinement for Realizable Specifications
Teaching requirements engineering with authentic stakeholders: towards a scalable course setting
The bones of the system: a case study of logging and telemetry at Microsoft
Automatic grading of programming assignments: an approach based on formal semantics
Are the old days gone?: a survey on actual software engineering processes in video game industry
Steps to an Advanced Ada Programming Environment
Qualifying Software Engineers Undergraduates in DevOps - Challenges of Introducing Technical and Non-technical Concepts in a Project-oriented Course
Fast and Precise On-the-fly Patch Validation for All
Introduction to the experience reports track
Functional programming for all! scaling a MOOC for students and professionals alike
Human capacities in the software process: empiric validation
The impact of test case summaries on bug fixing performance: an empirical investigation
NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions
Understanding the factors for fast answers in technical Q&A websites: an empirical study of four stack exchange websites
Can we certify systems for freedom from malware
Automated Patching for Unreproducible Builds
Evaluating Quality in Model-Driven Engineering
Towards automated safety analysis for architectures of dynamically forming networks of cyber-physical systems
Can Social Screencasting Help Developers Learn New Tools?
CC: Causality-Aware Coverage Criterion for Deep Neural Networks
Effort-oriented methods and tools for software development and maintenance for mobile apps
A systematic mapping study on internet of things challenges
A Case Study: Injecting Safety-Critical Thinking into Graduate Software Engineering Projects
Proceedings of the First Workshop on End-User Software Engineering, WEUSE 2005, St. Louis, Missouri, USA, May 21, 2005
Uncovering theories in software engineering
Automatic detection of latent software component relationships from online Q&A sites
A preliminary study of open-source IoT development frameworks
Programs, tests, and oracles: the foundations of testing revisited
Fuzzy set-based automatic bug triaging
A Programmer Performance Measure Based on Programmer State Transitions in Testing and Debugging Process
1.x-Way architecture-implementation mapping
Understanding FLOSS through community publications: strategies for grey literature review
A Weakly Constrained Approach to Software Change Coordination
Towards Incremental Build of Software Configurations
Software engineering for the web: the state of the practice
The Portable Communication Protocol Program COMPAS for Data Terminal Systems
Towards an Autonomic Auto-scaling Prediction System for Cloud Resource Provisioning
The Persistent Store as an Enabling Technology for Integrated Project Support
Near-duplicate detection in web app model inference
A timed model for healthcare workflows based on CSP
31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume
Data quality: cinderella at the software metrics ball?
Applying ISO 9001: 2000, MPS.BR and CMMI to Achieve Software Process Maturity: BL Informatica's Pathway
Evaluating the Quality of Information Models: Empirical Testing of a Conceptual Model Quality Framework
3rd international workshop on advances and applications of problem frames
Software Quality Concerns in the Italian Bank Sector: The Emergence of a Meta-Quality Dimension
Crying Wolf and Meaning It: Reducing False Alarms in Monitoring of Sporadic Operations through POD-Monitor
A System for Automatic Software Evaluation
Scalable Teaching of Software Engineering Theory and Practice: An Experience Report
Scalable Quantitative Verification for Deep Neural Networks
Poster: Kotlin Assimilating the Android Ecosystem - An Appraisal of Diffusion and Impact on Maintainability
Experimentation in the operating system: the windows experimentation platform
Package-Oriented Programming of Engineering Tools
The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems
Towards a collaborative framework for the design and development of data-intensive mobile applications
A Strategy for Evaluating Feasible and Unfeasible Test Cases for the Evolutionary Testing of Object-Oriented Software
Code offloading solutions for audio processing in mobile healthcare applications: a case study
Software Development and Proofs of Multi-Level Security
SECFUZZ: Fuzz-testing security protocols
SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems
API Usage in Descriptions of Source Code Functionality
Characterizing outdateness with technical lag: an exploratory study