Development and Evaluation of LAV: An SMT-Based Error Finding Platform - System Description.

Milena Vujosevic-Janicic Viktor Kuncak

Published in: VSTTE (2012)

Keyphrases

formative evaluation
real time
error rate
information processing
rapid prototyping
development environment
knowledge based systems
evaluation method
case study
databases
decision support
lower bound
natural language
mobile applications
evaluation model
error analysis
data sets