| Probabilistic Semantics for RoboChart - A Weakest Completion Approach. | 0 | 0.34 | 2019 |
| Model Checking Requirements. | 0 | 0.34 | 2016 |
| Creating GUI-based DSL formal tools | 0 | 0.34 | 2013 |
| Formal MDE-Based Tool Development. | 0 | 0.34 | 2013 |
| GUI Testing Techniques Evaluation by Designed Experiments | 7 | 0.48 | 2010 |
| Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis | 0 | 0.34 | 2010 |
| A Framework for GUI Testing Based on Use Case Design | 5 | 0.53 | 2010 |
| Using Reflnement Checking as System Testing | 0 | 0.34 | 2008 |
| Unifying Models of Test Cases and Requirements | 0 | 0.34 | 2008 |
