The proceedings contain 63 papers. The topics discussed include: introducing a testing automation framework for basic integrity of java applications in Hitachi railway systems;testing tool for combinatorial transition...
ISBN:
(纸本)9798331534677
The proceedings contain 63 papers. The topics discussed include: introducing a testing automation framework for basic integrity of java applications in Hitachi railway systems;testing tool for combinatorial transition testing in dynamically adaptive software systems;towards continuous integration for combinatorial testing;automated testing in railways: leveraging robotic arm precision and efficiency for superior customizability and usability test case execution;the art of managing flaky tests at scale;establishing utilization decision criteria for open-source software projects based on issue resolution time evaluation;utilizing ontologies for combinatorial testing;and towards accessibility of covering arrays for practitioners of combinatorial testing.
The proceedings contain 41 papers. The topics discussed include: automatic generation of UTP models from requirements in natural language;a study on the effectiveness of test-categories based test analysis;difference ...
ISBN:
(纸本)9781509018260
The proceedings contain 41 papers. The topics discussed include: automatic generation of UTP models from requirements in natural language;a study on the effectiveness of test-categories based test analysis;difference in quality of test architecture between service providers and subcontractors;combinatorial testing: from algorithms to applications;coverage, location, detection, and measurement;towards automatic cost model discovery for combinatorial interaction testing;pairwise coverage-based testing with selected elements in a query for database applications;an experimental evaluation of web mutation operators;on strong mutation and subsuming mutants;diversity-aware mutation adequacy criterion for improving fault detection capability;and measuring effectiveness of mutant sets.
The proceedings contain 53s papers. The topics discussed include: a study of flaky failure de-duplication to identify unreliably killed mutants;annotating control-flow graphs for formalized test coverage criteria;an e...
ISBN:
(纸本)9798350344790
The proceedings contain 53s papers. The topics discussed include: a study of flaky failure de-duplication to identify unreliably killed mutants;annotating control-flow graphs for formalized test coverage criteria;an empirical evaluation of manually created equivalent mutants;iterative optimization of hyperparameter-based metamorphic transformations;summary of constrained detecting arrays: mathematical structures for fault identification in combinatorial interaction testing;the future of Google testing;use of binary decision diagrams to handle constraints in combinatorial interaction testing;elevating software quality in agile environments: the role of testing professionals in unit testing;scalable continuous integration using remote execution;and course design of introducing selenium WebDriver.
The proceedings contain 38 papers. The topics discussed include: automated evaluation of runtime object states against model-level states for state-based test execution;IPO-s: incremental generation of combinatorial i...
ISBN:
(纸本)9780769536712
The proceedings contain 38 papers. The topics discussed include: automated evaluation of runtime object states against model-level states for state-based test execution;IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays;a model for the measurement of the runtime testability of component-based systems;generating system models for a highly configurable train control system using a domain-specific language: a case study;checking sequence generation using state distinguishing subsequences;test case generation using model checking for software components deployed into new environments;formal correctness of a passive testing approach for timed systems;evolutionary white-box software test with the evotest framework: a progress report;and signal generation for search-based testing of continuous systems.
The proceedings contain 96 papers. The topics discussed include: employing privacy-preserving techniques to protect control-flow graphs in a decentralized, end-to-end regression test selection framework for web servic...
ISBN:
(纸本)9780769543451
The proceedings contain 96 papers. The topics discussed include: employing privacy-preserving techniques to protect control-flow graphs in a decentralized, end-to-end regression test selection framework for web services;agent-based test case prioritization;search-based softwaretesting: past, present and future;MOST: a multi-objective search-based testing from EFSM;a principled evaluation of the effect of directed mutation on search-based statistical testing;towards search-based testing for event-B models;search-based application security testing: towards a structured search space;identifying infeasible GUI test cases using support vector machines and induced grammars;event-based GUI testing and reliability assessment techniques-an experimental insight and preliminary results;and improved bug reporting and reproduction through non-intrusive GUI usage monitoring and automated replaying.
The proceedings contain 67 papers. The topics discussed include: impact of education and experience level on the effectiveness of exploratory testing: an industrial case study;a test case recommendation method based o...
ISBN:
(纸本)9781509066766
The proceedings contain 67 papers. The topics discussed include: impact of education and experience level on the effectiveness of exploratory testing: an industrial case study;a test case recommendation method based on morphological analysis, clustering and the Mahalanobis-Taguchi method;results of a comparative study of code coverage tools in computer vision;a process for sound conformance testing of cyber-physical systems;targeted mutation: efficient mutation analysis for testing non-functional properties;runtime verification for detecting suspension bugs in multicore and parallel software;speeding-up mutation testing via data compression and state infection;mutation patterns for temporal requirements of reactive systems;an architecture for the development of mutation operators;mutation score, coverage, model inference: quality assessment for T-way combinatorial test-suites;optimizing IPOG's vertical growth with constraints based on hypergraph coloring;test case generation with regular expressions and combinatorial techniques;applications of practical combinatorial testing methods at Siemens industry inc., building technologies division;and suggestion of practical quantification measuring method of test design which can represent the current status.
The proceedings contain 46 papers. Topics discussed include: an approach to T-way test sequence generation with constraints;automatic refinement of ASM abstract test cases;case studies in learning models and testing w...
ISBN:
(纸本)9781728108889
The proceedings contain 46 papers. Topics discussed include: an approach to T-way test sequence generation with constraints;automatic refinement of ASM abstract test cases;case studies in learning models and testing without reset;machine learning to guide performance testing: an autonomous test framework;estimating the number of equivalent mutants;learning performance optimization from code changes for android apps;weighted combinatorial sequence testing for the TLS protocol;and practical fault localization with combinatorial test design.
The proceedings contain 73 papers. The topics discussed include: combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism;assessing software product line testing via m...
The proceedings contain 73 papers. The topics discussed include: combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism;assessing software product line testing via model-based mutation: an application to similarity testing;a method and tool for test optimization for automotive controllers;constraints in softwaretesting, verification and analysis CSTVA 2013;random grammar-based testing for covering all non-terminals;a stack model for symbolic buffer overflow exploitability analysis;a constraint solver for PHP arrays;strategies comparison of test generation from UML using SMT solver;a late treatment of C precondition in dynamic symbolic execution;and empirically identifying the best greedy algorithm for covering array generation.
The proceedings contain 74 papers. The topics discussed include: a survey on mobile users software quality perceptions and expectations;implementing tool support for analyzing stakeholder communications in software de...
ISBN:
(纸本)9781479918850
The proceedings contain 74 papers. The topics discussed include: a survey on mobile users software quality perceptions and expectations;implementing tool support for analyzing stakeholder communications in software development;automated testing in the cloud - test infrastructure management with SaaS;from agile software development to the sharing economy and the collaborative commons - social apps for enterprises;combining minimization and generation for combinatorial testing;a first systematic mapping study on combinatorial interaction testing for software product lines;evaluation of the IPO-family algorithms for test case generation in web security testing;a process for nonfunctional combinatorial testing - selection of parameter values from a nondiscrete domain space;and combinatorial interaction testing of tangled configuration options.
The proceedings contain 41 papers. The topics discussed include: flaky mutants;another concern for mutation testing;test automation with Grad-CAM heatmaps – a future pipe segment in MLOps for vision AI?;agents for au...
ISBN:
(纸本)9781665444569
The proceedings contain 41 papers. The topics discussed include: flaky mutants;another concern for mutation testing;test automation with Grad-CAM heatmaps – a future pipe segment in MLOps for vision AI?;agents for automated user experience testing;prioritized test generation guided by software fault prediction;automatic equivalent mutants classification using abstract syntax tree neural network;an environment for benchmarking combinatorial test suite generators;supervised learning for test suit selection in continuous integration;and an empirical study of parallelizing test execution using CUDA unified memory and OpenMP GPU offloading.
暂无评论