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.