Interactive method for automated test suit development for formal models of software systems
Saved in:
Date: | 2018 |
---|---|
Main Authors: | A. V. Kolchin, S. V. Potienko |
Format: | Article |
Language: | English |
Published: |
2018
|
Series: | Artificial intelligence |
Online Access: | http://jnas.nbuv.gov.ua/article/UJRN-0000999777 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Journal Title: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASSimilar Items
-
Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.
Published: (2018) -
Interactive method for cumulative analysis of software formal models behavior
by: A. Kolchin
Published: (2018) -
Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018) -
Efficient increasing of the mutation score during model-based test suite generation
by: A. Kolchin, et al.
Published: (2020) -
Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)