brichau-seke-06

Summary

Program Testing Using High-Level Property-Driven Models. Isabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzales-Boix and Theo D'Hondt. In Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering (SEKE'06), San Francisco Bay, USA, July 2006. (Rank (CORE) : B).

Bibtex entry

@INPROCEEDINGS { brichau-seke-06,
    TITLE = { Program Testing Using High-Level Property-Driven Models },
    AUTHOR = { Isabel Michiels and Coen De Roover and Johan Brichau and Elisa Gonzales-Boix and Theo D'Hondt },
    BOOKTITLE = { Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering (SEKE'06) },
    YEAR = { 2006 },
    MONTH = { jul },
    ADDRESS = { San Francisco Bay, USA },
    WEBSITE = { www.ksi.edu/seke/seke06.html },
    GROUPS = { international,jacquard,mosaiques,conference },
    LONGNOTES = { 20060705 },
    LASTNAME = { Michiels },
    DATEADDED = { 2007-03-26 },
    LASTDATEMODIFIED = { 2007-03-26 },
    AERES = { ACT },
    INRIA = { JACQUARD },
    LABO = { dans },
    NOTE = { Rank (CORE) : B },
}