Interactive method for automated test suit development for formal models of software systems

Saved in:
Bibliographic Details
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 | LibNAS