Analysis of the constraint solver in UNA based test data generation
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Experiments with UNA for solving linear constraints in real variables
Proceedings of the 2004 ACM symposium on Applied computing
Hi-index | 0.00 |