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
-
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) -
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.
Published: (2018) -
Formal methods of parallel software design automation
by: Doroshenko, A.Yu., et al.
Published: (2020)