Facebook Testing and Verification request for proposals
This Research Award is now closed
Applications are now closed
Notification process: Successful awardees will be notified by email.
Launch Date May 30, 2018
Areas of Interest
During this proposal cycle, we are interested in soliciting proposals for research that will lead to direct impact on the deployment and real world impact of Testing and Verification techniques in the technology sector. Facebook has had notable success with the deployment of TAV research in tools such as Infer and Sapienz. This call is intended to support further development of TAV research. Topics of interest include, but are not limited to:
- Automated fixes, from dynamic or static analyses, including their discovery and verification applied to the fixes
- Automated test case design (in particular Search Based Software Testing)
- Catering for and maximising value from so-called flakey (non-deterministic) testing behaviours
- Debugging support techniques (particularly for mobile and web-based software systems)
- Genetic improvement, program synthesis, and automated performance improvement
- Incremental verification and testing techniques
- Reasoning about distributed and concurrent programs
- Actionability of reports (e.g., involving context, relevance, debug payload, bug assignment)
- Generating tests to confirm static analysis reports or inform verification failures
- Using verification results to focus testing
- Replication of field failures and reproducibility of test cases
- Scalable buffer overrun and other security analyses
One possible source of open problems and challenges for Testing and Verification can be found in the IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) keynote paper by Mark Harman and Peter O'Hearn, From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis.
Proposals should include
We aim to make the process light touch to reduce the burden of preparing an application. Applicants should submit a maximum 2-page proposal. Proposals should focus on the two primary aspects of concern for this call: the scientific contribution and routes to eventual deployment, together with a budget overview, outlining how the proposed funding will be used.
- Summary of the project. Provide a maximum 2-page, clear and concise statement of the scientific contribution and routes to eventual deployment
- Curriculum Vitae for all project participants. In addition to CVs, please include links to DBLP and/or Google Scholar pages for the proposers involved in the proposed work. Please include information on any previous or current Facebook connections/collaborations (please name the Facebook contacts)
- A proposed budget description (1 page)
Timing and dates
- Applications are now closed.
- Notification process: Successful awardees will be notified by email.
Receive email notifications about our research awards