Abstract
Current verification tools for critical systems require the test engineers to be fully acquainted with several areas such as the physical systems for which the tests are being defined, and programming techniques, since engineering concepts are very far from computing. The implementation of front-end tools enabled to accept tests described in Natural Language and graphics may help to reduce this distance.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
