yusuke1997/dblp-id-title huggingface dataset:
Proceedings of the 3rd International Workshop on Sharing and Reusing Architectural Knowledge, SHARK 2008, Leipzig, Germany, May 13, 2008
Software testing as a problem of machine learning: towards a foundation on computational learning theory (extended abstract of keynote speech)
Gender differences in self and peer assessment in a software engineering capstone course
2nd International Workshop on Realising Evidence-Based Software Engineering (REBSE-2)
Values@Runtime: An Adaptive Framework for Operationalising Values
Beyond spatial and temporal memory safety
Experience from applying RIM to educational ERP development
Predicting future developer behavior in the IDE using topic models
Are vulnerabilities discovered and resolved like other defects?
The Role of Biased Data in Computerized Gender Discrimination
Testing Software Modelling Tools Using Data Mutation
Towards Quality Assurance of Natural Language in Code
Gamification of Software Testing
9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021
NodeSRT: A Selective Regression Testing Tool for Node.js Application
Fault Localization on Verification Witnesses (Poster Paper)
User evaluation of a domain specific program comprehension tool
Hooking into Object-Oriented Application Frameworks
Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
Safety testing of computerized provider order entry systems
An Architectural Strategy for Self-Adapting Systems
An exploratory study on improving automated issue triage with attached screenshots
The Inspection Metho Applied to Small Projects
Wide-field ethnography: studying software engineering in 2025 and beyond
MAP: A Tool for Understanding Software
Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming
Teaching software engineering to end-users
Developer prioritization in bug repositories
Architecture-driven software mobility in support of QoS requirements
Verifying object construction
The Software Knowledge Base
Experiential learning in computing accessibility education
Workshop on SHAring and Reusing architectural Knowledge: (SHARK 2011)
Directives of communicability: towards better communication through software models
Collaborative reliability prediction of service-oriented systems
Non-functional requirements: from elicitation to modelling languages
Why Can't They Create Architecture Models Like "Developer X"? An Experience Report
Inferring and asserting distributed system invariants
Automated Repair of Cyber-Physical Systems
Proceedings of the 2010 ICSE Workshop on Emerging Trends in Software Metrics, WETSoM 2010, Cape Town, South Africa, May 4, 2010
Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy
Getting Results from Search-Based Approaches to Software Engineering
Which compiler optimization options should I use for detecting data races in multithreaded programs?
Building a Framework to Improve the User Experience of Static Analysis Tools
Sentinel: generating GUI tests for Android sensor leaks
A bot for suggesting questions that match each user's expertise
On the Effects of Program Slicing for Vulnerability Detection during Code Inspection: Extended Abstract
DeepBillboard: systematic physical-world testing of autonomous driving systems
Automated memory leak detection for production use
ModX: Binary Level Partially Imported Third-Party Library Detection via Program Modularization and Semantic Matching
Verification of a Monitor Specification
Towards a framework for proximity-based hybrid mobile applications
Generating source inputs for metamorphic testing using dynamic symbolic execution
Kind Computing
How not to do it: anti-patterns for data science in software engineering
Semantic smells and errors in access control models: a case study in PHP
A platform to enable self-adaptive cloud applications using trustworthiness properties
VGX: Large-Scale Sample Generation for Boosting Learning-Based Software Vulnerability Analyses
Assessing a Class of Software Tools
Prototyping in Industrial Software Projects - Bridging the Gap Between Theory and Practice
Identifying Android inter app communication vulnerabilities using static and dynamic analysis
Android GUI search using hand-drawn sketches
Bandera: extracting finite-state models from Java source code
CEFRIEL: an Innovative Approach to University-Industry Cooperation in Information Technologies
FADATest: Fast and Adaptive Performance Regression Testing of Dynamic Binary Translation Systems
Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts
On the effect of object redundancy elimination in randomly testing collection classes
Automatic Tuning of Multi-Task Programs for Real-Time Embedded Systems
Defining the decision factors for managing defects: a technical debt perspective
Exposing the Hidden Layer: Software Repositories in the Service of Seo Manipulation
Archface: a contract place where architectural design and code meet together
Do students recognize ambiguity in software design? a multi-national, multi-institutional report
9th International Workshop on Automation of Software Test, AST 2014, Hyderabad, India, May 31 - June 1, 2014
Towards reusable components with aspects: an empirical study on modularity and obliviousness
Total Software Process Model Evolution in EPOS (Experience Report)
Applying model driven engineering techniques to the development of contiki-based IoT systems
Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction
Proceedings of the 1st International Workshop on Software Architectures and Mobility, SAM '08, Leipzig, Germany, May 10, 2008
Novel features in languages of the epsilon model management platform
An Interactive Debugger for a Concurrent Language
Static and dynamic structure in design patterns
Exploring Causes of Frustration for Software Developers
Development of Scientific Software for HPC Architectures Using Open ACC: The Case of LQCD
Balancing Agility and Discipline: Evaluating and Integrating Agile and Plan-Driven Methods
Co-adapting human collaborations and software architectures
Using dynamic analysis to generate disjunctive invariants
Using Object-Oriented Development for Support Prototyping (Experience Report)
UML is Back. Or is it? Investigating the Past, Present, and Future of UML in Open Source Software
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Society, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019
Automated Detection of AI-Obfuscated Plagiarism in Modeling Assignments
43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Society, ICSE (SEIS) 2021, Madrid, Spain, May 25-28, 2021
A Multi-faceted Vulnerability Searching Website Powered by Aspect-level Vulnerability Knowledge Graph
Actor Based Root Cause Analysis in a Distributed Environment
Resource Usage and Optimization Opportunities in Workflows of GitHub Actions
Analyzing service-oriented systems using their data and structure
Enabling traceability reuse for impact analyses: A feasibility study in a safety context
Do programmers work at night or during the weekend?
Is time-zone proximity an advantage for software development? the case of the brazilian IT industry
A Rule-Based Approach to Modular System Design
An exploratory study of backtracking strategies used by developers
Testing Concurrent Java Components
Automatic Test Case Generation for UML Activity Diagrams
How to Identify Binary Relations for Domain Models
Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game
Expertise browser: a quantitative approach to identifying expertise
Uncertainty, risk, and information value in software requirements and architecture
QFD application in software process management and improvement based on CMM
Summary for leadership and management in software architecture (lMSA 2008)
Challenges of Evolving Legacy Software in a Small Team
jPredictor: a predictive runtime analysis tool for java
An IoT integrity-first communication protocol via an ethereum blockchain light client
Self-adaptive applications: on the development of personalized web-tasking systems
Building Test Oracles by Clustering Failures
Ex pede Herculem: Augmenting Activity Transition Graph for Apps via Graph Convolution Network
Development of Computer Programs by Problem Analysis Diagram (PAD)
Trace retrieval for evolving artifacts
Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search
Proceedings of the 13th International Workshop on Automation of Software Test, AST@ICSE 2018, Gothenburg, Sweden, May 28-29, 2018
Correct analysis for embedded system modeling: an outcome of east-west scientific cooperation
Towards an effective software engineering course project
Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base
Refining Fitness Functions in Test-Based Program Repair
Design rule spaces: a new form of architecture insight
Combining Fine-Tuning and LLM-Based Agents for Intuitive Smart Contract Auditing with Justifications
Dynamic Mutation Testing in Integrated Regression Analysis
Designing Dojo: a collaborative method for teaching design patterns
A Paradigm for Decentralized Process Modeling and Its Realization in the Oz Environment
RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine"
Software-related challenges of testing automated vehicles
Symbolic Interpretation and Tracing of PASCAL-Programs
Proceedings of the 1st International Workshop on Bots in Software Engineering, BotSE@ICSE 2019, Montreal, QC, Canada, May 28, 2019
Requirements modelling by synthesis of deontic input-output automata
Learning to accelerate compiler testing
Cognitive biases in software quality and testing
Sketching and Conceptions of Software Design
Relational programming with CrocoPat
Lost in source code: physically separating features in legacy systems
Automated Inference of Pointcuts in Aspect-Oriented Refactoring
MGEN - A Generator for Menu Driven Programs
Semi-supervised Log-based Anomaly Detection via Probabilistic Label Estimation
Poster: Symbolic Execution of MPI Programs
Understanding Compiler Bugs in Real Development
Automatic modularity conformance checking
Toddler: detecting performance problems via similar memory-access patterns
Deep learning for smart sewer systems: assessing nonfunctional requirements
4th International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2013, San Francisco, CA, USA, May 20, 2013
QFL: Data-Driven Feedback Loop to Manage Quality in Agile Development
Meeting challenges and surviving success: the 2nd workshop on open source software engineering
Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain
A case-study on using an Automated In-process Software Engineering Measurement and Analysis system in an industrial environment
Supporting the testing of scientific frameworks with software product line engineering: a proposed approach
Cognitive tools for locating and comprehending software objects for reuse
Wifi coverage range characterization for smart space applications
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots
Data Quality for Software Vulnerability Datasets
DevCertOps: Strategies to Realize Continuous Delivery of Safe Software in Regulated Domain
Proceedings of the 2nd International Workshop on Gender Equality in Software Engineering, GE@ICSE 2019, Montreal, QC, Canada, May 27, 2019
Representation of Developer Expertise in Open Source Software
MoHCA-Java: A Tool for C++ to Java Conversion Support
Toward adopting self-organizing models for the gamification of context-aware user applications
An Editor for Documentation in pi-System to Support Software Development and Maintenance
Efficiently finding minimal failing input in MapReduce programs
Quality, cleanroom and formal methods
When and Why Test Generators for Deep Learning Produce Invalid Inputs: an Empirical Study
The standard coder: a machine learning approach to measuring the effort required to produce source code change
Constructive Code Review: Managing the Impact of Interpersonal Conflicts in Practice
USE: unified and split execution for exposing divergences between versions
Software evolution: analysis and visualization
Exploiting the synergy between automated-test-generation and programming-by-contract
Software Quality = Test Accuracy * Test Coverage
Early aspects at ICSE: workshop in aspect-oriented requirements engineering and architecture design
Scrum to support mobile application development projects in a just-in-time learning context
Lessons of Current Environments
Teaching students global software engineering skills using distributed scrum
Exploiting hardware advances for software testing and debugging
Build It Yourself! Homegrown Tools in a Large Software Company
BCFA: bespoke control flow analysis for CFA at scale
An exploratory study on faults in web API integration in a large-scale payment company
LibRadar: fast and accurate detection of third-party libraries in Android apps
An Operating System Development: Windows 3 (Abstract)
Specification Level Interoperability
$\mu \text{PRL}$: A Mutation Testing Pipeline for Deep Reinforcement Learning Based on Real Faults
Mining Patterns of Sensitive Data Usage
Computational Reflection in Software Process Modeling: The SLANG Approach
Towards architectural knowledge management practices for global software development
A Hierarchical and Functional Software Process Description and Its Enaction
Rethinking coordination in large-scale software development
Improving Web Application Testing with User Session Data
N Degrees of Separation: Multi-Dimensional Separation of Concerns
Generating User Experience Based on Personas with AI Assistants
On-demand integration of product lines: a study of reuse and stability
Using an information retrieval system to retrieve source code samples
Test automation on mobile device
Can diversity in global software development be enhanced by agile software development?
Toward Adaptive Tracing: Efficient System Behavior Analysis using Language Models
A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams
Precfix: large-scale patch recommendation by mining defect-patch pairs
Debugging reactive programming with reactive inspector
A metric-based approach for reconstructing methods in object-oriented systems
Shipwright: A Human-in-the-Loop System for Dockerfile Repair
Comparative causality: explaining the differences between executions
Evolutionary hot-spots in software systems
Teaching Digital Accessibility to Industry Professionals using the Community of Practice framework: An Experience Report
Teaching software engineering with projects
Using Traceability for Incremental Construction and Evolution of Software Product Portfolios
On Calibration of Pre-trained Code Models
We should teach our students what industry doesn't want
Keeping Fun Alive: an Experience Report on Running Online Coding Camps
Moving on from the Software Engineers' Gambit: An Approach to Support the Defense of Software Effort Estimates
Stack layout transformation: Towards diversity for securing binary programs
Android inter-component communication analysis with intent revision
Strategies for building successful company-university research collaborations
How reliable is the crowdsourced knowledge of security implementation?
Actionsremaker: Reproducing GITHUB Actions
Measuring program comprehension: a large-scale field study with professionals
Git-based integrated uncertainty manager
Visualizing Loops and Data Structures in Xylem: The Code of Plants
Retaining Women in Computer Science: the Good, the Bad and the Ugly Sides
The software architect as the guardian of system performance and scalability
Auto-tuning elastic applications in production
Manas: Mining Software Repositories to Assist AutoML
Building distributed web applications based on model versioning with CoObRa: An experience report
1st International Workshop on TEchnical and LEgal aspects of data pRIvacy and Security (TELERISE 2015)
Gamifying a Software Testing Course with Continuous Integration
Dynamic Safety Cases for Through-Life Safety Assurance
A taxonomy of how method stereotypes change
Learning Global Agile Software Engineering Using Same-Site and Cross-Site Teams
Oracle Issues in Machine Learning and Where to Find Them
Steering model-based oracles to admit real program behaviors
Pragmatic Software Metrics for Iterative Development (Presentation)
Engineering Events in CPS - Experiences and Lessons Learned
The first international workshop on automation of software test
Extensible Contract Broker for Performance Differentiation
Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator
Adaptivity in dynamic service-based systems
Agile for Millennials: A Comparative Study
A new dynamic smart-AC model methodology to enforce access control policy in IoT layers
Practical considerations, challenges, and requirements of tool-support for managing technical debt
Proceedings of the 1st International Workshop on Robotics Software Engineering, RoSE@ICSE 2018, Gothenburg, Sweden, May 28, 2018
Learning to spot and refactor inconsistent method names
PKM: knowledge management tool for environments centered on the concept of the experience factory
Model-based testing
Fundamentals of programming for science and engineering
A Knowledge Structure for Reusing Abstract Data Types
Emotion-Awareness for Intelligent Vehicle Assistants: A Research Agenda
Trade-off-oriented development: making quality attribute trade-offs first-class
Overcoming Challenges in DevOps Education through Teaching Method
Recovering traceability links between source code and fixed bugs via patch analysis
A Survey of Approaches to Adaptive Application Security
Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin
Diversity in Programming Education: Help Underrepresented Groups Learn Programming
Mining for Process Improvements: Analyzing Software Repositories in Agile Retrospectives
Predicting bug-fixing time: an empirical study of commercial software projects
Effort Estimation Using Analogy
An Empirical Comparison on the Results of Different Clone Detection Setups for C-based Projects
Perturbation analysis of stochastic systems with empirical distribution parameters
On the diffuseness of code technical debt in Java projects of the apache ecosystem
Structural coverage of feasible code
FeatureMapper: mapping features to models
Software feature model recommendations using data mining
A-SCORE: Automatic software component recommendation using coding context
Towards a method for automated testing in robotic process automation projects
VEnron: a versioned spreadsheet corpus and related evolution analysis
Verification of non-functional properties of cloud-based distributed system services
Enlightened debugging
Formal verification of an automotive scenario in service-oriented computing
Model Based Functional Testing Using Pattern Directed Filmstrips
Incremental model synchronization for multiple updates
Code Smells in iOS Apps: How Do They Compare to Android?
Value-based quality processes and results
Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems
Tailoring Gamification to Requirements Elicitation: A Stakeholder-Centric Motivation Concept
Identifying TraIn: a neglected form of socio-technical incongruence
Automatic Programming for Streams II: Transformational Implementation
Documenting and Communicating Design Decisions
WIP: Live Restructuring of Data Architecture
Implementing Operations to Combine Feature Models: The Conditional Intersection Case
Towards a Formal Semantics of Parnas Tables
Beg, borrow, or steal (workshop session): using multidisciplinary approaches in empirical software engineering research
Component Technology - What, Where, and How?
On modeling interactions of early aspects with goals
Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation
How to Do Inspections When There is No Time
Work Practices and Challenges in Pull-Based Development: The Integrator's Perspective
Technical debt as an external software attribute
Practical Automated Detection of Malicious npm Packages
On the Assessment of Safety-Critical Software Systems
Society-oriented applications development: investigating users' values from bangladeshi agriculture mobile applications
ICSE Workshop on Software Engineering for Computational Science and Engineering, SE-CSE 2009, Vancouver, BC, Canada, May 23, 2009
Some Classes of Naturally Provable Programs
A Context-based Automated Approach for Method Name Consistency Checking and Suggestion
The Students' Perspectives on Applying Design Thinking for the Design of Mobile Applications
Towards an AI-centric Requirements Engineering Framework for Trustworthy AI
Model-independent differences
Exploring the twin peaks using probabilistic verification techniques
Security metrics for source code structures
On the analysis of evolution of software artefacts and programs
The Mind Is a Powerful Place: How Showing Code Comprehensibility Metrics Influences Code Understanding
Test Optimization from Release Insights: An Analytical Hierarchy Approach
JIFFY: A framework for encompassing aspects in testing and debugging software
Reverse engineering of object oriented code
Intergrating Measurement with Improvement: An Action-Oriented Approach (Experience Report)
Proceedings of the 1st International Workshop on Conducting Empirical Studies in Industry, CESI 2013, San Francisco, California, USA, May 20, 2013
Live logic programming
scvRipper: Video Scraping Tool for Modeling Developers' Behavior Using Interaction Data
Automatic Categorization of Software Libraries Using Bytecode
Towards a Requirements-Driven Workbench for Supporting Software Certification and Accreditation
How personas support requirements engineering
29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007
Recovering variable names for minified code with usage contexts
Computational alignment of goals and scenarios for complex systems
Five years of lessons learned from the software engineering course: adapting best practices for distributed software development
VCC: Contract-based modular verification of concurrent C
Engineering safety-related requirements for software-intensive systems
Adaptive security and privacy in smart grids: a software engineering vision
Data-driven Recurrent Set Learning For Non-termination Analysis
Challenges and guidelines on designing test cases for test bots
Reducing false positives of static analysis for SEI CERT C coding standard
An automated approach to generating efficient constraint solvers
Metamorphic Testing: A Simple Method for Alleviating the Test Oracle Problem
On the relationship between quality assurance and productivity in software companies
Some Results from an Empirical Study of Computer Software
How Android developers handle evolution-induced API compatibility issues: a large-scale study
Augmenting requirements gathering for people with special needs using IoT: a position paper
A Game Genre Agnostic Framework for Game-Design
A Unit Proofing Framework for Code-level Verification: A Research Agenda
30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume
ContraBERT: Enhancing Code Pre-trained Models via Contrastive Learning
The Software Challenges of Building Smart Chatbots
On the Economics of Mass-Marketed Software
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment
Toward a framework for detecting privacy policy violations in android application code
Interpretable Software Maintenance and Support Effort Prediction Using Machine Learning
Issues in the Evaluation of User Interface Tools