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!