Iterative Generation of Diverse Models for Testing Specifications of DSL Tools

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-89363-1_13
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Comparison of Interference Mitigation Techniques for Next Generation DSL Systems

2015English

Iterative Value Models Generation in the Engineering Design Process

Design Science
Visual ArtsEngineeringSimulationPerforming ArtsModeling
2019English

REVIEW ARTICLE Advances in Science: Next Generation of Lab Tools, Models and Testing Platforms Used in Predictive Toxicology

Endogenous locus-driven H-Ras G12V expression induces senescence-like phenotype in primary fibroblasts of the Costello syndrome mouse model
2017English

The Next Generation of Rapid Point-Of-Care Testing Identification Tools for Ventilator-Associated Pneumonia

Annals of Translational Medicine
Medicine
2017English

Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Executable Interface Specifications for Testing Asynchronous Creol Components

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Analysis of Tools for Automated Software Testing

Computer Science and Cybersecurity
2019English

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy