Specification of Assessment-test Criteria through ASP Specifications.

Giovambattista Ianni Claudio Panetta Francesco Ricca

Published in: Answer Set Programming (2005)

Keyphrases

formal specification
specification language
reactive systems
high level
transition systems
unit testing
answer set programming
web applications
test cases
formal language
attribute grammars
selection criteria
artificial intelligence
statistical tests
asynchronous circuits
concurrent systems