NSF Travel and Attendance Grant Proposal for ISSTA/SPIN 2017

该补助金为参加将于2017年7月10日至14日在美国加州圣巴巴拉举行的软件测试与分析国际研讨会（ISSTA）和软件模型检查国际研讨会（SPIN）的参与者提供支持。ISSTA和SPIN共同涵盖了软件系统的验证、确认、测试和分析，这一主题的重要性随着软件密集型系统的日益复杂和分布而增加。本次研讨会是该领域研究人员的顶级场所之一。 这些资金主要用于鼓励美国学生参加ISSTA/SPIN。将优先考虑在ISSTA/SPIN社区中代表性通常不足的群体的学生，如妇女，非洲裔美国人，美洲原住民，西班牙裔美国人和来自非博士授予美国大学的学生。 研讨会提供教育，培训和专业发展的支持参与者，在这一重要领域的研究社区的建设，并接触到该领域的高级人员和国际研究界。

This grant provides participant support for attendance at the International Symposium on Software Testing and Analysis (ISSTA) and the International Symposium on Model Checking of Software (SPIN), which will be held in Santa Barbara, California, USA, on July 10-14, 2017. ISSTA and SPIN together cover verification, validation, testing, and analysis of software systems, a topic whose criticality increases with the growing complexity and distribution of software-intensive systems. This symposium is one of the top venues for researchers in this area. The funds are to encourage mainly US-based students to attend ISSTA/SPIN. Priority will be given to students in groups typically underrepresented in ISSTA/SPIN communities, such as women, African-Americans, Native Americans, Hispanic Americans, and students from non-PhD-granting US universities. The Symposium provides education, training and professional development of the supported participants, the building of the research community in this important area, and the exposure to senior people in the field and the international research community.