I certainly think the next frontier for well-integrated PL tooling for QA beyond "inline unit tests" is "inline _parametric_ unit tests, with a standard interface to plug in greybox fuzzers and/or formal methods that are even more clairvoyant". programmers understand "writing assert()s in a test".