Using algebraic specifications to find sequencing defects.

Kurt M. Olender James M. Bieman

Published in: ISSRE (1993)

Keyphrases

defect detection
high level
delay insensitive
formal specification
linear algebra
higher order
functional requirements
written in natural language
algebraic expressions
bounded model checking
concurrent systems
control flow
real time
web services
image processing
artificial intelligence
data mining