Softwaretests und PrüfsoftwareStefan Gärtner × Heuristische und wissensbasierte Sicherheitsprüfung von Softwareentwicklungsartefakten basierend auf natürlichsprachlich Stefan GärtnerLogos BerlinSoftcover2016