Show simple item record

Automating Test-Suite Augmentation

dc.contributor.authorBloem, Ren_US
dc.contributor.authorKoenighofer, Ren_US
dc.contributor.authorRoeck, Fen_US
dc.contributor.authorTautschnig, Men_US
dc.contributor.authorIEEEen_US
dc.date.accessioned2016-02-24T10:07:14Z
dc.date.issued2014en_US
dc.identifier.issn1550-6002en_US
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/11249
dc.format.extent67 - 72en_US
dc.language.isoenen_US
dc.subjecttest suite augmentationen_US
dc.subjectsymbolic executionen_US
dc.subjectmodel checkingen_US
dc.titleAutomating Test-Suite Augmentationen_US
dc.typeConference Proceeding
dc.rights.holder© 2014, IEEE
dc.identifier.doi10.1109/QSIC.2014.40en_US
pubs.author-urlhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000357937200008&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6aen_US
pubs.notesNot knownen_US
pubs.publication-statusPublisheden_US


Files in this item

Thumbnail
Name:
Tautschnig Automating Test-Suite ...
Size:
274.5Kb
Format:
application/
Description:
Accepted version
View/Open

This item appears in the following Collection(s)

Show simple item record