"Scalable satisfiability checking and test data generation from modelin" by Y Smaragdakis, C Csallner et al.

Skip to main content

Computer Science Department Faculty Publication Series

Title

Scalable satisfiability checking and test data generation from modeling diagrams

Authors

Y Smaragdakis
C Csallner
R Subramanian

Publication Date

2009

Pages

73-99

Volume

16

Issue

1

Journal Title

AUTOMATED SOFTWARE ENGINEERING

This document is currently not available here.

COinS