Model-based Testing Using Quantified CSPs: A Map

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

by M Sachenbacher and S Schwoon

Reference:

Model-based Testing Using Quantified CSPs: A Map (M Sachenbacher and S Schwoon), In Proc. Workshop on Model-based Systems (MBS-2008), 2008.

Bibtex Entry:

@inproceedings{sachenbacher_model-based_2008,
 author = {M Sachenbacher and S Schwoon},
 title = {Model-based Testing Using Quantified {CSPs:} A Map},
 booktitle = {Proc. Workshop on Model-based Systems ({MBS-2008)}},
 year = {2008},
 pages = {37–41},
 address = {Patras, Greece},
}