yusuke1997/dblp-id-title huggingface dataset:
A Field Study of Modellers at Work
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks
Automatically generating search heuristics for concolic testing
Formalization and validation of a subset of the European Train Control System
A Survey of Object Oriented Analysis and Design Methods (Tutorial)
How does the degree of variability affect bug finding?
Measuring the forensic-ability of audit logs for nonrepudiation
Designing and analyzing software architectures using ABASs (tutorial session)
An empirical study about the effectiveness of debugging when random test cases are used
Agile exponential software organizations
How (not) to remove technical debt in testing environments: six good way to fail
Static detection of API call vulnerabilities in iOS executables
Privacy Requirements: Present & Future
Research Pradigms in Computer Science
Community-driven language development
RepairAgent: An Autonomous, LLM-Based Agent for Program Repair
Detection of hidden feature requests from massive chat messages via deep siamese network
On Debugging the Performance of Configurable Software Systems: Developer Needs and Tailored Tool Support
Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems, SESoS@ICSE 2016, Austin, Texas, USA, May 14-22, 2016
Usability challenges in exception handling
3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015
Limits to Dependability Assurance - A Controversy Revisited
An empirical study on API parameter rules
Towards Evidence-Based Architectural Design for Safety-Critical Software Applications
10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015, Florence, Italy, May 18-19, 2015
Requirement-centric Reactive Testing for Safety-Related Automotive Software
SmartCheck: Static Analysis of Ethereum Smart Contracts
Experience in teaching a software reengineering course
Database-Backed Program Analysis for Scalable Error Propagation
Edge-Based Detection of Label Flipping Attacks in Federated Learning Using Explainable AI
Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions
Topsy-Turvy: a smarter and faster parallelization of mutation analysis
Recommending Root-Cause and Mitigation Steps for Cloud Incidents using Large Language Models
A literature review of agile practices and their effects in scientific software development
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems
BinaryAI: Binary Software Composition Analysis via Intelligent Binary Source Code Matching
UniGenCoder: Merging SEQ2SEQ and SEQ2TREE Paradigms for Unified Code Generation
DeepSample: DNN sampling-based testing for operational accuracy assessment
Experiences of applying SPC techniques to software development processes
Online app review analysis for identifying emerging issues
Treat societally impactful scientific insights as open-source software artifacts
5th IEEE/ACM International Workshop on Conducting Empirical Studies in Industry, CESI@ICSE 2017, Buenos Aires, Argentina, May 23, 2017
Problem-based analysis of organisational change: a real-world example
Extracting Rationale for Open Source Software Development Decisions - A Study of Python Email Archives
Trusted Computing Systems: The ProCoS Experience
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019
Reengineering legacy software products into software product line based on automatic variability analysis
Improving model-based testing in automotive software engineering
Ecotopia: An Ecological Framework for Change Management in Distributed Systems
STORM: static unit checking of concurrent programs
Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector
Context-based recommendation to support problem solving in software development
Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing
Automatic Program Analysis and Evaluation
Usability Engineering integrated with Requirements Engineering
Hybrid test data generation
Towards DO-178C certification of adaptive learning UAV agents designed with a cognitive architecture
Assessing the release readiness of engine control software
Hyper/J TM : Multi-Dimensional Separation of Concerns for Java TM
Predicting defects using network analysis on dependency graphs
How Experience Impacts Practitioners' Perception of Causes and Effects of Technical Debt
Rule-based Word Equation Solving
HyDiff: hybrid differential software analysis
Search-based testing of complex simulink models containing stateflow diagrams
Adapting software product lines for complex certifiable avionics software
RGPS: a unified requirements meta-modeling frame for networked software
TIGRA - An Architectural Style for Enterprise Application Integration
Software services: a research roadmap
Combining spreadsheet smells for improved fault prediction
Who needs release and devops engineers, and why?
GUI-focused overviews of mobile development videos
Proceedings of the International Conference on Mobile Software Engineering and Systems, MOBILESoft '16, Austin, Texas, USA, May 14-22, 2016
A Method of Large-Scale Software Development
Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts
Effective Use of COTS (Commercial-off-the-Shelf) Software Components in Long Lived Systems (Tutorial)
Automatically Matching Bug Reports With Related App Reviews
Dependency Facade: The Coupling and Conflicts between Android Framework and Its Customization
DeepLocalize: Fault Localization for Deep Neural Networks
Rethinking Software Attribute Categorization
Metrics-based detection of micro patterns
A knowledge-based approach to scientific software development: position paper
StreamAI: Dealing with Challenges of Continual Learning Systems for Serving AI in Production
Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2016, Austin, Texas, USA, May 14-22, 2016
Acceptance testing of mobile applications: automated emotion tracking for large user groups
Interaction patterns based checkpointing of choreographed web services
Remote Development and Distance Delivery of Innovative Courses: Challenges and Opportunities
Enabling environment for software engineering industry: a strategic framework of eSEE eAgenda 2002 and eSEE eAgenda+ 2007
Advances in Code Summarization
Automated refactoring to introduce design patterns
AutoBlackTest: a tool for automatic black-box testing
Detailing Architectural Design in the Tropos Methodology
What Do Developers Want? An Advisor Approach for Developer Priorities
Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces
Evaluating Software Technology (Tutorial)
Soft skills training: performance psychology applied to software development
Introducing Software Engineering by means of Extreme Programming
BlackHorse: Creating smart test cases from brittle recorded tests
Java Unit Testing Tool Competition: Eighth Round
Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, PESOS 2014, Hyderabad, India, May 31, 2014
Formally Verified Cloud-Scale Authorization
ICSE-SEET 2020: 42nd International Conference on Software Engineering, Software Engineering Education and Training, Seoul, South Korea, 27 June - 19 July, 2020
Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs
Scalable detection of semantic clones
Motivation of software engineers: A qualitative case study of a research and development organisation
Exploring API embedding for API usages and applications
Demand-driven refinement of points-to analysis
GRT at the SBST 2015 Tool Competition
Testing vision-based control systems using learnable evolutionary algorithms
A large scale exploratory analysis of software vulnerability life cycles
The social closure of undergraduate computing: lessons for the contemporary enrolment boom
Using Reinforcement Learning to Sustain the Performance of Version Control Repositories
Organizational Culture and its Impact on the BizDev Interface
1st IEEE/ACM International Workshop on Big Data Software Engineering, BIGDSE 2015, Florence, Italy, May 23, 2015
Source Code Recommender Systems: The Practitioners' Perspective
Scalable Statistical Root Cause Analysis on App Telemetry
A framework for testing Android apps by reusing test cases
Pipelining bottom-up data flow analysis
HyperCRX 2.0: A Comprehensive and Automated Tool for Empowering GitHub Insights
Automated detection of client-state manipulation vulnerabilities
Report on the ICSE 2003 Doctoral Symposium
Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, IWMSE '09, Vancouver, BC, Canada, May 18, 2009
Spreadsheet as a Multi-platform Mobile Application
The challenges of software engineering education
Identifying Performance-Sensitive Configurations in Software Systems with LLM-Driven Agents
A variability aware configuration management and revision control platform
End-to-end features as meta-entities for enabling coordination in geographically distributed software development
CloneWorks: a fast and flexible large-scale near-miss clone detection tool
Enabling Testing of Android Apps
Software designers, are you biased?
Creation of an Wearable Startup: From a Laboratory Incubator to a Revenue Generating Business
Fuzzing Symbolic Expressions
Combining Symbolic Execution and Model Checking for Data Flow Testing
Understanding Emotions of Developer Community Towards Software Documentation
Dimensions of software engineering course design
A Systematic Approach to Derive the Scope of Software Product Lines
ACCUSE: Helping Users to Minimize Android App Privacy Concerns
Discovering faults in idiom-based exception handling
Restructuring unit tests with TestSurgeon
Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows
POSIT: simultaneously tagging natural and programming languages
Discovery and selection mechanism of cloudlets in a decentralized MCC environment
Fourth International Workshop on Software Engineering Education (IWSEE 4)
How and When to Transfer Software Engineering Research via Extensions
Architecting to Ensure Requirement Relevance: Keynote TwinPeaks Workshop
Research challenges on adaptive software and services in the future internet: towards an S-Cube research roadmap
BARA: A Dynamic State-based Serious Game for Teaching Requirements Elicitation
LIBAFL LIBFUZZER: LIBFUZZER on Top of LIBAFL
Grading 600+ Students: A Case Study on Peer and Self Grading
Generating Predicate Callback Summaries for the Android Framework
Identifying and proactively managing architecture risk
A General Framework for Formalizing UML with Formal Languages
Reference framework for digital twins within cyber-physical systems
Speedoo: prioritizing performance optimization opportunities
Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving
Ideas on improving software artifact reuse via traceability and self-awareness
TechDebt '20: International Conference on Technical Debt, Seoul, Republic of Korea, June 28-30, 2020
Automating discovery of software tuning parameters
Trade-off Analysis in Web Development
Very-Large Scale Code Clone Analysis and Visualization of Open Source Programs Using Distributed CCFinder: D-CCFinder
Improving students' testing practices
Ensuring service backwards compatibility with Generic Web Services
G-RankTest: Regression testing of controller applications
A cost-efficient approach to building in continuous integration
A Logarithmic Poisson Execution Time Model for Software Reliability Measurement
xNose: A Test Smell Detector for C#
The Classics Never Go Out of Style: An Empirical Study of Downgrades from the Bazel Build Technology
Developing Secure Embedded Systems: Pitfalls and How to Avoid Them
"STILL AROUND": Experiences and Survival Strategies of Veteran Women Software Developers
Exploratory Datamorphic Testing of Classification Applications
Automated continuous quality assurance
Pest: from the lab to the classroom
Web feature deprecation: a case study for chrome
Precise Modeling of Design Patterns in UML
Resource-Guided Configuration Space Reduction for Deep Learning Models
Does latitude hurt while longitude kills? geographical and temporal separation in a large scale software development project
Enabling multi-core based monitoring and fault tolerance in C++/Java
The Quamoco product quality modelling and assessment approach
A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation
Second international workshop on product line approaches in software engineering: (PLEASE 2011)
Mobile computing at the edge (keynote)
AR-miner: mining informative reviews for developers from mobile app marketplace
Static analysis for worst-case battery utilization
Teaching software process modeling
ReMoS: Reducing Defect Inheritance in Transfer Learning via Relevant Model Slicing
EnMobile: entity-based characterization and analysis of mobile malware
On the value of user preferences in search-based software engineering: a case study in software product lines
Java: A Language for Software Engineering (Tutorial)
Regression Testing of GPU/MIC Systems for HPCC
POWER: A Tool for Quantitative Evaluation of Software Project Effectiveness
Improving CSE software through reproducibility requirements
Helping software engineering students analyzing their performance data: tool support in an educational environment
Ten tips to succeed in global software engineering education: What do the students say?
Software Aging
Safety and Software Intensive Systems: Challenges Old and New
Test blueprint: an effective visual support for test coverage
Mining software repositories using topic models
SOFAS : software analysis services
Are We Learning the Right Features? A Framework for Evaluating DL-Based Software Vulnerability Detection Solutions
Virtualization toolset for emulating mobile devices and networks
Reducing Failure Analysis Time: An Industrial Evaluation
Towards language-independent Brown Build Detection
Code-Imp: a tool for automated search-based refactoring
Mining software process lines
3rd IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, SESoS 2015, Florence, Italy, May 17, 2015
IDE Augmented with Human-Learning Inspired Natural Language Programming
The design of a self-healing composition cycle for Web services
Infrastructure for modeling and analyzing the quality of software architectures
Billions and billions of constraints: whitebox fuzz testing in production
SCORE 2011: the second student contest on software engineering
Imperative versus Declarative Collection Processing: An RCT on the Understandability of Traditional Loops versus the Stream API in Java
Predicting faults using the complexity of code changes
DMS®: Program Transformations for Practical Scalable Software Evolution
An Improved Approach to Passive Testing of FSM-based Systems
On Formal Requirements Modeling Languages: RML Revisited
Planning for climate change in the 21st century
A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs
Modeling work-ethics spread in software organizations
Towards Automated Embedded Systems Programming
Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30 - April 2, 1987
Explaining the Cost of European Space and Military Projects
Beyond Accuracy: Evaluating Source Code Capabilities in Large Language Models for Software Engineering
JavaMOP: Efficient parametric runtime monitoring framework
Mind the gap and find common ground: empirical research in multiple firms
Expressing the Relationships Between Multiple Views in Requirements Specification
Reducing and Estimating the Cost of Test Coverage Criteria
CodeCrawler: an information visualization tool for program comprehension
Proceedings of the 6th International Workshop on Genetic Improvement, GI@ICSE 2019, Montreal, Quebec, Canada, May 28, 2019
Problems and opportunities for model-centric versus code-centric software development: a survey of software professionals
A Hands-On Cross-Platform Mobile Programming Approach to Teaching OOP Concepts and Design Patterns
CodeAware: Sensor-Based Fine-Grained Monitoring and Management of Software Artifacts
Leveraging product relationships to generate candidate bugs for duplicate bug prediction
Towards a Quantum Software Modeling Language
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
Architecting Dependable Systems Using Reflective Computing: Lessons Learnt and Some Challenges
Lightweight fault-localization using multiple coverage types
Explanation-Guided Fairness Testing through Genetic Algorithm
Detecting Android Smells Using Multi-Objective Genetic Programming
Model-based Methodologies for Pervasive and Embedded Software
Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems
2nd International Workshop on Requirements Engineering and Testing (RET 2015)
JRebel.Android: Runtime Class- and Resource Reloading for Android
Representations of user feedback in an agile, collocated software team
Why (meta-)theories of automated software design are essential: A personal perspective
EUD for enterprise process and information management
Human recoverability index: A TraceLab experiment
Third international workshop on search-driven development: users, infrastructure, tools, and evaluation (SUITE 2011)
SACEM Software Validation (Experience Report)
PyAnalyzer: An Effective and Practical Approach for Dependency Extraction from Python Code
VulCNN: An Image-inspired Scalable Vulnerability Detection System
A SEALANT for inter-app security holes in android
Generating REST API Specifications through Static Analysis
Communication System Design Using Ada
Search-driven string constraint solving for vulnerability detection
Seventh international workshop on software engineering for secure systems: (SESS 2011)
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
An Empirical Study of a Model for Program Error Prediction
LibraryGuru: API recommendation for Android developers
Integrating Obstacles in Goal-Driven Requirements Engineering
Architecting Service Oriented Middleware for pervasive networking
Accelerating Regression Testing for Scaled Self-Driving Cars with Lightweight Virtualization - A Case Study
Aletheia: a failure diagnosis toolchain
Synthesizing self-adaptive connectors meeting functional and performance concerns
CASI: preventing indirect conflicts through a live visualization
Current challenges in practical object-oriented software design
Lab-based action design research
Analyzing the CMake Build System
Specification patterns from research to industry: A case study in service-based applications
How software practitioners use informal local meetups to share software engineering knowledge
Improving problem-oriented mailing list archives with MCS
OPSIS: A View Mechanism for Software Processes Which Supports Their Evolution and Reuse
Zero-overhead path prediction with progressive symbolic execution
PTPDroid: Detecting Violated User Privacy Disclosures to Third-Parties of Android Apps
An Empirical Study of Software Reuse vs. Defect-Density and Stability
Integrating legacy systems with MDE
Performance of Defect Prediction in Rapidly Evolving Software
Tool-based interactive software parallelization: a case study
Improving code review effectiveness through reviewer recommendations
Towards web collaborative modelling for the user requirements notation using eclipse che and theia IDE
Carrot and stick approaches when managing technical debt
HAPPYNESS: an emotion-aware QoS assurance framework for enhancing user experience
Supporting program comprehension with source code summarization
SBFT Tool Competition 2023 - Fuzzing Track
Model based test case generation with metaheuristics for networks of timed automata
Comparing Different Developer Behavior Recommendation Styles
The Use of Text Retrieval and Natural Language Processing in Software Engineering
Distributed development: an education perspective on the global studio project
Stage: Python with Actors
Using a context-aware approach to recommend code reviewers: findings from an industrial case study
An Extendable Approach to Computer-Aided Software Requirements Engineering (Abstract)
Rug: Turbo Llm for Rust Unit Test Generation
ProvBuild: improving data scientist efficiency with provenance
CrowdAssistant: A Virtual Buddy for Crowd Worker
Automatically Detecting Reflow Accessibility Issues in Responsive Web Pages
A Comparison of the Use of Links and Secondary Indices in a Relational Data Base System
Effective bug triage for non reproducible bugs
Mind the gap: can and should software engineering data sharing become a path of less resistance?
Should energy consumption influence the choice of Android third-party HTTP libraries?
Modeling and verification for different types of system of systems using PRISM
Characteristic Program Complexity Measures
The software engineering initiative of DLR: overcome the obstacles and develop sustainable software
Agile software engineering as creative work
The effect of the number of inspectors on the defect estimates produced by capture-recapture models
Extracting Configuration Knowledge from Build Files with Symbolic Analysis
Angelic debugging
Measuring Memory Protection
VisAr3D: an innovative 3D visualization of UML models
Less is more: Architecture documentation for agile development
An Empirical Study on the Current Adoption of Quantum Programming
Toward effective deployment of design patterns for software extension: a case study
Resilient Command and Control Infrastructures for Cyber Operations
Security but not for security's sake: The impact of social considerations on app developers' choices
Why Good Developers Write Bad Code: An Observational Case Study of the Impacts of Organizational Factors on Software Quality
Decoding Grounded Theory for Software Engineering
A Generalized Assertion Language
Improving test suites for efficient fault localization
Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM)
Predicting Software Field Reliability
The Property Vector Specification of a Multiset Iterator
DroidBot: a lightweight UI-guided test input generator for Android
Code-motion for API migration: fixing SQL injection vulnerabilities in Java
All versus one: an empirical comparison on retrained and incremental machine learning for modeling performance of adaptable software
Advanced visual modeling (tutorial session): beyond UML
An Exploratory Case Study Using CBSP and Archium
Supporting code search with context-aware, analytics-driven, effective query reformulation
Synthesizing Document Database Queries Using Collection Abstractions
7th IEEE/ACM International Workshop on Modeling in Software Engineering, MiSE 2015, Florence, Italy, May 16-17, 2015
On-Demand Security Requirements Synthesis with Relational Generative Adversarial Networks
Crowdsourcing program preconditions via a classification game
WirelessDT: A Digital Twin Platform for Real- Time Evaluation of Wireless Software Applications
Search-Based LLMs for Code Optimization
Improving software through automatic untangling of cyclic dependencies
Semi-automated traceability maintenance: An architectural overview of traceMaintainer
How surveys, tutors, and software help to assess Scrum adoption in a classroom software engineering project
Dual ecological measures of focus in software development
Design Spaces and How Software Designers Use Them: a sampler
Values-first SE: research principles in practice
Using rationale to drive product line architecture configuration
Characterizing process variation
Visually identifying potential sensitive information leaks in access-controlled data services
Requirements and architectures: two sides of the same coin
Exception beyond Exception: Crashing Android System by Trapping in "Uncaught Exception"
Dot com versus bricks and mortar - the impact of portal technology (abstract of invited presentation)