Gaoyan Xie and ZheDang

Title: Gaoyan Xie and ZheDang

Authors: Gaoyan Xie and ZheDang

Content: Gaoyan Xie and ZheDang

Abstract: Gaoyan Xie and ZheDang

Summary: Gaoyan Xie and ZheDang

Main Research Question: How can we ensure that a component functions correctly in the host system where it is deployed, especially when the component is unspecified or partially specified?

Methodology: Gaoyan Xie and ZheDang

Results: Gaoyan Xie and ZheDang

Implications: Gaoyan Xie and ZheDang

Conclusion: Gaoyan Xie and ZheDang

Keywords: Gaoyan Xie and ZheDang

Permissions: Gaoyan Xie and ZheDang

Submitted to SIGSOFT2004/FSE-12 Newport Beach, CA USA

Copyright 2004 ACM 0-12345-67-8/90/01 ... $5.00.1: Gaoyan Xie and ZheDang

1. Introduction: Gaoyan Xie and ZheDang

2. Related Work: Gaoyan Xie and ZheDang

3. Model-Checking Driven Black-Box Testing (MCDBBT): Gaoyan Xie and ZheDang

4. MCDBBT for CTL Requirements: Gaoyan Xie and ZheDang

5. MCDBBT for LTL Requirements: Gaoyan Xie and ZheDang

6. Experimental Results: Gaoyan Xie and ZheDang

7. Conclusion: Gaoyan Xie and ZheDang

8. Future Work: Gaoyan Xie and ZheDang

9. Acknowledgments: Gaoyan Xie and ZheDang

10. References: Gaoyan Xie and ZheDang

11. Appendix: Gaoyan Xie and ZheDang

Gaoyan Xie and ZheDang

Link to Article: https://arxiv.org/abs/0404037v1 Authors: arXiv ID: 0404037v1