Title

Scalable satisfiability checking and test data generation from modeling diagrams

Publication Date

2009

Journal or Book Title

AUTOMATED SOFTWARE ENGINEERING

Volume

16

Pages

73-99

Issue

1

This document is currently not available here.

Share

COinS