Author:
Sinha A.,Williams C. E.,Santhanam P.
Subject
Computational Theory and Mathematics,Computer Graphics and Computer-Aided Design,Information Systems,General Computer Science,Theoretical Computer Science,Software
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs;Advances in Computers;2015
2. A systematic review of state-based test tools;International Journal on Software Tools for Technology Transfer;2013-11-08
3. A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker;2013 IEEE Sixth International Conference on Software Testing, Verification and Validation;2013-03
4. Automatic test case generation from Simulink/Stateflow models using model checking;Software Testing, Verification and Reliability;2013-01-22
5. Software Metrics;Wiley Encyclopedia of Computer Science and Engineering;2009-03-16