Category Partition Method and Satisfiability Modulo Theories for Test Case Generation

Valentin Constantin Chimisliu, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proc. of the International Workshop on Automation of Software Test
Publisher	.
Publication status	Accepted/In press - 2012
Event	International Workshop on Automation of Software Test - Zürich, Switzerland Duration: 2 Jun 2012 → 3 Jun 2012

Conference	International Workshop on Automation of Software Test
Country/Territory	Switzerland
City	Zürich
Period	2/06/12 → 3/06/12

Fields of Expertise

@inproceedings{ecf9901291394781bc448edab93daf23,

title = "Category Partition Method and Satisfiability Modulo Theories for Test Case Generation",

author = "Chimisliu, {Valentin Constantin} and Franz Wotawa",

year = "2012",

language = "English",

booktitle = "Proc. of the International Workshop on Automation of Software Test",

publisher = ".",

note = "International Workshop on Automation of Software Test ; Conference date: 02-06-2012 Through 03-06-2012",

}

TY - GEN

T1 - Category Partition Method and Satisfiability Modulo Theories for Test Case Generation

AU - Chimisliu, Valentin Constantin

AU - Wotawa, Franz

PY - 2012

Y1 - 2012

M3 - Conference paper

BT - Proc. of the International Workshop on Automation of Software Test

PB - .

T2 - International Workshop on Automation of Software Test

Y2 - 2 June 2012 through 3 June 2012

ER -