yusuke1997/dblp-id-title huggingface dataset:
When and Why Do Software Developers Face Uncertainty?
Knowledge Graph Completing with Dual Confrontation Learning Model based on Variational Information Bottleneck Method
An Evaluation of the Quality of Answers to Academic Questions Relating to COVID-19 on Academic Social Q&A Platforms
A Software Multi-Fault Clustering Ensemble Technology
Known XML Vulnerabilities Are Still a Threat to Popular Parsers and Open Source Systems
Improving Random Test Sets Using a Locally Spreading Approach
A New Method for Quality Analysis of Multi-Process Manufacture
Explainable APT Attribution for Malware Using NLP Techniques
An Analysis of the Inclusion of Environmental Cost Factors in Software Cost Estimation Datasets
Predictive Mutation Analysis of Test Case Prioritization for Deep Neural Networks
Log Parsing using Semantic Filtering based Prompt Learning
Exploring the Capability of ChatGPT in Test Generation
Systemization of Vulnerability Information by Ontology for Impact Analysis
Security and Fault Diagnosis-Based Assertion-Based Verification for FPGA
Smart Feeder Robot for Severely Disabled Patients
Comprehensive Robustness Evaluation of File Systems with Model Checking
Asymmetry in Coevolving Adversarial Systems
Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps
An Agent-Based Modeling Approach to Designing and Optimizing Bug Bounty Programs for Cybersecurity in Developing Countries
Analyzing Metadata in PDF Files Published by Police Agencies in Japan
Software Code Quality Measurement: Implications from Metric Distributions
Automatically Repairing SQL Faults
Automatic Detection of Feature Interactions Using Symbolic Analysis and Evolutionary Computation
SAS-GKE: A Secure Authenticated Scalable Group Key Exchange
A Comparison Analysis of Constraint-Handling Techniques on Rule Selection Problem in Credit Risk Assessment: An Industrial View
OTCP-ISVM: Online Test Case Prioritization Based on Incremental Support Vector Machine
Towards Analyzing Contributions from Software Repositories to Optimize Issue Assignment
Fine-tuning BERT for Intelligent Software System Fault Classification
A Transfer Learning Based Interpretable User Experience Model on Small Samples
Text Classification Method Based On Semi-Supervised Transfer Learning
Design and Application of Ship Information System Development Platform Architecture Based on OSGi
WinHeap Explorer: Efficient and Transparent Heap-Based Bug Detection in Machine Code
Towards Transparency and Trustworthy: A Used-Car Deposit Platform Based on Blockchain
Soft Actor-Critic Based Anti-Attack XSS Detection
Knowledge Extraction and Integration for Information Gathering in Penetration Testing
Continuous Implicit Authentication through Touch Traces Modelling
Empirical Analysis of Factors Affecting Time-Leverage Nodes of Complex Software
Mutation Testing for Physical Computing
Automatic Identification of High Impact Bug Report by Test Smells of Textual Similar Bug Reports
A Noval Method of Security Verification for JTAG Protection Function
Predictive Mutation-Based Fault Localization: Balancing Effectiveness and Cost
Solar Energy-Based Virtual Machine Placement Algorithm for Geo-Distributed Datacenters
Research on Simulation System Software Reliability Demonstration Testing Scheme Based on Nonparametric Method
The Application of LLMs in the Analysis and Modeling of Software Requirements
WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection
Log severity levels matter: A multivocal mapping
Cache Optimizations for Test Case Reduction
Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study
Metamorphic Testing for the Medical Image Classification Model
LGLog: Semi-supervised Graph Representation Learning for Anomaly Detection based on System Logs
Learning from Failures: Translation of Natural Language Requirements into Linear Temporal Logic with Large Language Models
Automatic Invariant Synthesis for Arrays in Simple Programs
EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction
Multiple Error Types Software Belief Reliability Growth Model Based on Uncertain Differential Equation
METCN: A Multi-Task Enhanced TCN Model for Software Fault Detection and Correction Prediction
Event-level Anomaly Detection on Software logs: Role of Algorithm, Threshold, and Window Size
Review of Key Attribute Analysis and Verification Techniques for CPS
Impact of Prior Beliefs on Dependability Prediction for a Changed System Using Pre-change Operational Evidence
Testing in the Evolving World of DL Systems: Insights from Python GitHub Projects
Accept or Not? An Empirical Study on Analyzing the Factors that Affect the Outcomes of Modern Code Review?
A New Improved Method of Recurrent Memory Perception for Radar Echo Extrapolation
On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods
Reliability of Centralized vs. Parallel Software Models for Composable Storage Systems
Sound Predictive Atomicity Violation Detection§
Selection of Network Feature Attribute Based On Classification Discrimination And Correlation Analysis
Cryptography Vulnerabilities on HackerOne
Evaluating Fault Localization for Resource Adaptation via Test-Based Software Modification
An improved mapping method for automated consistency check between software architecture and source code
Rolling Bearing Vibration Signal Analysis Based on Dual-Entropy, Holder Coefficient and Gray Relation Theory
Quality Evaluation of Summarization Models for Patent Documents
Optimizing Monitor Code Based on Patterns in Runtime Verification
Exploring the Dependency Relationships between Software Qualities
Heuristics for Strongly Killing Mutants in Software Mutation Testing
An Integrated Architecture for IoT Fingerprinting
AuthROS: Secure Data Sharing Among Robot Operating Systems based on Ethereum
On ChatGPT: Perspectives from Software Engineering Students
Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System
A Test Path Generation Method Based on SSM Models
An Error Model for Multi-threaded Single-Node Applications, and Its Implementation
Research on the Construction Method of Multimodal Dataset for Hazardous Chemicals Warehouse Applied to Inspection Vehicle
Exploring students' sensemaking of test case design. An initial study
CHEMFUZZ: Large Language Models-Assisted Fuzzing for Quantum Chemistry Software Bug Detection
Detecting Security Threats Using Mobile Devices
An Empirical Study of Flight Control System Model Checking Integrated with FMEA
SRRA: A Novel Skewness-Based Algorithm for Cloudlet Scheduling
Dynamic Importance Measure for K-out-of-n System in Presence of Dependent Failure
On Kolmogorov-Smirnov Test for Software Reliability Models with Grouped Data
An Industrial Study on the Challenges and Effects of Diversity-Based Testing in Continuous Integration
Security Controller Synthesis for ROS-based Robot
A simple, lightweight framework for testing RESTful services with TTCN-3
Enhancing Data Retrieval with Custom Embedding Models and ChatGPT
On Error Representativeness of Function Call Interfaces for C/C++ Program
Automatic Test Case Generation and Optimization Based on Mutation Testing
Multi-Population Genetic Algorithm Based EFSM Regression Test Data Generation
An Empirical Study on Vulnerability Detection for Source Code Software based on Deep Learning
Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques
A Model to Estimate First-Order Mutation Coverage from Higher-Order Mutation Coverage
Automatic Collaborative Testing of Applications Integrating Text Features and Priority Experience Replay
Full Digital Simulation Testing of Networked Embedded Software
An Empirical Study of Open Source Flight Control Software Program Model Checking
MFTCN: A Multi-Frequency Temporal Convolutional Network for Enhancing Temperature Prediction Dependability
Evolutionary Review of Research Themes in Functional Electrical Stimulation with in the Rehabilitation Medicine Field
A Method of Quality Improvement Based on Big Quality Warranty Data Analysis
A preliminary investigation of developer profiles based on their activities and code quality: Who does what?
Specification-based Test Case Generation with Constrained Genetic Programming
Semantic Code Clone Detection Via Event Embedding Tree and GAT Network
A Creative Computing Approach to Optimising Citizens' Fashion Education based on Design Thinking for Responding to Micro-Level Needs of Smart City Development
Economics of Resilient Cloud Services
Independent Boot Process Verification using Side-Channel Power Analysis
Towards Optimally Hiding Protected Assets in Software Applications
Detecting Bias in LLMs' Natural Language Inference Using Metamorphic Testing
Analyzing Software Security-related Size and its Relationship with Vulnerabilities in OSS
Provably Secure Cryptographic ABAC System to Enhance Reliability and Privacy Using Real-Time Token and Dynamic Policy
TauAud: Test Augmentation of Image Recognition in Autonomous Driving
Implications for Running AI Applications on Serverless Platforms
An Industrial Case Study of Project Management Using Cross Project Software Reliability Growth Model
Research on the DMC-Based Patent Analysis
Anti-Money Laundering Risk Identification of Financial Institutions based on Aspect-Level Graph Neural Networks
HistLock: Efficient and Sound Hybrid Detection of Hidden Predictive Data Races with Functional Contexts
DeepDetect: A Practical On-device Android Malware Detector
A Data-Efficient Method of Deep Reinforcement Learning for Chinese Chess
A Method for Predicting Two-Variable Atomicity Violations
A Strategy of Dynamic Random Testing with Hybrid Distance Metrics for Quantum Programs
A Systematic Mapping Study of Empirical Studies on Software Cloud Testing Methods
Effective Test Generation for Combinatorial Decision Coverage
The Bugs Framework (BF): A Structured Approach to Express Bugs
Explainable AI Applied in Healthcare: A Case Study of Diabetes Prediction
A Quantum Information and Cybernetics Based Algorithm for Creativity Applying in Cultural Heritage Products Design
Monitor Synthesis for Parametric MTL Properties in Discrete Control Software
Design Method of Banquet Intelligent Side Dishes System Based on Data Mining and Correlation Analysis
Time-aware multi-resolutional approach to re-identifying location histories by using social networks
BehaviorKI: Behavior Pattern Based Runtime Integrity Checking for Operating System Kernel
Towards optimal resources allocation in cloud manufacturing: new task decomposition strategy and service composition model
Software Vulnerability Detection Based on Binary Intermediate Slicing
The Effect of Variable Strength Combinatorial Coverage for Neurons on Fault Detection in Deep Neural Networks
Maintenance Optimization for Dependent Two-Unit Systems Considering Stochastic Degradation and Imperfect Maintenance
Feature Extraction from Japanese Natural Language Requirements Documents for Software Product Line Engineering
Analysis of Software Service Usage in Healthcare Communication Services
Abstracting Program Dependencies Using the Method Dependence Graph
Development of Intelligent Virtual Assistant for Software Testing Team
Exchange of Preparatory Information for Secure and Usable Cryptocurrency Transactions
A Deep Method Renaming Prediction and Refinement Approach for Java Projects
Secure OTA Software Updates for Connected Vehicles Using LoRaWAN and Blockchain
CodeBERT-nt: Code Naturalness via CodeBERT
MC/DC Test Case Automatic Generation for Safety-Critical Systems
A code clone detection algorithm based on graph convolution network with AST tree edge
Reducing Label Errors for Actionable Warning Identification
Confuzzion: A Java Virtual Machine Fuzzer for Type Confusion Vulnerabilities
REConvertor: Transforming Textual Use Cases to High-Level Message Sequence Chart
Cooperative Defense-in-Depth in Large-Scale Autonomous Vehicle Networks
Quality-of-Experience driven configuration of WebRTC services through automated testing
Transformer for High-Speed Train Wheel Wear Prediction with Multiplex Local-Global Temporal Fusion
Wireless Threats Against V2X Communication
Highly Available, Self-Defending, and Malicious Fault-Tolerant Systems for Automotive Cybersecurity
3aRAM: A 3-Layer AHP-Based Risk Assessment Model and its Implementation for an Industrial IoT Cloud
An Empirical Study of Solidity Language Features
A Semantic Definition of Faults and Its Implications
Combinatorial Methods of Feature Selection for Cell Image Classification
Machine-learning Approach using Solidity Bytecode for Smart-contract Honeypot Detection in the Ethereum
A Refined Algorithm for Reachability Analysis of Updatable Timed Automata
REPD: Source Code Defect Prediction As Anomaly Detection
20th IEEE International Conference on Software Quality, Reliability and Security, QRS 2020, Macau, China, December 11-14, 2020
A Survey on Backdoor Attack and Defense in Natural Language Processing
Characterization of Nonlocality in Chained Quantum Networks
Testing Adequacy of Convolutional Neural Network Based on Mutation Testing
An Identification Algorithm of Attacking Programs based on Quadratic Feature Selection and Fast Decision Tree
Evaluation of Software Testing Adequacy based on AHP and BPNN
An Algorithm Based on Monocular Vision for Unsafe Behavior Recognition of Human-Object Interaction in Inspection Vehicles for Hazardous Chemical Storage
Improving Blocking Bug Pair Prediction via Hybrid Deep Learning
The Impact of Digital Technology Application on Tourist Enterprise Performance: The Moderating Role of Ownership Balance Degree
Detecting Errors in a Humanoid Robot
Influence of the Distance Calculation Error on the Performance of Adaptive Random Testing
Design and Implementation of Combinatorial Testing Tools
Introducing a Multi-layered Model-based Design Approach towards Safety-Security Co-engineering
Stochastic Comparisons of Used Coherent System and New System of Used Components for Non-Identically Distributed and Dependent Components
Towards Better Understanding of Software Quality Evolution through Commit-Impact Analysis
Does Socio-Technical Congruence Have an Effect on Continuous Integration Build Failures? An Empirical Study on 10 GitHub Projects
The ACPATH Structural Complexity Metric
On the Automation of Audio Plugin Testing *
Model-Driven Development of Single-Page Applications Using UML State Machines and Maude
Exploring Large Language Models for Method Name Prediction
2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Vienna, Austria, August 1-3, 2016
JFuzzer: Detecting Optimization Errors in JavaScript Just-In-Time Compilers
Implementing Cyber Resilient Designs through Graph Analytics Assisted Model Based Systems Engineering
Modeling and Analyzing the Android Permission Framework Using High Level Petri Nets
Model-Based Testing of Obligatory ABAC Systems
Which Change Sets in Git Repositories Are Related?
A Graph based Calligraphy Similarity Compare Model
STAMP S&S: Safety & Security Scenario for Specification and Standard in the society of AI/IoT
ADS Modeling and Safety Verification in Extreme Driving Scenarios
Vulnerability Analysis of Similar Code
Multiphysics Simulation Methods for Microsystem Interconnections
Reusable Support for Task-Based Adaptive Navigation
Continuous Usability Requirements Evaluation based on Runtime User Behavior Mining
A Method of Optimizing Multi-Locators Based on Machine Learning
Research on the Impact of Tester's Technical and Cognitive Factors on Aerospace Software Test Quality
Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing
A Model Driven Approach for Device Driver Development
Optimal Second-Order Mutants Reduction Based on MOEA/D
Component reassignment of two balanced linear consecutive k-out-of-n systems
Effective Iterative Program Synthesis with Knowledge Searched from Internet
Architecture for the Automation of Live Testing of Cloud Systems
2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018
DeepGuard: A DeepBillboard Attack Detection Technique against Connected and Autonomous Vehicles
mpXim: A Decentralized Mixing Scheme based on a Multi-Party Discovering Protocol
Resilience Analysis of Urban Rail Transit Network Under Large Passenger Flow
Data Obfuscation for Privacy and Confidentiality in Cloud Computing
Blockchain and Scalability
A Study of Software Testing Practices in Sri Lankan Software Companies
STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems
Fault Localization and Test Oracle Generation Based on the Mutual Pattern of Discrete Path Variables
A SSCPS safety assessment method based on mission risk
Non-intrusive Virtual Machine Analysis and Reverse Debugging with SWAT
Building Safe and Stable DNN Controllers using Deep Reinforcement Learning and Deep Imitation Learning
DeepHC: Efficient Generating Tests with High Coverage for Deep Neural Networks
A Study on Testing Autonomous Driving Systems
DyFuzz: Skeleton-based Fuzzing for Python Libraries
Network Performance Bottleneck Detection and Maximum Network Throughput Estimation for Datacenter Applications
An Empirical Study on Software Aging of Long-Running Object Detection Algorithms
Predicting Bugs in Software Code Changes Using Isolation Forest
An Ontological Analysis of Safety-Critical Software and Its Anomalies
DFL: Dual-Service Fault Localization
Evaluating Performance and Security of a Hybrid Moving Target Defense in SDN Environments
A Detection Method for Scarcity Defect of Blockchain Digital Asset based on Invariant Analysis
LogGD: Detecting Anomalies from System Logs with Graph Neural Networks
A Comparative Analysis of SVM, Naive Bayes and GBDT for Data Faults Detection in WSNs
From Natural Language Requirements to Passive Test Cases Using Guarded Assertions
The Energy Footprint of Blockchain Consensus Mechanisms Beyond Proof-of-Work
An Approach to Determine the Optimal k-Value of K-means Clustering in Adaptive Random Testing
A Novel Hidden Markov Model for Genome-Wide Association Studies
Cancelable Iris Biometrics Based on Transformation Network
Speed and Performance of Parserless and Unsupervised Anomaly Detection Methods on Software Logs
Synthesized dataset for search-based test data generation methods focused on MC/DC criterion
Highly Accelerated Life Test Evaluation Based on Accelerated Growth Model
Dissecting Mobile Offerwall Advertisements: An Explorative Study
A Content-Based Phishing Email Detection Method
A Journey from Manual Testing to Automated Test Generation in an Industry Project
An Empirical Study of the Bug Link Rate
Division by Zero: Threats and Effects in Spectrum-Based Fault Localization Formulas
Research on FCS Design Technology of Electric Tilting Quadrotor UAV
Evaluation of Lithium Batteries Based on Continuous Hidden Markov Model
Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis
SIS: A Syntactic Information-based Span-level Model for Aspect Sentiment Triplets Extraction
Strategies for Reducing Traffic Volume and Security on Smart Grid
SemOIR: An ontology-based semantic information retrieval system
Measurement and Prediction of SaaS Reliability in the Cloud
ConLAR: Learning to Allocate Resources to Docker Containers under Time-Varying Workloads
Intersert: Assertions on Distributed Process Interaction Sessions
Grey Relational Analysis Based k Nearest Neighbor Missing Data Imputation for Software Quality Datasets
A New Code Review Method based on Human Errors
A Novel Approach for Software Defect Prediction Through Relational Association Rules Based on Cost-Sensitive Learning
Lightweight Key Agreement for Wireless Sensor Networks
Modeling Method and Correctness Verification of Power Grid Safety and Stability Control Strategy System
Input Validation for Neural Networks via Local Robustness Verification
Machine Learning to Evaluate Evolvability Defects: Code Metrics Thresholds for a Given Context
A Hierarchical Deep Neural Network for Detecting Lines of Codes with Vulnerabilities
EATS: Efficient Adaptive Test Case Selection for Deep Neural Networks
SIAF: Systematic Interference Analysis Framework for Household Microprocessor Services
Formal Modeling and Verification of Industrial Robotic Arm - A Case Study
Pedestrian Detection Method Based on Fusion of LIDAR and Camera
Test Case Reuse Method Based on Deep Semantic Matching
Multi Pair Swap-Based Weather Derivative DeFi
Cyber-Security Incident Analysis by Causal Analysis using System Theory (CAST)
Stopping Criteria for Satellite Imaging based on Improved Differential Evolution Algorithm
The Interweaving of Institutional Investors, Cloud Computing Technology and Sustainable Growth of Tourism Enterprises
Recent Trends in Software Quality Interrelationships: A Systematic Mapping Study
Crowdsourced Testing Task Assignment based on Knowledge Graphs
Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis
Generating Complex Paths for Testing from an EFSM
A Point Process Approach of Bug Fixing Analysis in Open Source Software Projects
An Empirical Study of the Impact of COVID-19 on OSS Development
Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming
Should I Bug You? Identifying Domain Experts in Software Projects Using Code Complexity Metrics
Improving Trace Generation and Analysis for Medical Devices
Performance Analysis Using Automatic Grouping
TTCN-3 based NG112 Test System and Playground for Emergency Communication
AADL Vulnerability Modeling and Security Analysis Method
On the Effectiveness of Combinatorial Interaction Testing: A Case Study
PSO-LSSVM model-based waypoint traffic prediction study
A Threat Analysis Methodology for Security Requirements Elicitation in Machine Learning Based Systems
Test Data Augmentation for Image Recognition Software
An Approach to Detecting Tourists Satisfaction based on Physical Data and Internet Data
An Empirical Analysis of Three-Stage Data-Preprocessing for Analogy-Based Software Effort Estimation on the ISBSG Data
An Empirical Study on Bugs in Rust Programming Language
MetaA: Multi-Dimensional Evaluation of Testing Ability via Adversarial Examples in Deep Learning
A Service-Oriented Framework for An Integrated Study of Intelligent Data Collection and Application
Range Partition Testing: Principle and Technique
Trial Application of Risk Assessment Method for Metaverse
Exploring Transformers for Multi-Label Classification of Java Vulnerabilities
ChatGPT vs. Stack Overflow: An Exploratory Comparison of Programming Assistance Tools
Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata
Sdft: A PDG-based Summarization for Efficient Dynamic Data Flow Tracking
Reliability Service Assurance in Public Clouds based on Blockchain
The Causal Reasoning Ability of Open Large Language Model: A Comprehensive and Exemplary Functional Testing
UML-SR: A Novel Security Requirements Specification Language
Testing Autonomous Driving System based on Scenic
System Call-Based Detection of Malicious Processes
Application of Risk Assessment Method to Local Government Security Models
Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing
Residual Life Estimation by Fusing Few Failure Lifetime and Degradation Data from Real-Time Updating
Hierarchical Action Embedding for Effective Autonomous Penetration Testing
A Data Constraint Analysis Method for Full-Digital Simulation Test
RUSTY: Effective C to Rust Conversion via Unstructured Control Specialization
DroidGamer: Android Game Testing with Operable Widget Recognition by Deep Learning
Microservices: architecture, container, and challenges
TBFV-SE: Testing-Based Formal Verification with Symbolic Execution
NOTICE: A Framework for Non-Functional Testing of Compilers
An Efficient Network Traffic Classification Method based on Combined Feature Dimensionality Reduction
An Efficient Network Intrusion Detection Model Based on Temporal Convolutional Networks
A Human-Machine Intervention Model of Autonomous Driving Vehicle
Automated Extraction of Feature Models from Android Based Portable Devices