The proceedings contain 21 papers. The topics discussed include: using assertion-based testing in string search algorithms;dealing with challenges of automating test execution;answer-set programming as a new approach ...
ISBN:
(纸本)9781612081687
The proceedings contain 21 papers. The topics discussed include: using assertion-based testing in string search algorithms;dealing with challenges of automating test execution;answer-set programming as a new approach to event-sequence testing;a test case suite generation framework of scenario testing;a zone-based reachability analysis of variable driven timed automata;retrospective project analysis using the expectation-maximization clustering algorithm;extracting and verifying viewpoints models in multitask applications;robustest: towards a framework for automated testing of robustness in software;concurrent engineering used to implement risk & hazard control;utilizing domain-specific modeling for software testing;and comparison of off-chip interconnect validation to field failures.
The proceedings contain 27 papers. The topics discussed include: reusing component test cases for integration testing of retarding embedded system components;a web-based application to verify open mobile alliance devi...
ISBN:
(纸本)9780769537740
The proceedings contain 27 papers. The topics discussed include: reusing component test cases for integration testing of retarding embedded system components;a web-based application to verify open mobile alliance device management specifications;towards automated test practice detection and governance;open real time test system approach;is depth of inheritance tree a good cost prediction for branch coverage testing?;verification and validation in the recommended practice for integrated software-dependent systems;a high-level language and compiler to configure the multi-core debug solution (MCDS);security inspection scenarios - a facet of security;an aspect-oriented approach for assertion verification;integration test order strategies to consider test focus and simulation effort;quality of code can be planned and automatically controlled;and stress testing the logical decision making server of a surveillance system.
The proceedings contain 15 papers. The topics discussed include: test education for university and university of applied science, an update;algebraic analysis of branching processes;from semantic IoT-service descripti...
The proceedings contain 15 papers. The topics discussed include: test education for university and university of applied science, an update;algebraic analysis of branching processes;from semantic IoT-service descriptions to executable test cases - information flow of an implemented test framework;a novel approach for environment model-based functional testing of reactive systems;inconsistencies-based multi-region protocol verification;towards a holistic architecture for a sip test framework;performance impact of correctable errors on high speed buses;comparison sequential life test;a model-based testing methodology for the systematic validation of highly configurable cyber- physical systems;aspect-oriented testing of a rehabilitation system;a configurable test architecture for the automatic validation of variability-intensive cyber-physical systems;IBM SAN distance matrix project: trace coverage and modeling across IBM test labs world-wide.
The proceedings contain 23 papers. The topics discussed include: cost-aware combinatorial interaction testing;test driven life cycle management for Internet of things based services: a semantic approach;experiences in...
ISBN:
(纸本)9781612082332
The proceedings contain 23 papers. The topics discussed include: cost-aware combinatorial interaction testing;test driven life cycle management for Internet of things based services: a semantic approach;experiences in test automation for multi-client system with social media backend;from model-based design to real-time analysis;automated structural testing of simulink/targetlink models via search-based testing assisted by prior-search static analysis;fault detection capabilities of an enhanced timing and control flow checker for hard real-time systems;a software quality framework for mobile application testing;variability management in testing architectures for embedded control systems;diagnosability analysis for self-observed distributed discrete event systems;and a combined formal analysis methodology and towards its application to hierarchical state transition matrix designs.
The proceedings contain 12 papers. The topics discussed include: model-based MCDC testing of complex decisions for the Java card applet firewall;enabling interface validation through text generation;efficient eliminat...
ISBN:
(纸本)9781629933030
The proceedings contain 12 papers. The topics discussed include: model-based MCDC testing of complex decisions for the Java card applet firewall;enabling interface validation through text generation;efficient elimination of false positives using bounded model checking;state space reconstruction for on-line model checking with UPPAAL;formal composition based on roles within a model driven engineering approach;performance characterization of TAS-MRAM architectures in presence of capacitive defects;automatic linking of test cases and requirements;using filtering to improve value-level debugging of Verilog designs;towards an integrated methodology for the development and testing of complex systems;an evaluation of client-side dependencies of search engines by load testing;and compact traceable logging.
The proceedings contain 22 papers. The topics discussed include: argument-driven validation of computer simulations - a necessity, rather than an option;model-based testing of infotainment systems on the basis of a gr...
ISBN:
(纸本)9780769541464
The proceedings contain 22 papers. The topics discussed include: argument-driven validation of computer simulations - a necessity, rather than an option;model-based testing of infotainment systems on the basis of a graphical human-machine interface;a hybrid approach for model-based random testing;unsteady ground: certification to unstable criteria;dihomotopic deadlock detection via progress shell decomposition;analysis of testability metrics for lustre/scade programs;hybrid approach for protocol testing of LTE system: a practical case study;runtime testability in dynamic high-availability component-based systems;the SQALE analysis model: an analysis model compliant with the representation condition for assessing the quality of software source code;discretizing technical documentation for end-to-end traceability tests;automated verification of shared libraries for backward binary compatibility;and investigation of OSCI TLM-2.0 employment in grid computing simulation.
The proceedings contain 8 papers. The special focus in this conference is on Design, Verification, and validation of IoT systems. The topics include: A Cyber-Physical Infrastructure for Smart Energy Buildings;SIN...
ISBN:
(纸本)9783031820649
The proceedings contain 8 papers. The special focus in this conference is on Design, Verification, and validation of IoT systems. The topics include: A Cyber-Physical Infrastructure for Smart Energy Buildings;SINDIT: A Framework for Knowledge Graph-Based Digital Twins in Smart Manufacturing;Enhancing IoT Security in 6G Networks: AI-Based Intrusion Detection, Penetration testing, and Blockchain-Based Trust Management (Work-in-Progress Paper);building Digital Twins from the Unseen: Leveraging Similar Workflows to Protect IoT-Equipped Infrastructures;threats to the IoT Device Production Processes – A Blind Spot in the Product Security lifecycle;Empowering Real-Time IoT Applications: A Brief Review on Leveraging GPU Acceleration for Latency Reduction.
The proceedings contain 11 papers. The topics discussed include: gas consumption minimization for dividend payout smart contract;enhancing state integrity and validation in Hyperledger fabric with certification blocks...
ISBN:
(纸本)9798400717390
The proceedings contain 11 papers. The topics discussed include: gas consumption minimization for dividend payout smart contract;enhancing state integrity and validation in Hyperledger fabric with certification blocks and Patricia Merkle tries;zk-Database: privacy-enabled databases using zero-knowledge proof;decentralized commodity exchange;challenge/response-lifecycle development for multi-factor self-sovereign identity authentication;an approach of monitoring the vehicle ‘s condition based on blockchain and smart contracts;portable blockchain for systemtesting of Solana smart contracts;enhancing pension asset reinvestment via blockchain tokenization;and review of barriers to implement blockchain technologies in logistics.
Dog clutch is a type of mechanical clutch that are widely used in automotive transmissions for their ability to engage and disengage gear pairs rapidly between two rotating shafts or components without slippage, provi...
详细信息
暂无评论