Applicability of Non-Specification-Based Approaches to Logic Testing for Software.

Noritaka Kobayashi Tatsuhiro Tsuchiya Tohru Kikuno

Published in: DSN (2001)

Keyphrases

test cases
software systems
strengths and weaknesses
software testing
data mining
neural network
software development
formal verification
asynchronous circuits
state machine
tool suite
knowledge base
logic programming
modal logic
quality assurance