yusuke1997/dblp-id-title huggingface dataset:
Alcoa: the alloy constraint analyzer
Data-Driven Loop Bound Learning for Termination Analysis
Composition Patterns: An Approach to Designing Reusable Aspects
Enabling cyber-physical systems for 5G networking: a case study on the automotive vertical domain
What Do You Want From Me? Adapting Systems to the Uncertainty of Human Preferences
Toward rigorous design of domain-specific distributed systems
Requirements tracing: discovering related documents through artificial pheromones and term proximity
43rd IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, ICSE (SEET) 2021, Madrid, Spain, May 25-28, 2021
Dealing with multiple failures in zanshin: a control-theoretic approach
Recommending relevant code artifacts for change requests using multiple predictors
The Synthesis of Structure Changing Programs
Position Paper on Technology Transfer
Analyzing the Test Process Using Structural Coverage
Results for EvoSuite - MOSA at the Third Unit Testing Tool Competition
Demystifying Exploitable Bugs in Smart Contracts
High-quality specification of self-adaptive software systems
Instant consistency checking for the UML
Shortages of qualified software engineering faculty and practitioners (panel session): challenges in breaking the cycle
Mining recurrent activities: Fourier analysis of change events
Iterative Generation of Adversarial Example for Deep Code Models
Architecture-based problem frames constructing for software reuse
Smart Quality Monitoring for Evolving Complex Systems
Where is Your App Frustrating Users?
Mining Twitter data for a more responsive software engineering process
Towards just-in-time rational refactoring
Object Management in a CASE Environment
Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support
Using formal concept analysis to construct and visualise hierarchies of socio-technical relations
A Proposal to Systematize Introducing DevOps into the Software Development Process
Mockingbird: a framework for enabling targeted dynamic analysis of Java programs
Accelerating Software Engineering Research Adoption with Analysis Bots
An investigation of security conversations in stack overflow: perceptions of security and community involvement
Crowd Intent: Annotation of Intentions Hidden in Online Discussions
Systematic Object-Oriented Inspection - An Emprirical Study
On the Robustness of Code Generation Techniques: An Empirical Study on GitHub Copilot
Experimental Software Engineering: A Report on the State of the Art
Smartunit: empirical evaluations for automated unit testing of embedded software in industry
Proceedings of the 1st International Workshop on Software Engineering for Cognitive Services, SE4COG@ICSE 2018, Gothenburg, Sweden, May 28-2, 2018
A Meta-Model for Restructuring Stakeholder Requirements
Visual exploration of large-scale evolving software
Tool support for data validation by end-user programmers
Commit 2.0: enriching commit comments with visualization
Linux as a Case Study: Its Extracted Software Architecture
The Multics System Programming Process
The EUSES spreadsheet corpus: a shared resource for supporting experimentation with spreadsheet dependability mechanisms
Finding Anomalies in Scratch Assignments
On the limits of mutation reduction strategies
BIM Sim 3 D : multi-agent human activity simulation in indoor spaces
Assessment of Access Control Systems Using Mutation Testing
On planning an evaluation of the impact of identifier names on the readability and quality of smalltalk programs
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report
Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks
Applying data analytics towards optimized issue management: an industrial case study
Heterogeneous Anomaly Detection for Software Systems via Semi-supervised Cross-modal Attention
Experiences in scaling field studies of software developer behavior: keynote for the software engineering research & industrial practice workshop
IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT@ICSE 2023, Melbourne, Australia, May 14, 2023
Software Engineering: As it was in 1968
Second ICSE Workshop on Software Product Lines: Economics, Architectures, and Applications
Software architecture: foundations, theory, and practice
Reactive Programming: A Walkthrough
A New Approach Towards Ensuring Gender Inclusive SE Job Advertisements
How does Kanban impact communication and collaboration in software engineering teams?
On the difficulty of replicating human subjects studies in software engineering
Fully-reflective VMs for ruling software adaptation
Synthesizing dynamically updating controllers from changes in scenario-based specifications
Compositional Reliability Analysis for Probabilistic Component Automata
srcSlice: a tool for efficient static forward slicing
Discovering essential code elements in informal documentation
Research Opportunities for the Big Data Era of Software Engineering
Towards a behavioral software engineering
A New Software Project Simulator Based on Generalized Stochastic Petri-net
Source Code Analysis: A Road Map
A data-driven security game to facilitate information security education
Structuring Criteria for Real Time System Design
Leveraging artifact trees to evolve and reuse safety cases
User Interface Prototyping - Concepts, Tools, and Experience
Two-Way Translators Based on Attribute Grammar Inversion
Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition
Towards High-Strength Combinatorial Interaction Testing for Highly Configurable Software Systems
Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems]
ModelScope: inspecting executable models during run-time
Developing natural language-based program analyses and tools to expedite software maintenance
Architecture reconstruction and evaluation of blockchain open source platform
Transfer defect learning
ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020
Untangling Development Tasks with Software Developer's Activity
Extracting taint specifications for JavaScript libraries
Blending kinematic and software models for tighter reachability analysis
Metamorphic Robustness Testing of Google Translate
Entity-level sentiment analysis of issue comments
Introducing quality models based on joint probabilities
Analysis of a Redundant Architecture for Critical Infrastructure Protection
Predicting Stack Overflow Question Tags: A Multi-Class, Multi-Label Classification
Modeling and Evolving Crosscutting Concerns in ADORA
Prototyping Real-Time Vision Systems: An Experiment in DSL Design
Automated Code Editing with Search-Generate-Modify
From craft to science: the road ahead for empirical software engineering research
Towards process-based composition of self-managing service-oriented systems
Buildsheriff: Change-Aware Test Failure Triage for Continuous Integration Builds
Exploring Extensibility of Architectural Design Decisions
Metrics for feature-oriented programming
Analyzing the Impact of Context Representation and Scope in Code Infilling
An adaptive object model with dynamic role binding
Improving Software Quality: The Use of Formal Inspections at the JPL (Experience Report)
Comparing formal tools for system design: a judgment study
GodExpo: an automated god structure detection tool for Golang
6th International Workshop on Emerging Trends in Software Metrics (WETSoM 2015)
Verily: a web framework for creating more reasonable web applications
Adjust: runtime mitigation of resource abusing third-party online ads
Observations of Computing Students on the Homogeneity of Their Classrooms
Just Enough, Just in Time, Just for "Me": Fundamental Principles for Engineering IoT-native Software Systems
Representing hierarchical state machine models in SMT-LIB
Model driven development of business applications: a practitioner's perspective
How Much Time Did It Take to Notify a Bug? Two Case Studies: ElasticSearch and Nova
Coalescing executions for fast uncertainty analysis
Deep Learning-based Production and Test Bug Report Classification using Source Files
Generating and Visualizing Trace Link Explanations
Language engineering as an enabler for incrementally defined formal analyses
Is Collaborative QoS the Solution to the SOA Dependability Dilemma?
On the diffuseness and the impact on maintainability of code smells: a large scale empirical investigation
Multilanguage Interoperability in Distributed Systems
Applying Customer Development for Software Requirements in a Startup Development Program
The inconsistent measurement of Message Chains
SRP-plugin: a strategic release planning plug-in for visual studio 2010
A proof-producing translator for verilog development in HOL
Learning Software Quality Assurance with Bricks
Sonarlizer xplorer: a tool to mine github projects and identify technical debt items using SonarQube
PyCG: Practical Call Graph Generation in Python
Augmenting test suites automatically
How can research about software developers generalize?
Behavior-Driven Development: A case study on its impacts on agile development teams
An approach for restructuring text content
AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, Seoul, Republic of Korea, 15-16 July, 2020
A large-scale empirical study on the effects of code obfuscations on Android apps and anti-malware products
Tracking assets in source code with Security Annotations
SetDroid: Detecting User-Configurable Setting Issues of Android Apps via Metamorphic Fuzzing
Automatic Improvement of Machine Translation Using Mutamorphic Relation: Invited Talk Paper
COSTER: A Tool for Finding Fully Qualified Names of API Elements in Online Code Snippets
On the effectiveness of labeled latent dirichlet allocation in automatic bug-report categorization
Testing levels for object-oriented software
A grading schema for reinforcing teamwork quality in a capstone course
Productivity Analysis of Software Development with an Integrated CASE Tool
Crowdsourcing in software engineering: models, motivations, and challenges
Obfuscating program control flow with Intel SGX
Analyzing the Quality of Submissions in Online Programming Courses
Skuld: a self-learning tool for impact-driven technical debt management
Logical Animation
A Process-Oriented Approach to Configuration Management
Chaordic Learning: A Case Study
Locating faults through automated predicate switching
Task Context: A Tool for Predicting Code Context Models for Software Development Tasks
A Process for Consolidating and Reusing Design Knowledge
Dynamic injection of sketching features into GEF based diagram editors
MASH: A tool for end-user plug-in composition
An approach for aspect-oriented use case modeling
The (R) Evolution of social media in software engineering
A preliminary study about the low engagement of female participation in hackathons
Surfacing scientific and financial data with the Xcel2RDF plug-in
Predicting the fix time of bugs
ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020
1st International Workshop on Rapid Continuous Software Engineering, RCoSE 2014, Hyderabad, India, June 3, 2014
A rich traceability model for social interactions
Software engineering for simulation systems in medical training: some initial experiences
Preparing Software Engineers to Develop Robot Systems
43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2021, Madrid, Spain, May 25-28, 2021
Towards a software engineering process for developing data-driven applications
FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation
Automatic Discovery of Software Attacks via Backward Reasoning
Towards Self-adaptation for Dependable Service-Oriented Systems
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, TOPI 2012, Zurich, Switzerland, June 3, 2012
How layered reuse can support harmful micropolitics: SAP ERP in surgery planning
Developer reading behavior while summarizing Java methods: size and context matters
Software security vulnerabilities: baselining and benchmarking
Ontology learning and its application in software-intensive projects
Putting intel® threading building blocks to work
Naturalness of Attention: Revisiting Attention in Code Language Models
Termination-checking for LLVM peephole optimizations
Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems
Towards a model of analyst effort for traceability research
IoT composer: composition and deployment of IoT applications
Rigorous design and deployment of IoT applications
Mistakes in UML diagrams: analysis of student projects in a software engineering course
A guided tour of the legal implications of software cloning
AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities
Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods
Artifact for Enhancing Genetic Improvement of Software with Regression Test Selection
Lightweight, obfuscation-resilient detection and family identification of Android malware
Terminals All the Way Down
Type Checking for Reliable APIs
Out of Sight, Out of Mind: Better Automatic Vulnerability Repair by Broadening Input Ranges and Sources
Understanding Task Interruptions in Service Oriented Software Development Projects: An Exploratory Study
Building high assurance secure applications using security patterns for capability-based platforms
Fault Injection Approach Based on Architectural Dependencies
Adaptive Online Program Analysis
The smart condo: integrating sensor networks and virtual worlds
Automated Analysis of Requirement Specifications
ICSE 2011 technical briefings
An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies
History-Driven Test Program Synthesis for JVM Testing
5th International Workshop on Conducting Empirical Studies in Industry (CESI 2017)
Sufficient Tset Sets for Path Analysis Testing Strategies
The NATO Conferences form the Perspective of an Active Software Engineer
A benchmark for evaluating software engineering techniques for improving medical processes
Presentations by Programmers for Programmers
Increasing trust in the open source supply chain with reproducible builds and functional package management
Flexible architecture conformance assessment with ConQAT
QuOnt: an ontology for the reuse of quality criteria
Towards the Quality Improvement of Cross-Platform Mobile Applications
Component engineering for adaptive ad-hoc systems
SMACK software verification toolchain
Proof-of-Property - A Lightweight and Scalable Blockchain Protocol
ICSE Workshop on Software Engineering in Health Care, SEHC 2009, Vancouver, BC, Canada, May 18-19, 2009
Are ultra-large systems systems of systems?
Coordinating analytics methods for mobile healthcare applications
Automated Testing of Software that Uses Machine Learning APIs
Metamorphic Testing for Adobe Analytics Data Collection JavaScript Library
Green mining: energy consumption of advertisement blocking methods
Major challenges of systems-of-systems with cloud and DevOps: a financial experience report
Best practices for engineering AI-infused applications: lessons learned from Microsoft teams
ICLNet: Stepping Beyond Dates for Robust Issue-Commit Link Recovery
Clinical requirements engineering
7th International Workshop on Modeling in Software Engineering (MiSE 2015)
Effecting change: coordination in large-scale software development
JMOCHA: A Model Checking Tool that Exploits Design Structure
Challenges of Conducting Research in Software Engineering: A case of graduate students in low resource contexts
PEoPL: projectional editing of product lines
Unveiling Memorization in Code Models
Generative patterns for designing multiple user interfaces
Third International Workshop on Software Engineering for Secure Systems, SESS 2007, Minneapolis, MN, USA, May 20-26, 2007
Evolution styles to the rescue of architectural evolution knowledge
Sustainability is Stratified: Toward a Better Theory of Sustainable Software Engineering
DingNet: a self-adaptive internet-of-things exemplar
Proceedings of the International Workshop on Software Fairness, FairWare@ICSE 2018, Gothenburg, Sweden, May 29, 2018
Data Flow Testing as Model Checking
Governance of an agile software project
A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree of Interest
Engineering and verifying requirements for programmable self-assembling nanomachines
Uptake of modeling practices in SMES: initial results from an industrial survey
Inference of field initialization
Source code indexing for automated tracing
Practical aspects of building a constrained random test framework for safety-critical embedded systems
Making configurable and unified platform, ready for broader future devices
Calibration and Correctness of Language Models for Code
Identifying program, test, and environmental changes that affect behaviour
A Proposal of Practices, Processes and Models That Enable Innovation Potential
Hybrid adaptation policies: towards a framework for classification and modelling of different combinations of adaptation policies
Simulation-Driven Automated End-to-End Test and Oracle Inference
Inconsistency management framework for model-based development
Identifying Key Classes for Initial Software Comprehension: Can We Do It Better?
The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes
Using Off-the-Shelf Middleware to Implement Connectors in Distributed Software Architectures
Case Study: Extreme Programming in a University Environment
Block-based Programming for Two-Armed Robots: A Comparative Study
Creating stable productive CSE software development and integration processes in unstable environments on the path to exascale
Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics, WETSoM 2014, Hyderabad, India, June 3, 2014
StubDroid: automatic inference of precise data-flow summaries for the android framework
Open SOALab: Case study artifacts for SOA research and education
A Framework for Empirical Evaluation of Model Comprehensibility
Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 16-21, 1994
Smart Cyber-Physical Systems: Beyond Usable Security to Security Ergonomics by Design
An empirical model of technical debt and interest
Software development governance and its concerns
Reduce first, debug later
Supporting seniors rehabilitation through videogame technology: a distributed approach
Challenges in Empirically Testing Memory Persistency Models
On gender, ethnicity, and culture in empirical software engineering research
Automation of GUI Testing Using a Model-driven Approach
Software engineering and middleware: a roadmap
Designing Digital Twins for Enhanced Reusability
Onboarding vs. Diversity, Productivity, and Quality - Empirical Study of the OpenStack Ecosystem
Developing and executing java AWT applications on limited devices with TCPTE
Approach and Case Study of Requirement Analysis Where End Users Take an Active Role
A Component Based Real-Time Scheduling Architecture
AutoRestTest: A Tool for Automated REST API Testing Using LLMs and MARL
Poster: Automatically Fixing Real-World JavaScript Performance Bugs
Proceedings of the 4th International Workshop on Automation of Software Test, AST 2009, Vancouver, BC, Canada, May 18-19, 2009
Automating Code Review
Spreadsheets in an ERP Environment - Not What the Doctor Ordered
Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering
Ways of Applying Artificial Intelligence in Software Engineering
Integrating Organizational Requirements and Socio-Intentional Architectural Styles
Disposable testing: avoiding maintenance of generated unit tests by throwing them away
The road to live programming: insights from the practice
Migrating user interfaces in native mobile applications: android to iOS
Towards efficient functional safety certification of construction machinery using a component-based approach
Rapid Development of Compositional AI
Self-Managed Systems: an Architectural Challenge
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal, QC, Canada, May 25-31, 2019
Architecture-Oriented Programming Using FRED
Assessing the Impact of Service Workers on the Energy Efficiency of Progressive Web Apps
Designing a Tool for Evacuation Plan Validation: Multi-Agent Simulations with Persona-Based UI
Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, TwinPeaks 2014, Hyderabad, India, June 1, 2014
Software security in DevOps: synthesizing practitioners' perceptions and practices
Comparing static bug finders and statistical prediction
Neutrality and epistasis in program space
The Use of Description Logics in KBSE Systems: Experience Report
Repairing deep neural networks: fix patterns and challenges
Assessing Cognitive Load in Software Development with Wearable Sensors
Runtime Verification of Statechart Implementations
Layout and Image Recognition Driving Cross-Platform Automated Mobile Testing
Efficient and precise dynamic impact analysis using execute-after sequences
A visualization of specification coverage based on document similarity
From Specifications to Machine Code: Program Construction through Formal Reasoning
Murphy: A Web 2.0 approach for proactive risk management in hardware/software co-design
Software Engineering for Privacy in-the-Large
Assessment of System Evolution Through Characterization
Learning revised models for planning in adaptive systems
PASTIS: A Collaborative Approach to Combine Heterogeneous Software Testing Techniques
A practical, collaborative approach for modeling big data analytics application requirements
8th international workshop on automation of software test (AST 2013)
Team: towards a software engineering semantic web
Managing evolution of software product line
Composing web APIs: state of the art and mobile implications (tutorial)
Redefining prioritization: continuous prioritization for continuous integration
Collaborative process management and virtual teams
Speak, Memory! Analyzing Historical Accidents to Sensitize Software Testing Novices
Mulit-level system integration based on AUTOSAR
A synergistic approach for distributed symbolic execution using test ranges
Test suite reduction for self-organizing systems: a mutation-based approach
How does regression test prioritization perform in real-world software evolution?
The essential synthesis of problem frames and assurance cases
A model-based approach to language integration
Better predicate testing
Creating a cognitive metric of programming task difficulty
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study
Bayesian Models of Design Based on Intuition
Measuring OSS quality trough centrality
Dronology: an incubator for cyber-physical systems research
An observational study on the state of REST API uses in Android mobile applications
Understanding code mobility (tutorial session)
Travioli: a dynamic analysis for detecting data-structure traversals
Residual Test Coverage Monitoring
Learning-based Widget Matching for Migrating GUI Test Cases
Fishtail: from task context to source code examples
KNOCAP: capturing and delivering important design bits in whiteboard design meetings
Network abstractions for context-aware mobile computing
Sustainability debt: a portfolio-based approach for evaluating sustainability requirements in architectures
Language features meet design patterns: raising the abstraction bar
An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis
An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis
Featured model types: towards systematic reuse in modelling language engineering
2nd International Workshop on User Evaluations for Software Engineering Researchers, USER 2013, San Francisco, CA, USA, May 26, 2013