2019 Facebook Testing and Verification request for Proposals
Deadline: July 26, 2019.
Facebook are at an exciting time in the history of the development of Software Testing and Verification (TAV). Research is increasingly impacting the Tech Sector, with many recent examples of breakthroughs, deployment and adoption. Facebook is playing its own role in the deployment and further development of TAV research with initiatives such as Infer, Sapienz, and Zoncolan, which are well known, but Tech Sector as a whole is also actively working on deployment and development of TAV research.
They are interested in proposals that tackle any topics on testing and verification that have potential to have profound impact on the tech sector, based on advances on the theory and practice of testing and verification, and in particular, we welcome proposals that tackle
- Test Flakiness. This includes, but not limited to, proposals for measuring, reducing, managing and coping better with flakiness; re-formulations of previously proposed testing approaches, e.g. in regression testing, test generation, oracles, etc, that are aware of (or less susceptible to) unavoidable flakiness; theories and techniques for ameliorating the harmful impact of test flakiness.
- Pay-as-you-go Verification. Usually, verification techniques are all or nothing: one gets value only after having specified dependencies and constructed a proof. Ideally, one should get value from verification activities proportional to the effort put in in a way that allows the ideal of fully proven code to be approximated and improved steadily, with measurable value.
- Awards must comply with applicable US and international laws, regulations and policies.
- Applicants must be current full-time faculty at an accredited academic institution that awards research degrees to PhD students.
- Applicants must be the Principal Investigator on any resulting award.
- A summary of the project (1-2 pages) explaining the area of focus, a description of techniques, any relevant prior work, and a timeline with milestones and expected outcomes.
- A draft budget description (1 page) including an approximate cost of the award and explanation of how funds would be spent
- Curriculum Vitae for all project participants.
- Organization details; this will include tax information and administrative contact details