Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM

  Home  |  Research/Competence  |  Teaching  |  Staff  |  Publications  |  Misc  |  Contact  |  Intranet  |

  Find  

 
PDF-Datei  Specification Based Test Sequence Generation with Propositional Logic

Article

Journal:Special Issue on Specification Based Testing, Journal on Software Testing, Validation, and Reliability (STVR)
Author:
Number:10(4)
Pages:229 - 248
Year:2000
 
BibTeX

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact