The semiclassical, or WKB, approximation is one that is far more natural in the path integral formalism than it is when derived from the Schrodinger equation directly.
Furthermore, the connection formulae that relate solutions to the left and right of a turning point in this approximation are awkward, and their derivation in terms of Airy functions leaves quite a bit to be desired.
Thus the thesis of my question: is there a simple way to derive the connection formulae directly from the path integral formalism? In particular, I'd be very interested to see the origin of the $e^{\pm i\pi/4}$ terms come from something a little more physically satisfying than "it just comes from the asymptotic forms of the Airy functions!"