Model-Based Testing of Optimizing Compilers.

Sergey V. Zelenov Sophia A. Zelenova

Published in: TestCom/FATES (2007)

Keyphrases

model based testing
test cases
software development
programming language
software design
testing process
general purpose
security policies
software testing
real world
sequence diagrams
computer architecture
computer systems
information systems
test suite
software systems
decision making
database