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