Interactive method for automated test suit development for formal models of software systems
Saved in:
Date: | 2018 |
---|---|
Main Authors: | , |
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 |