Verimag

bibtex

@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},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 817251