Title

Scalable satisfiability checking and test data generation from modeling diagrams

Publication Date

2009

Pages

73-99

Volume

16

Issue

1

Journal Title

AUTOMATED SOFTWARE ENGINEERING

This document is currently not available here.

Share

COinS