On A Simpler and Faster Derivation of Single Use Reliability Mean and Variance for Model-Based Statistical Testing (S). | 0 | 0.34 | 2018 |
An Algorithm For Forward Reduction In Sequence-Based Software Specification | 0 | 0.34 | 2016 |
An Automated Testing Framework for Statistical Testing of GUI Applications. | 0 | 0.34 | 2015 |