Formal Analysis of Log Files.

Howard Barringer Alex Groce Klaus Havelund Margaret H. Smith

Published in: J. Aerosp. Comput. Inf. Commun. (2010)

Keyphrases

formal analysis
log files
website
log data
web usage mining
web server
web logs
web users
agent model
formal methods
log analysis
domain experts
web log data
query processing
information extraction