Testing System/Unit Behaviour Using Traces/Logs/Signals

I remember there was a talk about testing the behavior of a system through traces (logs, for example) in Code BEAM Stockholm.

I wonder if there are academic studies about this approach for testing the behavior of a system. Any references are much appreciated!