yusuke1997/dblp-id-title huggingface dataset:
Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009
A Novel Approach to Automatic Test Case Generation for Web Applications
Empirically Evaluating the Quality of Automatically Generated and Manually Written Test Suites
Reconstruct the Distributed Transaction Monitor OnceTX
Evaluating Web Site Quality: A Statistical Approach
Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations
On the Correlation between the Effectiveness of Metamorphic Relations and Dissimilarities of Test Case Executions
Proper use of Agent Technologies in Design and Implementation of Software Intensive Systems
A Peer-to-peer Architecture forWorkflow in Virtual Enterpris
GARDIAN: A Tool for Validating Rule-Based Modeling Methods
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints
Automatic Visualization of Abstract System Specifications
Scenario-based Object-Oriented Testing Framework
Requirements-Driven Testing of Domain-Specific Core Language Models Using Scenarios
Managing Quality of Context in Pervasive Computing
A Methodology for Continuos Quality Assessment of Software Artefacts
Control and Data Complexity Metrics for Web Service Compositions
Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs
An Embedded Software Component Maturity Model
Towards Runtime Plug-and-Play Software
A Mobile Software Quality Model
Control-Flow Analysis and Representation for Aspect-Oriented Programs
Automated Test Oracle Generation via Denotational Semantics
Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China
A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications
Fault Localization for Null Pointer Exception Based on Stack Trace and Program Slicing
A Multivariate Analysis of Static Code Attributes for Defect Prediction
Early Identification of Future Committers in Open Source Software Projects
GcpSensor: a CPU Performance Tool for Grid Environments
Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper)
Factors for Effective Use of Deployed Design Patterns
Capturing and Using Software Architecture Knowledge for Architecture-Based Software Development
An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems
A Benchmarking-Based Model for Technical Debt Calculation
Cohesion Metrics for Predicting Maintainability of Service-Oriented Software
Practice Patterns to Improve the Quality of Design Model in Embedded Software Development
Fault-Based Testing of Database Application Programs with Conceptual Data Model
Teaching Automated Test Case Generation
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software
A Probabilistic QoS Model-Checking for Dynamic Routing Protocol
Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK
Antipattern-Based Detection of Deficiencies in Java Multithreaded Software
PRISMS: an Approach to Software Process Improvement for Small to Medium Enterprises
Adaptive Random Testing with Enlarged Input Domain
PRISMA: Towards Quality, Aspect Oriented and Dynamic Software Architectures
Enabling Agent-Based Management of Web Services with WS2JADE
Verification of C Programs using Slicing Execution
Testability Analysis Applied to Embedded Data-flow Software
Saving Time in a Space-Efficient Simulation Algorithm
3-Way GUI Test Cases Generation Based on Event-Wise Partitioning
Developing Data Quality Aware Applications
A Type System for Behavior Consistent Service Substitution in Service Compositions
Integration of Requirements Engineering and Test-Case Generation via OSLC
MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3
Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution Models
Technical Reviews in Agile Development: Case Mobile-D^TM
Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies
Coping with API Evolution for Running, Mission-Critical Applications Using Virtual Execution Environment
Reliability Improvement of Web-Based Software Applications
Probabilistic Adaptive Random Testing
Parameter Tuning for Search-Based Test-Data Generation Revisited: Support for Previous Results
MPT.BR: A Brazilian Maturity Model for Testing
Systematic Development of Quality Aware Decentralised Service-Oriented Systems
A Modeling Framework for Service-Oriented Architecture
White Box Pairwise Test Case Generation
An Intuitive Approach for Specifying Interface Constraint
Energy Efficiency in Testing and Regression Testing - A Comparison of DVFS Techniques
Test Order for Class-based Integration Testing of Java Applications
A Security Assurance Framework Combining Formal Verification and Security Functional Testing
Case Studies: The Potential Teaching Instruments for Software Engineering Education
Correlating Context-Awareness and Mutation Analysis for Pervasive Computing Systems
PCTF: An Integrated, Extensible Cloud Test Framework for Testing Cloud Platforms and Applications
Status Report: Practical Software Measurement
Building Prioritized Pairwise Interaction Test Suites with Ant Colony Optimization
An Approach to Fully Recognizing Addressable Expression
Alternative B-Sequences
Relevant Past Performance for Selecting Web Services
Extracting Reusable Object-Oriented Legacy Code Segments with Combined Formal Concept Analysis and Slicing Techniques for Service Integration
The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets
Symbolic Execution of Virtual Devices
SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper)
Modeling and Verifying a Lego Car Using Hybrid I/O Automata
An Empirical Study on the Usage of Mocking Frameworks in Software Testing
Testing Long-Lived Web Services Transactions Using a Risk-Based Approach
Outsourcing Software Testing: A Case Study in the Oulu Area
Performance Testing Framework for REST-Based Web Applications
Improving Software Testing Cost-Effectiveness through Dynamic Partitioning
View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement
Detecting Inter-Component Configuration Errors in Proactive: A Relation-Aware Method
Testing Non-Functional Requirements with Aspects: An Industrial Case Study
Visualized Scenario Classification Method
A Model-Based Testing for AADL Model of Embedded Software
A Grouping-Based Strategy to Improve the Effectiveness of Fault Localization Techniques
Qualitative Analysis of the Impact of SOA Patterns on Quality Attributes
Generating Test Data for Structural Testing Based on Ant Colony Optimization
Scenario-Oriented Testing for Web Service Compositions Using BPEL
Improving Software Inspection Process with Patterns
Web Service Test Case Generation Based on Decision Table (Short Paper)
Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text Classifier
Improving the Quality of Context-Aware Applications: An Activity-Oriented Context Approach
Model Transformation Specification and Verification
An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion
A Case Study of the Recursive Least Squares Estimation Approach to Adaptive Testing for Software Components
Looking for More Confidence in Refactoring? How to Assess Adequacy of Your Refactoring Tests
Quality Requirements Analysis Using Requirements Frames
Oracles Are Hardly Attain'd, and Hardly Understood: Confessions of Software Testing Researchers
OMWSC- An Ontology-Based Model for Web Services Composition
Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model
An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin
Using the 5W+1H Model in Reporting Systematic Literature Review: A Case Study on Software Testing for Cloud Computing
A Business Process Driven Approach for Generating Software Architecture
On the Coverage of Program Code by Specification-Based Tests
Generating Effective Test Sequences for BPEL Testing
Conceptual Modeling: A Key to Quality Information Systems
Do we really have provable Best Practices that ensure Software Quality?
On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization
Automating Test-Suite Augmentation
Improving Coverage in Functional Testing
Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of Experiments
Toward Effectively Locating Integration-Level Faults in BPEL Programs
3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA
A Scriptable, Statistical Oracle for a Metadata Extraction System
A Method to Test the Information Quality of Technical Documentation on Websites
An Empirical Study of Adoption of Software Testing in Open Source Projects
Redefinition of Fault Classes in Logic Expressions
Component-Based Workflow Architecture of a Distributed Software Process Management System
Quality Assurance in the Design of Web Information Systems
Testing in the Distributed Test Architecture: An Extended Abstract
Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation Criteria
Towards Impact Analysis of Test Goal Prioritization on the Efficient Execution of Automatically Generated Test Suites Based on State Machines
LTF: A Model-Based Load Testing Framework for Web Applications
Mapping Software Architecture Specification to Rewriting Logic (Short Paper)
Generating Optimal Test Set for Neighbor Factors Combinatorial Testing
Novel Applications of Machine Learning in Software Testing
Security Metrics for Object-Oriented Class Designs
A Reinforcement-Learning Approach to Failure-Detection Scheduling
Quality Assurance in Web Information Systems Development
Increasing Diversity in Coverage Test Suites Using Model Checking
Evaluating the Ability of Novice Analysts to Understand Requirements Models
Uniformly Evaluating and Comparing Ranking Metrics for Spectral Fault Localization
Building Multi-kernel Embedded System on PAC Multi-core Platform
Algebraic Specification of Web Services
The Genesis of a Pattern Language for Agent-based Enterprise Systems
Developing Adaptive Software with Multiple QoS Requirements
Software Project Level Estimation Model Framework based on Bayesian Belief Networks
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
FSM-Based Test Derivation Strategies for Systems with Time-Outs
Path and Context Sensitive Inter-procedural Memory Leak Detection
Model Checking Security Pattern Compositions
A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts
Software Quality: Past, Present, and Future
Function Substitution: Towards Constraint Solving in Software Testing
Symbolic Execution of Program Paths Involving Pointer and Structure Variables
Verifying CIM Models of Apache Web-Server Configurations
Automated Discovery of Valid Test Strings from the Web Using Dynamic Regular Expressions Collation and Natural Language Processing
Caste-Centric Agent-Oriented Programming
Strategic Management of Technical Debt: Tutorial Synopsis
An Adapter Framework for Keyword-Driven Testing
A Preliminary Evaluation of Software Inspection Tools, with the DESMET Method
Providing Support for Specifying Redundancy Tactics Using Aspect-Oriented Modeling
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach
Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions
Modeling and Analysis of the Behavior of uCOS Kernel Based on CSP
Structural Testing with PathCrawler: Tutorial Synopsis
Optimal Synchronizable Test Sequence from Test Segments
Designing Test Coverage for Grey Box Analysis
Cost and Response Time Simulation forWeb-based Applications on Mobile Channels
Change Impact Analysis of a Software Process Using Process Slicing
An Improved Memetic Algorithm with Method Dependence Relations (MAMDR)
An Approach to Reliable Software Architectures Evolution
Empirical Case Studies of Combining Software Quality Classification Models
Real-Time Component Composition Using Hierarchical Timed Automata
A Note on Test Oracles and Semantics of Algebraic Specifications
The Effect of Method Origin on Method Invocation Fault Frequency
An Approach to Integration Testing of Object-Oriented Programs
On the Test Case Definition for GUI Testing
Semantic Computing and Quality Software
Abstracting Execution Logs to Execution Events for Enterprise Applications (Short Paper)
Active Monitoring for Control Systems under Anticipatory Semantics
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation
An Innovative Approach to Randomising Quasi-random Sequences and Its Application into Software Testing
A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL
Localizing Software Faults Simultaneously
Web Application Development Lifecycle for Small Medium-Sized Enterprises (SMEs) (Short Paper)
Industrial Perspective on the Usefulness of Design Rationale for Software Maintenance: A Survey
A Dialog Control Framework for Hypertext-Based Applications
Measuring the Complexity of a UML Component Specification
Systematic Incremental Development of Agent Systems, using Prometheus
A Method for Measuring the Size of a Component-Based System Specification
2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012
Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems
Using Machine Learning to Refine Black-Box Test Specifications and Test Suites
Hierarchic Decomposition in Agent Oriented Conceptual Modelling
Timed Modeling and Verification of BPEL Processes Using Time Petri Nets
Assessing the Modeling of Aspect State Machines for Testing from the Perspective of Modelers
An Approach for Checking OSEK/VDX Applications
A Neuro-Fuzzy Model for Software Cost Estimation
Static Slicing for Python First-Class Objects
W-VST: A Testbed for Evaluating Web Vulnerability Scanner
Scientific workflow management: between generality and applicability
An Improved Regression Test Selection Technique by Clustering Execution Profiles
Reachability and Propagation for LTL Requirements Testing
Metamorphic Testing: Applications and Integration with Other Methods: Tutorial Synopsis
Random Program Generator for Java JIT Compiler Test System
Applying Continuous Code Reviews in Airport Operations Software
On Schedulability Analysis for Embedded Systems with AADL Model
Used Car Pricing and Beyond: A Survival Analysis Framework
Intelligent Cyber-Physical Systems for Industry 4.0
Deepdive: Using AI, Machine Learning, and Virtual Reality to Explore Ancient Submerged Civilizations
Graph-Based Event Classification in Grid Security Gateways
Using Process Quality Prediction to Increase Resource Efficiency in Manufacturing Processes
Evaluation of different deep learning approaches for EEG classification
Predicting Defect-Prone Software Modules Using Shifted-Scaled Dirichlet Distribution
Novel Prototype for Handling Arabic Natural Language Processing: Smart Morphological Analyser
Modeling a Data Landscape for Intelligent Systems in Industry 4.0
Enhancing Feature Selection in Single Shot Robot Learning by Using Multi-Modal Inputs
Multi-Agent Reinforcement Learning for Job Shop Scheduling in Flexible Manufacturing Systems
Reinforcement Learning Approach to Vibration Compensation for Dynamic Feed Drive Systems
Traffic Sign Detection and Recognition using Deep Learning
Virtual Commissioning Simulation as OpenAI Gym - A Reinforcement Learning Environment for Control Systems
Post-Fault Power Grid Voltage Prediction via 1D-CNN with Spatial Coupling
Real Time Analysis on Bus Passenger for Unmanned Door Operation using Overhead Fisheye Cameras
Developing Logistics and Supply Chain Management by Using Agent-Based Simulation
5th International Conference on Artificial Intelligence for Industries, AI4I 2022, Laguna Hills, CA, USA, September 19-21, 2022
4th International Conference on Artificial Intelligence for Industries, AI4I 2021, Laguna Hills, CA, USA, September 20-22, 2021
Consumption Behavior Prediction Using Hierarchical Bayesian Frameworks
Interpolation of CNC Toolpaths using Generative Adversarial Networks
Explainable Artificial Intelligence for a high dimensional condition monitoring application using the SHAP Method
Forecasting of Volatile Assets using Artificial Swarm Intelligence
When to Message: Investigating User Response Prediction with Machine Learning for Advertisement Emails
Image Processing and Image Pattern Recognition a Programming Tutorial
Design and Implementation of Edge Computing for Detection on Embedded Electromobility
Chatbot Technologies and Challenges
Detection Sound Source Direction in 3D Space Using Convolutional Neural Networks
Haptic Data Acquisition for Perceived Roughness and Hardness of Texture
Black Box to White Box: Discover Model Characteristics Based on Strategic Probing
Towards #consistentAI Position Paper
Autonomous Load Carrier Approaching Based on Deep Reinforcement Learning with Compressed Visual Information
Curating Explanations of Machine Learning Models for Business Stakeholders
Gait Recognition with Smart Devices Assisting Postoperative Rehabilitation in a Clinical Setting
How to Increase Effectiveness of Inference in Rule-Based Systems
Improve Total Production Maintenance with Artificial Intelligence
Efficient Simulative Pass/Fail Characterization Applied to Automotive Power Steering
Empowering Process and Control in Lean 4.0 with Artificial Intelligence
Automatic Diagnosis of Olive Quick Decline Syndrome and Grapevine Yellows for the Agriculture Industry
Channel Pruning in Quantization-aware Training: an Adaptive Projection-gradient Descent-shrinkage-splitting Method
Deep Learning in Remote Sensing: An Application to Detect Snow and Water in Construction Sites
Monitoring Machine Tool Based on External Physical Characteristics of the Machine Tool Using Machine Learning Algorithm
Variational learning of a shifted scaled Dirichlet model with component splitting approach
Enhancing Zero-Shot Many to Many Voice Conversion via Self-Attention VAE with Structurally Regularized Layers
Detection of Almond Leaf Scorch with Artificial Intelligence for the Agriculture Industry
Planning of Curvature-Optimal Smooth Paths for Industrial Robots Using Neural Networks
Genetic Algorithm Based Parallelization Planning for Legacy Real-Time Embedded Programs
Laying the Groundwork for Automated Computation of Surrogate Safety Measures (SSM) for Skateboarders and Pedestrians using Artificial Intelligence
Graph Neural Network Models for Chemical Compound Activeness Prediction For COVID-19 Drugs Discovery using Lipinski's Descriptors
Utilization of Data Augmentation Techniques to Enhance Learning with Sparse Datasets
Designing Facility Layouts with Hard and Soft Constraints by Evolutionary Algorithm
Multi-Layer Nested Scatter Plot a Data Wrangling Method for Correlated Multi-Channel Time Series Signals
Applying Machine Learning to Service Assurance in Network Function Virtualization Environment
A scalable recommendation system approach for a companies - seniors matching
Short Paper: Neuromorphic Chip Embedded Electronic Systems to Expand Artificial Intelligence
Channel Pruning for Deep Neural Networks Via a Relaxed Groupwise Splitting Method
A Fraud Detection Decision Support System via Human On-Line Behavior Characterization and Machine Learning
Calculating the Topological Resilience of Supply Chain Networks Using Quantum Hopfield Neural Networks
Amplifying the Social Intelligence of Teams Through Human Swarming
Combinatorial Algorithms in Machine Learning
Graph Theory and IC Component Design Analysis
Towards Scalable Abnormal Behavior Detection in Automated Surveillance
Mixed-Model Text Classification Framework Considering the Practical Constraints
Design of a Framework Allowing Researchers to Optimize Their Academic Evaluation
Towards Enterprise-Ready AI Deployments Minimizing the Risk of Consuming AI Models in Business Applications
Estimating Number and Dwell Time of Visitors from CO2 Concentration using Partial Modeling with Variable Time Window
Deep Reinforcement Learning using Cyclical Learning Rates
Third International Conference on Artificial Intelligence for Industries, AI4I 2020, Irvine, CA, USA, September 21-23, 2020
On Estimation of Value-at-Risk with Recurrent Neural Network
Network Compression via Cooperative Architecture Search and Distillation
First International Conference on Artificial Intelligence for Industries, AI4I 2018, Laguna Hills, CA, USA, September 26-28, 2018
New Perspectives on Recommender Systems for Industries
Recurrence sorting method for improved accuracy of unconstrained fast-moving vehicle license plate recognition system
Intelligent Controller for Industrial Processes Applied to a Distributed Two-Tank System
Prediction of Unsteady Indoor-Temperature with Few Pattern Data Learning and Prediction Model Selection Based on Feature Contribution
Semi-Supervised Learning and ASIC Path Verification
Reinforcement Learning of a Robot Cell Control Logic using a Software-in-the-Loop Simulation as Environment
Short Paper: Identification by Recursive Least Squares with RMO Applied to a Robotic Manipulator
Second International Conference on Artificial Intelligence for Industries, AI4I 2019, Laguna Hills, CA, USA, September 25-27, 2019
Efficient Binary Static Code Data Flow Analysis Using Unsupervised Learning
The Go Transformer: Natural Language Modeling for Game Play
Generating Reinforcement Learning Environments for Industrial Communication Protocols
Reinforcement Learning of Material Flow Control Logic Using Hardware-in-the-Loop Simulation
Explainable Artificial Intelligence for Predictive Maintenance Applications
Symbolic Regression Modeling of Drug Responses
A Machine Learning Approach to Waiting Time Prediction in Queueing Scenarios
Assisting Seismic Image Interpretations with Hyperknowledge
Robotic arm Object Detection System
Sufficient Statistics for Optimal Decentralized Control in System of Systems
Short Paper: A Multistage Backward Differentiable Method for Constructing Light Convolutional Neural Networks
Industrial Load Management using Multi-Agent Reinforcement Learning for Rescheduling
Unnatural Human Motion Detection using Weakly Supervised Deep Neural Network
Balanced Mini-Batch Training for Imbalanced Image Data Classification with Neural Network
Explainable Artificial Intelligence for Predictive Maintenance Applications using a Local Surrogate Model
AI and K-12 Forum
Kubebench: A Benchmarking Platform for ML Workloads
Machine Learning, A Tutorial with R
Structure-borne and Air-borne Sound Data for Condition Monitoring Applications
The Moat Effects of Data Swamps
Short Paper: Credit Card Fraud Detection using LightGBM with Asymmetric Error Control
A SHAP Value-Based Approach to Stock Price Evaluation of Manufacturing Companies
AI Application to Data Analysis, Automatic File Processing
Developing Hierarchies for Image Classification Model Evaluation
Deep learning-based non-intrusive detection of instabilities in formulated liquids
Facing Digital Agriculture Challenges with Knowledge Engineering
Towards a user-centered development process of machine learning applications for manufacturing domain experts
Towards AI Platforms for Stationary Retail
Telemedicine, Homecare in the Era of COVID-19 & Beyond
Estimating Multi-point Indoor Temperature from Different Season Data based on Correlation-based Two-Step Learning
Short Paper: Swarm Intelligence Amplifies the IQ of Collaborating Teams
Real-World Conversational AI for Hotel Bookings
Language Model for Statistics Domain
A Queue Management Approach for Social Distancing and Contact Tracing
Reasoning over OPC UA Information Models using Graph Embedding and Reinforcement Learning
Exploring Faster RCNN for Fabric Defect Detection
A system to automatically classify LIDAR for use within RF propagation modelling
A Greedy Heuristic for Cluster Editing with Vertex Splitting