Tackling Semi-automatic Trace Recovery for Large Specifications.

Jörg Leuser Daniel Ott

Published in: REFSQ (2010)

Keyphrases

semi automatic
fully automatic
execution traces
gold standard
domain ontology
semi automatically
semantic annotation
ontology mapping
domain specific
wrapper generation
design rationale
manual annotation
artificial intelligence
labor intensive
knowledge extraction
case study
machine learning