Combining model checking and testing with an application to reliability prediction and distribution

10.1145/2483760.2483779

Saved in:

Bibliographic Details
Main Authors:	Gui, L., Sun, J., Liu, Y., Si, Y.J., Dong, J.S., Wang, X.Y.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2014
Subjects:	hypothesis testing MDP reliability distribution reliability prediction
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/78062
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-78062
record_format	dspace
spelling	sg-nus-scholar.10635-780622015-01-05T19:33:38Z Combining model checking and testing with an application to reliability prediction and distribution Gui, L. Sun, J. Liu, Y. Si, Y.J. Dong, J.S. Wang, X.Y. COMPUTER SCIENCE hypothesis testing MDP reliability distribution reliability prediction 10.1145/2483760.2483779 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings 101-111 2014-07-04T03:11:57Z 2014-07-04T03:11:57Z 2013 Conference Paper Gui, L.,Sun, J.,Liu, Y.,Si, Y.J.,Dong, J.S.,Wang, X.Y. (2013). Combining model checking and testing with an application to reliability prediction and distribution. 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings : 101-111. ScholarBank@NUS Repository. <a href="https://doi.org/10.1145/2483760.2483779" target="_blank">https://doi.org/10.1145/2483760.2483779</a> 9781450321594 http://scholarbank.nus.edu.sg/handle/10635/78062 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	hypothesis testing MDP reliability distribution reliability prediction
spellingShingle	hypothesis testing MDP reliability distribution reliability prediction Gui, L. Sun, J. Liu, Y. Si, Y.J. Dong, J.S. Wang, X.Y. Combining model checking and testing with an application to reliability prediction and distribution
description	10.1145/2483760.2483779
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Gui, L. Sun, J. Liu, Y. Si, Y.J. Dong, J.S. Wang, X.Y.
format	Conference or Workshop Item
author	Gui, L. Sun, J. Liu, Y. Si, Y.J. Dong, J.S. Wang, X.Y.
author_sort	Gui, L.
title	Combining model checking and testing with an application to reliability prediction and distribution
title_short	Combining model checking and testing with an application to reliability prediction and distribution
title_full	Combining model checking and testing with an application to reliability prediction and distribution
title_fullStr	Combining model checking and testing with an application to reliability prediction and distribution
title_full_unstemmed	Combining model checking and testing with an application to reliability prediction and distribution
title_sort	combining model checking and testing with an application to reliability prediction and distribution
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/78062
_version_	1681088573861789696

Combining model checking and testing with an application to reliability prediction and distribution

Similar Items