Model-based Test Generation Using Quantified CSPs

Sachenbacher, Martin; Schwoon, Stefan; Sachenbacher, Martin; Schwoon, Stefan

Model-based Test Generation Using Quantified CSPs (bibtex)

by M Sachenbacher and S Schwoon

Reference:

Model-based Test Generation Using Quantified CSPs (M Sachenbacher and S Schwoon), In Proc. International Workshop on Principles of Diagnosis (DX'08), 2008. (Accepted for publication)

Bibtex Entry:

@inproceedings{sachenbacher_model-based_2008-1,
 author = {M Sachenbacher and S Schwoon},
 title = {Model-based Test Generation Using Quantified {CSPs}},
 booktitle = {Proc. International Workshop on Principles of Diagnosis ({DX'08)}},
 year = {2008},
}

Model-based Test Generation Using Quantified CSPs (bibtex)

by M Sachenbacher and S Schwoon

Reference:

Model-based Test Generation Using Quantified CSPs (M Sachenbacher and S Schwoon), In Proc. International Workshop on Principles of Diagnosis (DX'08), 2008. (Accepted for publication)

Bibtex Entry:

@inproceedings{sachenbacher_model-based_2008-1,
 author = {M Sachenbacher and S Schwoon},
 title = {Model-based Test Generation Using Quantified {CSPs}},
 booktitle = {Proc. International Workshop on Principles of Diagnosis ({DX'08)}},
 year = {2008},
}

Publications