reliability

A Model Driven Tool for Automated System Level Testing of Middleware
This paper presents a contribution to the challenges of manually creating test configurations and deployments for high performance …
Turker Keskinpala, Abhishek Dubey, Steve Nordstrom, Ted Bapty, Sandeep Neema
Cite
Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach
In this paper, we describe a computation platform called ReachLab, which enables automatic analysis of embedded software systems that …
Abhishek Dubey, X. Wu, H. Su, T. J. Koo
Cite