So this means embedding small tests into the production code itself while accepting minor performance loss?
And you somehow get a feeling for when this will help through experience?
I wonder, whether this impacts all programming languages the same.
It is not necessarily about runtime tests. Often assertions are only used for debug builds. Java requires an extra flag to enable assert statements. Alternatively, assertions could be invariants or pre/post conditions for your formal proofs of correctness.
I'm too lazy to check the actual paper, if they clarify their understanding. ;)
