Using static analysis to improve automatic test generation

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu

International Journal on Software Tools for Technology Transfer · 2003 · 10 citations · 0 references

DOIFull text

Open access

Concepts