Using model-checkers to generate and analyze property relevant test-cases

Research output: Contribution to journal › Article › peer-review

Treatment code (Nähere Zuordnung)

@article{ddcc60ee0bc348938f86a29eb773277b,

title = "Using model-checkers to generate and analyze property relevant test-cases",

author = "Gordon Fraser and Franz Wotawa",

year = "2008",

doi = "10.1007/s11219-007-9031-6",

language = "English",

volume = "16",

pages = "161--183",

journal = "Software Quality Journal",

issn = "1573-1367",

publisher = "Springer New York",

number = "2",

}