[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Funding research into scalable testing and verification.
Facebook is pleased to invite university faculty to respond to a call for
research proposals on Testing and Verification (TAV). This is Phase One of
Facebookâs funding initiative to support research in Testing and Verification.
We're particularly interested in:
- Automated fixes, from dynamic or static analyses
- Automated test case design
- Dealing with non-deterministic testing
- Incremental verification and testing techniques
- Reasoning about distributed and concurrent programs
and other areas described in the call.
https://research.fb.com/announcing-the-facebook-testing-and-verification-request-for-research-proposals/
