Category Partition Method and Satisfiability Modulo Theories for Test Case Generation

Valentin Constantin Chimisliu, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationProc. of the International Workshop on Automation of Software Test
Publisher.
Publication statusAccepted/In press - 2012
EventInternational Workshop on Automation of Software Test - Zürich, Switzerland
Duration: 2 Jun 20123 Jun 2012

Conference

ConferenceInternational Workshop on Automation of Software Test
CountrySwitzerland
CityZürich
Period2/06/123/06/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Application

Cite this

Chimisliu, V. C., & Wotawa, F. (Accepted/In press). Category Partition Method and Satisfiability Modulo Theories for Test Case Generation. In Proc. of the International Workshop on Automation of Software Test ..