yusuke1997/dblp-id-title huggingface dataset:
Test Templates: A Specification-Based Testing Framework
FOREPOST: a tool for detecting performance problems with feedback-driven learning software testing
A model-based approach towards the building of trustworthy software-intensive systems-of-systems
Security analysis for SmartThings IoT applications
Methodology for building granular testing in multicomponent scientific software
Engineering parallel applications with tunable architectures
How does participating in a capstone project with industrial customers affect student attitudes?
Improving open source software patch contribution process: methods and tools
Decision Table Programming and Reliability
Towards classes of architectural dependability assurance for machine-learning-based systems
Supporting the Investigation and Planning of Pragmatic Reuse Tasks
Experience in Using Defined Processes for Technology Transfer (Panel Overview)
Third international workshop on sharing and reusing architectural knowledge (SHARK 2008)
Towards an Automated Testing Framework to Manage Variability Using the UML Testing Profile
Programming support for sharing resources across heterogeneous mobile devices
A Periodic Object Model for Real-Time Systems
Using Pre-Trained Models to Boost Code Review Automation
The Evolutionary Landscape of SBST: A 10 Year Perspective
Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation
4th International Workshop on Adoption-Centric Software Engineering
Towards a classification of bugs to facilitate software maintainability tasks
Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective Optimization
BioSIMP: Using Software Testing Techniques for Sampling and Inference in Biological Organisms
Architectural decision modeling with reuse: challenges and opportunities
Using data mining and recommender systems to scale up the requirements process
Novice understanding of program analysis tool notifications
Taming Heterogeneity and Distribution in sCPS
Proceedings of the 5th International Workshop on Software Engineering for Computational Science and Engineering, SE-CSE 2013, San Francisco, California, USA, May 18, 2013
Message from SBFT 2023 Program Chairs
Code Repurposing as an Assessment Tool
Mining Twitter data for influenza detection and surveillance
ReCDroid: automatically reproducing Android application crashes from bug reports
Empirically-Informed Approaches to Shift Vulnerability Detection to the Left
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis
Make LLM a Testing Expert: Bringing Human-like Interaction to Mobile GUI Testing via Functionality-aware Decisions
TutorBot: contextual learning guide for software engineers
The developer's dilemma: factors affecting the decision to repay code debt
Facilitating the Implementation of Adaptive Cloud Offloading to Improve the Energy Efficiency of Mobile Applications
A culture of involving the vox populi for evolution of workforce policy
Comprehending the use of intelligent techniques to support technical debt management
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript
Increasing the Effectiveness of Automatically Generated Tests by Improving Class Observability
Parameter Value Computation by Least Square Method and Evaluation of Software Availability and Reliability at Service-Operation by the Hyper-Geometric Distribution Software Reliability Growth Model (HGDM)
Tweetflows: flexible workflows with twitter
Automatic Extraction of Opinion-based Q&A from Online Developer Chats
1st IEEE/ACM International Workshop on Establishing the Community-Wide Infrecaseructure for Architecture-Based Software Engineering, ECASE@ICSE 2017, Buenos Aires, Argentina, May 22, 2017
Effects of automated static analysis tools: a multidimensional view on quality evolution
Verifying component and connector models against crosscutting structural views
Programmer Performance and the Effects of the Workplace
Towards a personalized privacy management framework
SAIN: A Community-Wide Software Architecture INfrastructure
Demystify official API usage directives with crowdsourced API misuse scenarios, erroneous code examples and patches
Connecting the Dots: Measuring Effectiveness and Affectiveness in Software Systems
Exploring the Stability of Software with Time-Series Cross-Sectional Data
An exploratory study of awareness interests about software modifications
Diversity-Driven Automated Formal Verification
Software Development: State of the Art vs. State of the Practice
Who Changed You? Obfuscator Identification for Android
Identifying Architecturally Significant Functional Requirements
Spiral development of software-intensive systems of systems
Coca: Improving and Explaining Graph Neural Network-Based Vulnerability Detection Systems
SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink
PyKokkos: Performance Portable Kernels in Python
Starfish: policy driven self-management in wireless sensor networks
Predicting Relative Thresholds for Object Oriented Metrics
ICSE Workshop on Software Engineering for Secure Systems, SESS 2010, May 2, 2010, Cape Town, South Africa
Perception and practices of differential testing
"Tolerating Inconsistency" Revisited
Finding Appropriate User Feedback Analysis Techniques for Multiple Data Domains
Exploring GenAI-Driven Innovation in Game Development
Transition towards continuous delivery in the healthcare domain
Testing cyber-physical systems via evolutionary algorithms and machine learning
Structuring a Comprehensive Software Security Course Around the OWASP Application Security Verification Standard
Factors affecting team evolution during software projects
Aspect: An Economical Bug-Detector
Domain Specific Languages for Optimisation Modelling
Software Engineering for User Interfaces
RM2Doc: A Tool for Automatic Generation of Requirements Documents from Requirements Models
Assessing IOT Projects in University Education - A Framework for Problem-Based Learning
MSR 2004: International Workshop on Mining Software Repositories
Examining User Complaints of Wearable Apps: A Case Study on Android Wear
RE-STORM: mapping the decision-making problem and non-functional requirements trade-off to partially observable markov decision processes
Obsidian: a safer blockchain programming language
An HPC perspective on generative programming
Leopard: identifying vulnerable code for vulnerability assessment through program metrics
Simulation Games Platform for Unintentional Perpetrator Attack Vector Identification
An experimental study of a design-driven, tool-based development approach
Optimizing selection of competing services with probabilistic hierarchical refinement
Dynamic and Selective Combination of Extensions in Component-Based Applications
"Software is the easy part of Software Engineering" - Lessons and Experiences from A Large-Scale, Multi-Team Capstone Course
The Symptoms, Causes, and Repairs of Workarounds in Apache Issue Trackers
The Power of String Solving: Simplicity of Comparison
Experiences and results from initiating field defect prediction and product test prioritization efforts at ABB Inc
Specification-Based Test Oracles for Reactive Systems
Patterns for extracting high level information from bug reports
Does bug prediction support human developers? findings from a google case study
Automated detection and repair of incompatible uses of runtime permissions in Android apps
DeSiRE: further understanding nuances of degrees of satisfaction of non-functional requirements trade-off
Plug-and-Play Architectural Design and Verification
Influence of social and technical factors for evaluating contribution in GitHub
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs
Inference of development activities from interaction with uninstrumented applications
Consolidation of BI efforts in the LOD era for african context
Mutation Testing and Self/Peer Assessment: Analyzing their Effect on Students in a Software Testing Course
Slicing MATLAB Simulink models
Towards a generic model for software quality prediction
Model driven development for rapid prototyping and optimization of wireless sensor network applications
An overview of search based combinatorial testing
Coverage guided systematic concurrency testing
Decision-making in self-protecting software systems: a game-theoretic approach
Collaborative earthquake detection and response using smart devices
Constraint-based graceful degradation in smart grids
Measuring assurance case confidence using Baconian probabilities
Assurance Case Development as Data: A Manifesto
Understanding DevOps education with Grounded theory
Development of auxiliary functions: Should you be agile? An empirical assessment of pair programming and test-first programming
Poster: Distribution-aware Fairness Test Generation
Blockchain-based software engineering
From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers
Software Product Lines: Organizational Alternatives
Increasing quality of conceptual models: is object-oriented analysis that simple?
Estimating Software Fault Content Cefore Coding
Collective program analysis
Mining behavior models from user-intensive web applications
Understanding newcomers success in open source community
Case Study on Data-Driven Deployment of Program Analysis on an Open Tools Stack
A framework for automatic generation of evolvable e-commerce workplaces using business processes
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems
Metamorphic testing of Android graphics drivers
Representation of Factual Information by Equations and Their Evaluation
A Proposal for an Autonomic Grid Management System
SPYSE: a semantic search engine for python packages and modules
Detecting metadata bugs on the fly
5th IEEE/ACM International Workshop on Product Line Approaches in Software Engineering, PLEASE 2015, Florence, Italy, May 19, 2015
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2019, Montreal, QC, Canada, May 29-31, 2019
Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies
UML Profiles for Design Decisions and Non-Functional Requirements
First International Workshop on Product Line Approaches in Software Engineering (PLEASE 2010)
Integrating static analysis and general-purpose theorem proving for termination analysis
What happens in a control room during a cybersecurity attack?: Preliminary observations from a pilot study
Escape from escape analysis of Golang
Verifying incomplete and evolving specifications
Building reliable dynamic applications for ubiquitous computing
Mitigating Waste That Tacitly Accrues in Continuous Integration Pipelines
Do Students Recognize Ambiguity in Software Specifications? A Multi-national, Multi-institutional Report
Montessori + SE + ICT = SEET: using SE to teach SE
Open collaborative data: using OSS principles to share data in SW engineering
Avoiding deadlocks using stalemate and dimmunix
Topology control algorithms in WISELIB
Integrating Prior Knowledge with a Software Reliability Growth Model
Distilled Lifelong Self-Adaptation for Configurable Systems
Dependability in the Web Services Architecture
Establishing content traceability for software applications: An approach based on structuring and tracking of configuration elements
VMVM: unit test virtualization for Java
Improved event driven architecture for tizen sensor framework
SAVER: scalable, precise, and safe memory-error repair
A Spiral Approach to Software Engineering Project Management Education
Improving understandability of architecture design through visualization of architectural design decision
Code review quality: how developers see it
Heuristic-Based Model Refinement for FLAVERS
CCTEST: Testing and Repairing Code Completion Systems
An approach to aspect refactoring based on crosscutting concern types
Lazy Symbolic Evaluation and Its Path Constraints Solution
Android application development and testability
Exploiting group shuffling dynamics to convey the importance of good software design
Witt: querying technology terms based on automated classification
Random Generation of Test Inputs for Implicitly Defined Subdomains
edubase cloud: cloud platform for cloud education
Guiding Engineers with the Passive Process Engine Environment
An Empirical Study on Oculus Virtual Reality Applications: Security and Privacy Perspectives
Identifying successful strategies for resolving static analysis notifications
Large-scale formal verification in practice: A process perspective
Data scientists in software teams: state of the art and challenges
Supporting requirements engineering for medical products: early consideration of user-perceived quality
Using Architecture Analysis to Evolve Complex Industrial Systems
Teamscale: tackle technical debt and control the quality of your software
A Holistic Overview of Software Engineering Research Strategies
Improving formation of student teams: a clustering approach
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level
TauPad: Test Data Augmentation of Point Clouds by Adversarial Mutation
Testing Time Limits in Screener Questions for Online Surveys with Programmers
Refactoring community smells in the wild: the practitioner's field manual
StressCloud: A Tool for Analysing Performance and Energy Consumption of Cloud Applications
An Architectural Style for Solving Computationally Intensive Problems on Large Networks
WorkItemExplorer: Visualizing software development tasks using an interactive exploration environment
Security Thinking in Online Freelance Software Development
DEECo: an ecosystem for cyber-physical systems
"Do this! Do that!, And nothing will happen" Do specifications lead to securely stored passwords?
Modeling complex air traffic management systems
EVOSUITE at the SBFT 2023 Tool Competition
Improving exception handling with recommendations
Suade: Topology-Based Searches for Software Investigation
Implementing database access control policy from unconstrained natural language text
A Leveled Examination of Test-Driven Development Acceptance
Reuse Facts and Myths
Vision: alleviating Android developer burden on obfuscation
Automated Testing of a Converged Conferencing Application
Pattern-Oriented Distributed System Architectures
Towards using Few-Shot Prompt Learning for Automating Model Completion
Using mCRL2 for the analysis of software product lines
Multimorphic testing
Identifying missing relationships of CAPEC attack patterns by transformer models and graph structure
Goal-Directed Context Validation for Adaptive Ubiquitous Systems
Developing a concurrent service orchestration engine in ccr
Automated Construction of Testing and Analysis Tools
Automatically identifying that distributed programmers are stuck
Visualising architectural dependencies
Learning syntactic program transformations from examples
On the Similarity of Task Contexts
Software model checking in practice: an industrial case study
Blockchain and sustainability: a systematic mapping study
Modeling the Software Engineering Process
A Collection of Software Tools for Analyzing Design of Concurrent Software Systems
HARP: holistic analysis for refactoring Python-based analytics programs
Adaptive rule monitoring system
Gap between theory and practice: an empirical study of security patches in solidity
Security protocols, properties, and their monitoring
XSS pattern for attack modeling in testing
Agile software reuse recommender
T3 @SBST2018 benchmark, and how much we can get from asemantical testing
The Art and Practice of Data Science Pipelines: A Comprehensive Study of Data Science Pipelines In Theory, In-The-Small, and In-The-Large
Let's make refactoring tools user-extensible!
Capturing the long-term impact of changes
Developing a TTCN-3 Test Harness for Legacy Software
A Universal Data Augmentation Approach for Fault Localization
3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2017, Buenos Aires, Argentina, May 21, 2017
Survivability Analysis of Network Systems
MU-MMINT: An IDE for Model Uncertainty
Automated Test Case Generation for Safety-Critical Software in Scade
Model-based adaptive DoS attack mitigation
How secure is AOP and what can we do about it?
Checkers: Multi-modal Darwinian API Optimisation
Memory and resource leak defects in Java Projects: an empirical study
Machine-learning-guided selectively unsound static analysis
PROPEL: an approach supporting property elucidation
Integrated Support for Project Management
Representation of Software Product Line Architectures for search-based design
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study
Catching up with method and process practice: an industry-informed baseline for researchers
ISPW5: Experience with Software Process Models (Workshop Report)
Endeavors: A Process System Infrastructure
First Workshop on Economics-Driven Software Engineering Research
The road not taken: Estimating path execution frequency statically
Challenges and architectural approaches for authenticating mobile users
Software Templates
Recommendations for improving the usability of formal methods for product lines
WOGAN at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track
Google play console: insightful development using Android vitals and pre-launch reports
Software Quality Assessment Technology
Analyzing the transactive memory in teaching software engineering
From requirements to continuous re-prioritization of hypotheses
Metamodel-based tool integration with moflon
RIGAA at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track
Verification of Privacy-Enhanced Collaborations
Measuring and Mitigating Gaps in Structural Testing
On the Impact of a Collaborative Pedagogy on African American Millennial Students in Software Engineering
AntiCopyPaster 2.0: Whitebox just-in-time code duplicates extraction
Worldwide Gender Differences in Public Code Contributions and how they have been affected by the COVID-19 pandemic
Trio2Promela: A Model Checker for Temporal Metric Specifications
A Worldwide Survey of Base Process Activities Towards Software Engineering Process Excellence
Rapid requirements checks with requirements smells: two case studies
Poster: VIBeS, Transition System Mutation Made Easy
The Inconvenient Side of Software Bots on Pull Requests
ModuleGuard: Understanding and Detecting Module Conflicts in Python Ecosystem
Memoise: a tool for memoized symbolic execution
A metric suite proposal for logical dependency
MiniMon: Minimizing Android Applications with Intelligent Monitoring-Based Debloating
Exploratory study of a UML metric for fault prediction
Understanding and improving software build teams
Improving early detection of software merge conflicts
Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge
From UI design image to GUI skeleton: a neural machine translator to bootstrap mobile GUI implementation
Incremental consistency checking for pervasive context
SOEN-101: Code Generation by Emulating Software Process Models Using Large Language Model Agents
Neurosymbolic Modular Refinement Type Inference
An industry proof-of-concept demonstration of automated combinatorial test
TASSA: Testing Framework for Web Service Orchestrations
The structure of software design discussions
Integrating Natural Language Processing and Large Language Models Into DHIS2 to Improve Health Data Utilization
Learning to Boost Disjunctive Static Bug-Finders
TAXI - A Tool for XML-Based Testing
Static Analysis of Remote Procedure Call in Java Programs
Defect Content Estimations from Review Data
On Software Modernisation due to Library Obsolescence
Software maintenance and evolution: a roadmap
Testing an optimising compiler by generating random lambda terms
DeepLV: Suggesting Log Levels Using Ordinal Based Neural Networks
Run-time generation, transformation, and verification of access control models for self-protection
Improving continuous integration with similarity-based test case selection
Coordination of software components with BIP: application to OSGi
Concept to commit: A pattern designed to trace code changes from user requests to change implementation by analyzing mailing lists and code repositories
An Approach to Modeling Call Response Behavior on Mobile Phones Based on Multi-Dimensional Contexts
R-MOZART: A Reconfiguration Tool for WebThings Applications
Boidae: Your Personal Mining Platform
How Good Are My Tests?
IEEE/ACM 3rd International Workshop on Gender Equality, Diversity and Inclusion in Software Engineering, GE@ICSE 2022, Pittsburgh, PA, USA, May 20, 2022
Multi-tiered design rationale for change set based product line architectures
Architecture-driven self-adaptation and self-management in robotics systems
Large Language Models are Few-Shot Summarizers: Multi-Intent Comment Generation via In-Context Learning
Beyond the code itself: how programmers really look at pull requests
Spotting design problems with smell agglomerations
Automated Assertion Generation via Information Retrieval and Its Integration with Deep learning
Capsule-Oriented Programming
Deriving Specifications from Requirements: An Example
2nd International Workshop on Software Engineering Research and Industrial Practice (SER&IP 2015)
TASSAL: autofolding for source code summarization
Automatically answering API-related questions
3rd workshop on software engineering over the Internet
Finding relevant functions in millions of lines of code
Bug prediction based on fine-grained module histories
Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2019, Montreal, QC, Canada, May 28, 2019
An experience report on defect modelling in practice: pitfalls and challenges
Trace checking for dynamic software product lines
Statically checking API protocol conformance with mined multi-object specifications
Identifying features in forks
The EventB2Dafny rodin plug-in
Securing unsafe rust programs with XRust
Quality attributes and preferences on the synthesis of reactive systems
Understanding the Threats of Upstream Vulnerabilities to Downstream Projects in the Maven Ecosystem
Software validation using power profiles
A Replication Study: Just-in-Time Defect Prediction with Ensemble Learning
Stress and burnout in open source: toward finding, understanding, and mitigating unhealthy interactions
What causes my test alarm?: automatic cause analysis for test alarms in system and integration testing
Leveraging test logs for building a self-adaptive path planner
An Analysis of the Suitability of Test-Based Patch Acceptance Criteria
Are you cloud-certified? Preparing Computing Undergraduates for Cloud Certification with Experiential Learning
Proceedings of the 1st International Workshop on Software Qualities and Their Dependencies, SQUADE@ICSE 2018, Gothenburg, Sweden, May 28, 2018
An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ
A guided genetic algorithm for automated crash reproduction
Between Lines of Code: Unraveling the Distinct Patterns of Machine and Human Programmers
Empirical insights into the perceived benefits of agile software engineering practices: a case study from SAP
Online sharing and integration of results from mining software repositories
Architecture design decision maps for software sustainability
Who Broke the Build? Automatically Identifying Changes That Induce Test Failures in Continuous Integration at Google Scale
The secret life of bugs: Going past the errors and omissions in software repositories
Template-Guided Program Repair in the Era of Large Language Models
GROPG: a graphical on-phone debugger
Improving the effectiveness of traceability link recovery using hierarchical bayesian networks
Towards a model for optimizing technical debt in software products
A Synthetic English Query Language for a Relational Accociative Processor
BreakBot: Analyzing the Impact of Breaking Changes to Assist Library Evolution
Size estimation of web applications through web CMF object
Live API documentation
Model-based testing in industry: a case study with two MBT tools