An overview of the runtime verification tool Java PathExplorer
scientific article; zbMATH DE number 2100117