Using constraint solver in Test Pattern Generation Tool

statement of authorship
Taavi Viilukas, Jaan Raik
location of publication
[Tallinn
publisher
year of publication
pages
p. 14-17 : ill
ISBN
978-9985-59-782-8
notes
Bibliogr.: 7 ref
language
inglise
Viilukas, T., Raik, J. Using constraint solver in Test Pattern Generation Tool // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja. [Tallinn : TTÜ kirjastus], 2008. p. 14-17 : ill.