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

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 876204