Withthe development of IoT technology, a significant amount of time series data is continuously generated, and anomaly detection of this data is crucial. However, time series data in IoT is dynamic and heterogeneous,...
详细信息
the need for effective and timely testing processes has become critical in the constantly changing field of software development. Large Language Models (LLMs) have demonstrated promise in automating test case creation...
详细信息
Electroencephalogram (EEG) Brain-computer interface (BCI) classification research has become a hot field recently. this paper proposes spiking neural network (SNN) classification method of motor imagery EEG signals. F...
详细信息
As a special kind of graph database systems, RDF stores have been widely used in many applications, e.g., knowledge graphs and semantic web. RDF stores utilize SPARQL as their standardized query language to store and ...
详细信息
ISBN:
(纸本)9798350322637
As a special kind of graph database systems, RDF stores have been widely used in many applications, e.g., knowledge graphs and semantic web. RDF stores utilize SPARQL as their standardized query language to store and retrieve RDF graphs. Incorrect implementations of RDF stores can introduce logic bugs that cause RDF stores to return incorrect query results. these logic bugs can lead to severe consequences and are likely to go unnoticed by developers. However, no available tools can detect logic bugs in RDF stores. In this paper, we propose RD2, a Randomized Differential testing approach of RDF stores, to reveal discrepancies among RDF stores, which indicate potential logic bugs in RDF stores. the core idea of RD2 is to build an equivalent RDF graph for multiple RDF stores, and verify whether they can return the same query result for a given SPARQL query. Guided by the SPARQL syntax and the generated RDF graph, we automatically generate syntactically valid SPARQL queries, which can return non-empty query results with high probability. We further unify the formats of SPARQL query results from different RDF stores and find discrepancies among them. We evaluate RD2 on three popular and widely-used RDF stores. In total, we have detected 5 logic bugs in them. A video demonstration of RD2 is available at https://***/da7XlsdbRR4.
the proceedings contain 58 papers. the topics discussed include: why robust natural language understanding is a challenge;an abstraction-refinement approach to verifying convolutional neural networks;neural networks i...
ISBN:
(纸本)9781956792010
the proceedings contain 58 papers. the topics discussed include: why robust natural language understanding is a challenge;an abstraction-refinement approach to verifying convolutional neural networks;neural networks in Imandra: matrix representation as a verification choice;inversion and determinization in term rewriting;how to teach logic for CS-undergraduate? step-by-step!;constraint modelling and solving: learning from observing people;on the unusual effectiveness of automata in logic;embedding quantitative properties of call-by-name and call-by-value into call-by-push-value;using abstraction for interpretable robot programs in stochastic domains;and experiences on online teaching of formal methods to systems engineering students.
In order to accurately identify various physiological activities and movements in living bodies, we propose a U-Net-based method to identify all similar micro molecules such as cells and proteins in organisms. We firs...
详细信息
To support high reliability and availability, modern cloud systems are designed to be resilient to node crashes and reboots. that is, a cloud system should gracefully recover from node crashes/reboots and continue to ...
详细信息
ISBN:
(纸本)9781665457019
To support high reliability and availability, modern cloud systems are designed to be resilient to node crashes and reboots. that is, a cloud system should gracefully recover from node crashes/reboots and continue to function. However, node crashes/reboots that occur under special timing can trigger crash recovery bugs that lie in incorrect crash recovery protocols and their implementations. To ensure that a cloud system is free from crash recovery bugs, some fault injection approaches have been proposed to test whether a cloud system can correctly recover from various crash scenarios. these approaches are not effective in exploring the huge crash scenario space without developers' knowledge. In this paper, we propose CrashFuzz, a fault injection testing approach that can effectively test crash recovery behaviors and reveal crash recovery bugs in cloud systems. CrashFuzz mutates the combinations of possible node crashes and reboots according to runtime feedbacks, and prioritizes the combinations that are prone to increase code coverage and trigger crash recovery bugs for smart exploration. We have implemented CrashFuzz and evaluated it on three popular open-source cloud systems, i.e., ZooKeeper, HDFS and HBase. CrashFuzz has detected 4 unknown bugs and 1 known bug. Compared with other fault injection approaches, CrashFuzz can detect more crash recovery bugs and achieve higher code coverage.
Withthe advance of Model-Driven engineering (MDE), number of generated models has grown exponentially. From the one hand, to provide support for software development using MDE, we need to store various models in the ...
详细信息
Many techniques have been proposed to mine knowledge from software artefacts and solve software evolution management tasks. To promote effective reusing of those knowledge, we propose a unified format, differential fa...
详细信息
ISBN:
(纸本)9781450394758
Many techniques have been proposed to mine knowledge from software artefacts and solve software evolution management tasks. To promote effective reusing of those knowledge, we propose a unified format, differential facts, to represent software changes across versions as well as various relations within each version, such as call graphs. Based on queryable formats, differential facts can be manipulated to implement complex evolution management tasks. Since facts once extracted can be shared among different tasks, the reusability brings improvements to overall performance. We validate the technique and show its benefits of being efficient, flexible, and easy to implement, with several applications, including semantic history slicing, regression test selection, documentation error detection and client-specific usage patterns discovery.
thermocouples have become the most widely used in the field of temperature measurement, due to its wide temperature coverage range, fast response time, simple structure, durability and other characteristics. this pape...
详细信息
ISBN:
(纸本)9781665493895
thermocouples have become the most widely used in the field of temperature measurement, due to its wide temperature coverage range, fast response time, simple structure, durability and other characteristics. this paper outlines the working principle of thermocouples, and describes in detail the circuit design of multi-channel thermocouples data acquisition using the precision ADC ADS1258, as well as the data acquisition and processing flow, And how to solve the influence of multiple thermocouples hot-junction grounding in engineering application and the features of using parallel thermocouples for temperature measurement.
暂无评论