@inproceedings{BFG00,
title = {Using Static Analysis to Improve Automatic Test Generation },
author = {Bozga, Marius and Fernandez, Jean-Claude and Ghirvu, Lucian},
year = {2000},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 20},
pages = {235-250},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1785},
team = {DCS},
}
