yusuke1997/dblp-id-title huggingface dataset:
On the Relationship between Model Coverage and Code Coverage Using MATLAB's Simulink
The Real-Time General Display and Control Platform Designing Method based on Software Product Line
CTSCOPY: Hunting Cyber Threats within Enterprise via Provenance Graph-based Analysis
Hierarchical Cloud-Based Consortium Blockchains for Healthcare Data Storage
Defect Prediction Based on the Characteristics of Multilayer Structure of Software Network
Network Anomaly Detection Based on Dynamic Hierarchical Clustering of Cross Domain Data
Modeling Topic Propagation on Heterogeneous Online Social Networks
Towards More Accurate Fault Localization: An Approach Based on Feature Selection Using Branching Execution Probability
A Creative Computing Approach to Forecasting Yield Shock of Winter Wheat
How Do Coupled File Changes Influence How Developers Seek Help During Maintenance Tasks?
FeT: Hybrid Cloud-Based Mobile Bank Application Testing
Exploring Academic Knowledge Creation Models for Graduate Researches
Software Intensity Function Prediction by Haar Wavelet Regression
An Empirical Study of Bug Isolation on the Effectiveness of Multiple Fault Localization
A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles
Breaking Anonymity of Social Media by Profiling from Multimodal Information
Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems
Fault Localization: Analyzing Covering Arrays Given Prior Information
Weaknesses in LLM-Generated Code for Embedded Systems Networking
Facilitating Information Management in Integrated Development Environments through Visual Interface Enhancements
A BiLSTM-Attention Model for Detecting Smart Contract Defects More Accurately
Phish What You Wish
ucXception: A Framework for Evaluating Dependability of Software Systems
Testing Security Requirements with Non-experts: Approaches and Empirical Investigations
A Survey of Automatic Driving Environment Perception
Reliability Analysis of a Computer-Based Interlocking System with a Double 2-out-of-2 Redundancy Structure using Algebraic Binary Decision Diagrams
An Empirical Study on the Usage of SQL Execution Traces for Program Comprehension
SynEva: Evaluating ML Programs by Mirror Program Synthesis
Automated Functional Testing of Search Engines using Metamorphic Testing
Interactive Narrative Generation of Aesthetics of Violence in Films
CAT: A Customized Automata Toolkit
Timely Publication of Transaction Records in a Private Blockchain
Performance Analysis of Cloud Service Considering Reliability
Valkyrie: Improving Fuzzing Performance Through Deterministic Techniques
Automatic Generation of Diagnostic Reports for Nasal Endoscopy Images: A Topic-Aware Multimodal Recurrent Model
Research of Micro-expression Recognition Model based on Feature Unit
Secure Storage and Access for Task-Scheduling Schemes on Consortium Blockchain and Interplanetary File System
Evaluating Code Summarization with Improved Correlation with Human Assessment
An Economic Evaluation Model of Predictive Maintenance Technology for Lithium-Ion Batteries
DeepMnist: A method of white box testing based on hierarchy
Detect Triangle Attack on Blockchain by Trace Analysis
An Improved Comprehensive Evaluation Method for Software Development Ability
Using Problem Frames Approach for Key Information Extraction from Natural Language Requirements
What Should Abeeha do? an Activity for Phishing Awareness
Application Research of Formal Verification in Aerospace FPGA
Construction of Knowledge Graph For Internal Control of Financial Enterprises
Cross Platform API Mappings based on API Documentation Graphs
Uplink Transmission Performance Evaluation and Prediction of Railway Balise based on AHP-WNN
An Empirical Study of the Impact of Code Smell on File Changes
A Two-stage Personnel Recommendation Method Directed Towards Mobile Crowdsourcing Testing
QMine: A Framework for Mining Quantitative Regular Expressions from System Traces
Efficiency Metrics and Test Case Design for Test Automation
Evaluating Importance of Nodes in Interdependent Networks
A Systematic Requirements and Risks-Based Test Case Prioritization Using a Fuzzy Expert System
Improving Security Level via Velocity of Moving Target Defense
An Empirical Study on Software Defect Prediction using Function Point Analysis
Knowledge Management in Graduate Research
A Land-Based War-Gaming Simulation Method Based on Multi-Agent Proximal Policy Optimization
Designing Adaptive Deception Strategies
Performance Prediction for Lock-based Programs
Design and Implementation of Software Test Laboratory Based on Cloud Platform
Transferrable DP-Adapter Tuning: A Privacy-Preserving Multimodal Parameter-Efficient Fine-Tuning Framework
Service Reliability Oriented Modeling for the Failure of Cloud Data Center
Dirmap: Web Application Vulnerability Detection Platform Based on Script Code
Influence Maximization Algorithms Research Based on Big Graphs
Is Learning-to-Rank Cost-Effective in Recommending Relevant Files for Bug Localization?
An Improved Mean Shift Clustering Algorithm for LFA Detection
A Product Recommendation Approach Based on the Latent Social Trust Network Model for Collaborative Filtering
IEMT: Inequality-Based Metamorphic Testing for Autonomous Driving Models
YOLO-TSD: A Recognition and Detection Method for Traffic Sign Based on YOLOv5
Uncertainty-aware Metamorphic Testing for Robust Object Detection Models
An Empirical Study of Dynamic Incomplete-Case Nearest Neighbor Imputation in Software Quality Data
Repeatable Decentralized Simulations for Cyber-Physical Systems
ParGCN: Abnormal Transaction Detection based on Graph Neural Networks
Design and Specification of a Blockchain-based P2P Energy Trading Platform
An intrusion detection system integrating network-level intrusion detection and host-level intrusion detection
Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test
Intelligent Guidance Method for Elevator Emergency Treatment based on Automatic Recommendation and Fault Prediction
User-Perceived Source Code Quality Estimation Based on Static Analysis Metrics
A Model-Agnostic Interpretability Approach Based on Enhanced Hierarchical Clustering
An Analysis of Android Malware Behavior
A Proactive Self-Adaptation Approach for Software Systems based on Environment-Aware Model Predictive Control
2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017, Prague, Czech Republic, July 25-29, 2017
MDD4CER: Efficient Complex Event Recognition with Multiple-value Decision Diagram
Aircraft Pose Perception Technology Based on Tire Detection for Automatic Docking of Towbarless Aircraft Tractors
SRTEF: Automatic Test Function Recommendation with Scenarios for Implementing Stepwise Test Case
MASKED: A MapReduce Solution for the Kappa-Pruned Ensemble-Based Anomaly Detection System
On the Investigation of Essential Diversities for Deep Learning Testing Criteria
Emotion-Based Interactive Art Design
Assessing Real-Time Malware Threats
An Incomplete Unsatisfiable Cores Extracting Algorithm to Promote Routing
Evaluation of the Architecture Alternatives for Real-Time Intrusion Detection Systems for Vehicles
Deciphering Livestream Contents: OCR-Driven Thumbnail Forensic Analysis
What Makes a Satisficing Bug Report?
Dependency Aware and Delay Guaranteed SFC Placement in Multi-domain Networks
An Overview of the EMUs Maintenance Scheduling in China
VPIA-FMEA: A Method for Visual Perception Intelligent Algorithm FMEA
Enhancing Software Reliability Growth Modeling: A Comprehensive Analysis of Historical Datasets and Optimal Model Selections
ACLM: Software Aging Prediction of Virtual Machine Monitor Based on Attention Mechanism of CNN-LSTM Model
A Framework based on Deep Neural Network for Ranking-oriented Software Defect Prediction
A log-based anomaly detection method with the NW ensemble rules
Enhancing Fault Localization by incorporating Statement Frequency and Test Case Contribution
On the Analysis of Co-Occurrence of Anti-Patterns and Clones
Testing and Reinforcement Learning - A Structured Literature Review
Verifying Distributed Controllers with Local Invariants
A Visualization Method for Association Analysis and Fusion Based on Large-Scale Polymorphic Information
Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems
A Quantitative Evaluation Method of Software Usability Based on Improved GOMS Model
Metamorphic Testing for Traffic Sign Detection and Recognition
GNN-Based Transfer Learning and Tuning for Detecting Code Vulnerabilities across Different Programming Languages
Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems
Event stream classification with limited labeled data for e-commerce monitoring
Learning to rank software modules for effort-aware defect prediction
LLCF: A Load- and Location-Aware Collaborative Filtering Algorithm to Predict QoS of Web Service
Application of Blockchain in Trusted Data Provenance
Character-word Double-dimensional Semantic Classification Model for Judging Illegal and Irregular Behaviors for Internet Food Safety
Scenario-Based Software Reliability Testing and Evaluation of Complex Information Systems
Comparative Study of Ensemble Learning Methods in Just-in-time Software Defect Prediction
Statement-Oriented Mutant Reduction Strategy for Mutation Based Fault Localization
Hunting the Game - Towards a Game of Testing Adaptive Systems
HSD: Hybrid MARTE Sequence Diagram
Failure Modelling and Analysis of Airborne Video Transmission System Based on Data Reliability
Increasing Fuzz Testing Coverage for Smart Contracts with Dynamic Taint Analysis
Prefilter: A Fault Localization Method using Unlabelled Test Cases based on K-Means Clustering and Similarity
Navigating the Risks: A Review of Safety Issues in Large Language Models
A Novel Method to Prevent Multiple Withdraw Attack on ERC20 Tokens
A Black-Box Approach to Latency and Throughput Analysis
A Game-Theoretic Based QoS-Aware Capacity Management for Real-Time EdgeIoT Applications
Enhancing Code Prediction Transformer with AST Structural Matrix
A Testing-Coverage Software Reliability Growth Model Considering the Randomness of the Field Environment
Understanding and Mitigating Label Bias in Malware Classification: An Empirical Study
Analyzing Math Library Functions via Summarization
MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms
How Domain Knowledge Accumulation Influences Software Defects: An Empirical Analysis
Internet Governance: Social Mentality and Public Emotion Analysis on Online Media during the COVID-19 Epidemic in Mainland China
Research on Modeling and Verification Methods for Embedded Software Systems Based on SysML
Characterizing Software Maintainability in Issue Summaries using a Fuzzy Classifier
A User Profile Modeling Method Based on Word2Vec
A Method for Modulation Recognition Based on Entropy Features and Random Forest
Immersive Traffic Interactive Simulator for Multi-Agent
Ada4DP: Adversarial Enhanced Dual-Attentive Aggregation Learning for Defect Prediction
Recommendation Algorithm for Graph Convolutional Networks based on Multi-Ralational Knowledge Graph
Research on Feature Optimization Scheme Based on Data Feature Enhancement
Impact of datasets on machine learning based methods in Android malware detection: an empirical study
LLFI: An Intermediate Code-Level Fault Injection Tool for Hardware Faults
Evolving the Edge and the Cloud: A hybrid computing paradigm
Reshaping and Transforming of English Teaching in Higher Education in the ChatGPT Era: An Empirical Study Based on Big Data
Large Language Models on Solving Integral Calculus Problems
Reliability Evaluation for a Cloud Computer Network with Fog Computing
Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration
A Blockchain-Based Requirement Management Framework for Distributed Software Development Environment
Research, Implementation and Analysis of Source Code Metrics in Rust-Code-Analysis
Influence of Developer Factors on Code Quality: A Data Study
On Securing the Communication in IoT Infrastructure using Elliptic Curve Cryptography
Enhancing Programming Competition Performance: A Data-Driven Approach to Personalized Training
SC-MCC: A Stronger Code Coverage Criterion
The Relation between Bug Fix Change Patterns and Change Impact Analysis
Assets Criticality Assessment of Industrial Control Systems: A Wind Farm Case Study
Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems
Combinatorial Robustness Testing with Negative Test Cases
Enhancing Acceptance Test-Driven Development with Model-Based Test Generation
Application of Improved Fault Localization Method to Stereo Matching Software
Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-Chip
Loop Destroying Algorithm for Generating Creative Solutions Applying in Health Care Area
Integrating Application Security Testing Tools into ALM Tools in the Automotive Industry
Using Off-the-Shelf Exception Support Components in C++ Verification
An Approach to Optimize Symbolic Execution in Ethereum Smart Contracts
MVSE: Effort-Aware Heterogeneous Defect Prediction via Multiple-View Spectral Embedding
Comprehensive Model-Driven Complexity Metrics for Software Systems
A Pragmatic Perspective on Regression Testing Challenges
Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes
Can Solana's high throughput be an enabler for IoT?
Effects of Improper Ground Truth on Target Tracking Performance Evaluation in Benchmark
Applying Cognitive Complexity to Checklist-Based Human-Machine Pair Inspection
BTM: Black-Box Testing for DNN Based on Meta-Learning
An AI Software Test Method Based on Scene Deductive Approach
A Petri Net Modeling Approach for Reliability of PMS with Time Redundancy
A Simulation based Intelligent Analysis Framework of Aircraft Reliability, Resilience and Vulnerability
22nd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2022 - Companion, Guangzhou, China, December 5-9, 2022
STAN: Towards Describing Bytecodes of Smart Contract
Research on Object Categorization and Grabbing for a Cleaning Robot
Multi-Transaction Sequence Vulnerability Detection for Smart Contracts based on Inter-Path Data Dependency
PORA: Proportion-Oriented Randomized Algorithm for Test Case Prioritization
Telemetry-Based Software Failure Prediction by Concept-Space Model Creation
Neural Network-based Functional Degradation for Cyber-Physical Systems
Model-Based Testing Directed by Structural Coverage and Functional Requirements
Software Test Data Reuse Based on Domain Ontology Construction
A Reliability Benchmarking Method for Linux
Smart Contracts for a Mobility-as-a-Service Ecosystem
Preliminary Exploration of Intelligent Virtual Avatars in the Virtual Influencer Industry
Aster: Encoding Data Augmentation Relations into Seed Test Suites for Robustness Assessment and Fuzzing of Data-Augmented Deep Learning Models
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction
Software Vulnerability Detection via Doc2vec with path representations
On the Viability of Using SRGMs for IT Help Desk Incident Predictions
An Anomaly-Based Approach for Detecting Modularity Violations on Method Placement
Resilience Evaluation of Complex Networks with Attack Intensity
Enhancing Incremental Dataflow Analysis in an IDE
Automatic Testing Methods for Response Time of Information Systems
HyDroid: A Hybrid Approach for Generating API Call Traces from Obfuscated Android Applications for Mobile Security
Research on ensemble model of anomaly detection based on autoencoder
Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution
Deep Learning for Just-in-Time Defect Prediction
What are Good Discussions Within Bug Report Comments for Shortening Bug Fixing Time?
Machine Learning-based Mental Health Analysis and Early Warning for College Student
An AHP-Based Risk Assessment for an Industrial IoT Cloud
Log-based Anomaly Detection of Enterprise Software: An Empirical Study
Uncertainty Analysis of Race Conditions in Real-Time Systems
Reliability-redundancy allocation problem considering imperfect fault coverage
TWAO: Time-Weight-Aware Oversampling Method for Just-in-Time Software Defect Prediction
Modeling of Hazard Affected Regions in Support of Scenario Evolution Analysis for Unconventional Emergency
Blockchain-based Solutions for IoT: A Tertiary Study
Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets
Two Methods for Constructing Independent Spanning Trees in Alternating Group Networks
Automatic Exploit Generation for Buffer Overflow Vulnerabilities
An Empirical Study of Software Testing Quality based on Natural Experiments
An Empirical Study on Source Code Feature Extraction in Preprocessing of IR-Based Requirements Traceability
What Software Quality Characteristics Most Concern Safety-Critical Domains?
AMDroid: Android Malware Detection Using Function Call Graphs
Automatic Adaptation of Reliability and Performance Trade-Offs in Service- and Cloud-Based Dynamic Routing Architectures
Evaluation of Hallucination and Robustness for Large Language Models
Probabilistic Sampling-Based Testing for Accelerated Reliability Assessment
Quality Metrics for Hybrid Software Development Organizations - A Case Study
A Software Service Supporting Software Quality Forecasting
Research on the Information Quality Measurement of Judicial Documents
A Tool to Support Vibration Testing Method for Automatic Test Case Generation and Test Result Analysis
2015 IEEE International Conference on Software Quality, Reliability and Security, QRS 2015, Vancouver, BC, Canada, August 3-5, 2015
Constraint-Following Robust Control for Flying Car: A Model-Based Approach
LLM for Test Script Generation and Migration: Challenges, Capabilities, and Opportunities
Design and Application of a Sikuli Based Capture-Replay Tool
Case Study: Adaptive Test Automation for Testing an Adaptive Hadoop Resource Manager
The Research on Optimization of Flame Tube Welding Process Reliability Based on Numerical Simulation
An Analysis of Vulnerability Trends, 2008-2016
A Baseline Evaluation Method Based on Principal Component Analysis for Software Test Case Design
Trace-baed Error Prevention and Detection of Consistency Maintenance via Bidirectional Graph Transformations
Improving Spectrum-Based Fault Localization using quality assessment and optimization of a test suite
Decision Network: a New Network-Based Classifier
A Real-Time Collaborative Testing Approach for Web Application: Via Multi-tasks Matching
Separating the Wheat from the Chaff: Using Indexing and Sub-Sequence Mining Techniques to Identify Related Crashes During Bug Triage
Predictors of Software Metric Correlation: A Non-parametric Analysis
Electronic Medical Record classification method based on LSTM of text word features dimensionality reduction
Service Systems Development Based on a Knowledge Synthesis Methodology
Coverage Guided Multiple Base Choice Testing
DNS Rebinding Attacks Against Browsers on Azure Virtual Machines
Why Students Write Low-Quality Unit Testing Scripts: An Empirical Study from Software Testing Skill Competitions
Modeling and Real-Time Verification for CPS based on Time Automata
EDDNet: An Efficient and Accurate Defect Detection Network for the Industrial Edge Environment
Artificial Intelligence as a New Engine for Boosting Economic Performance of Manufacturing Enterprises
Generalized Perceptual Modeling: Virtual Human Face Modeling and Expression Recognition Considering Emotion Understanding
Fuzzy Safety and Liveness Properties in Linear-time
Fault Localization Guided Execution Comparison for Failure Comprehension
Towards Safe Human-Robot Interaction: A Pilot Study on a Deep Learning-Assisted Workspace Monitoring System
An Importance Based Algorithm for Reliability-Redundancy Allocation of Phased Mission Systems
Testing and Debugging in Continuous Integration with Budget Quotas on Test Executions
(Semi) automatic Assertion Generation from Controlled Chinese Natural Language: A Practice in Aerospace Industry
GitHub Considered Harmful? Analyzing Open-Source Projects for the Automatic Generation of Cryptographic API Call Sequences
A Case Study on the "Jungle" Search for Industry-Relevant Regression Testing
An MILP-NLP decomposition approach applied to a refinery scheduling problem
A Case Study on Code Generation of an ERP System from Event-B
Fuzzing Deep Learning Models against Natural Robustness with Filter Coverage ‡
A-TCN: Attention-Based TCN for OSS Reliability Prediction on High-Dimensional Fault Dataset
Hunter in the Dark: Discover Anomalous Network Activity Using Deep Ensemble Network
Can PoW Consensus Protocol Resist the Whale Attack?
Safety Awareness Online Detection System of Driving Behavior Based on Software and Hardware Co-design
Salus: A Novel Data-Driven Monitor that Enables Real-Time Safety in Autonomous Driving Systems
Enhancing Account Recovery with Location-based Dynamic Questions
An Empirical Study on the Characteristics of Connected Knowledge Subgraphs on Stack Overflow
An Operational Resilience Metric for Modern Power Distribution Systems
Security Smells in Smart Contracts
PHM Technology for Memory Anomalies in Cloud Computing for IaaS
Modeling and Discovering Data Race with Concurrent Code Property Graphs
Bug Patterns Localization Based on Topic Model for Bugs in Program Loop
Study on the Automated Unit Testing Solution on the Linux Platform
Assessing the Quality of Tabular State Machines through Metrics
Strategies for Improving the Error Robustness of Convolutional Neural Networks
Estimating the Attack Surface from Residual Vulnerabilities in Open Source Software Supply Chain
Towards a Holistic Approach to Medical IoT Forensics
23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023
A Candidate Architecture for Cloud-Based Monitoring in Industrial Automation
Generating Abstract Test Cases from User Requirements using MDSE and NLP
Improved Invariant Generation for Industrial Software Model Checking of Time Properties
Is There A "Golden" Rule for Code Reviewer Recommendation? : - An Experimental Evaluation
An Excellence Level Evaluation Model of Intelligent Manufacturing Unit
A Creative Approach to Humour Degree Calculation for Utterances
A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution
Security Vulnerability Metrics for Connected Vehicles
GST-Net: A GIS-based Hybrid Prediction Model for Shared Bike Traffic Flow
Understanding Bugs in Rust Compilers
A Titration Mechanism Based Congestion Model
Correct and Control Complex IoT Systems: Evaluation of a Classification for System Anomalies
A New Software Reliability Evaluation Model Based on the Probability of the Failure Mode
Research on generation algorithm of SOA-oriented integration test order
Complex Network Theory-based Deep Neural Network Degradation Analysis in the Context of Bit Attack
Guide Fuzzing with Multi-Factor Potential Analysis
Research on Parametric Generation of Automobile Styling Based on Grasshopper
A Fuzz Testing Service for Assuring Smart Contracts
A Method for Constructing Automotive Cybersecurity Tests, a CAN Fuzz Testing Example
The Economics of Blockchain Governance: Evaluate Liquid Democracy on the Internet Computer
A Deep Learning Method for Judicial Decision Support
Effects of $\boldsymbol{L}_{\boldsymbol{p}}$-norm Deficits in Quantization Human Perception on Attack Methods
Modeling and Verification of CKB Consensus Protocol in Coq
Automated Modeling of Web Service Composition and Testing: A UML Sequence Diagram-Based Approach
Hunting Killer Tasks for Cloud System through Machine Learning: A Google Cluster Case Study
Evaluating OpenAI Large Language Models for Generating Logical Abstractions of Technical Requirements Documents
A Taxonomy of Software Flaws Leading to Buffer Overflows
A Comparative Study of Knowledge Management on Undergraduate by Questionnaire
Boolean Differentiation for Formalizing Myers' Cause-Effect Graph Testing Technique
Automatic Localization of Bugs to Faulty Components in Large Scale Software Systems Using Bayesian Classification