@inproceedings{brockmeyer_iso_2012,
	address = {Toulouse, France},
	title = {{ISO} 26262 compliant automatic requirements-based testing for {TargetLink}},
	url = {https://hal.archives-ouvertes.fr/hal-02263452},
	booktitle = {Embedded real time software and systems ({ERTS2012})},
	author = {Brockmeyer, Udo and Valea, Adrian and Gross, Markus},
	month = feb,
	year = {2012},
	note = {tex.hal\_id: hal-02263452
tex.hal\_version: v1
tex.pdf: https://hal.archives-ouvertes.fr/hal-02263452/file/8B-1.pdf},
	keywords = {Automatic Test Generation, C-Observers, Formal Specification, Formal Verification, ISO 26262, Model Based and Production Code Based Verification, Pattern Specification, Requirements Coverage, Requirements Traceability, Requirements-Based Test Generation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, ⛔ No DOI found},
}

{"_id":"mFrKpcwELuuwc5B67","bibbaseid":"brockmeyer-valea-gross-iso26262compliantautomaticrequirementsbasedtestingfortargetlink-2012","author_short":["Brockmeyer, U.","Valea, A.","Gross, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Toulouse, France","title":"ISO 26262 compliant automatic requirements-based testing for TargetLink","url":"https://hal.archives-ouvertes.fr/hal-02263452","booktitle":"Embedded real time software and systems (ERTS2012)","author":[{"propositions":[],"lastnames":["Brockmeyer"],"firstnames":["Udo"],"suffixes":[]},{"propositions":[],"lastnames":["Valea"],"firstnames":["Adrian"],"suffixes":[]},{"propositions":[],"lastnames":["Gross"],"firstnames":["Markus"],"suffixes":[]}],"month":"February","year":"2012","note":"tex.hal_id: hal-02263452 tex.hal_version: v1 tex.pdf: https://hal.archives-ouvertes.fr/hal-02263452/file/8B-1.pdf","keywords":"Automatic Test Generation, C-Observers, Formal Specification, Formal Verification, ISO 26262, Model Based and Production Code Based Verification, Pattern Specification, Requirements Coverage, Requirements Traceability, Requirements-Based Test Generation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, ⛔ No DOI found","bibtex":"@inproceedings{brockmeyer_iso_2012,\n\taddress = {Toulouse, France},\n\ttitle = {{ISO} 26262 compliant automatic requirements-based testing for {TargetLink}},\n\turl = {https://hal.archives-ouvertes.fr/hal-02263452},\n\tbooktitle = {Embedded real time software and systems ({ERTS2012})},\n\tauthor = {Brockmeyer, Udo and Valea, Adrian and Gross, Markus},\n\tmonth = feb,\n\tyear = {2012},\n\tnote = {tex.hal\\_id: hal-02263452\ntex.hal\\_version: v1\ntex.pdf: https://hal.archives-ouvertes.fr/hal-02263452/file/8B-1.pdf},\n\tkeywords = {Automatic Test Generation, C-Observers, Formal Specification, Formal Verification, ISO 26262, Model Based and Production Code Based Verification, Pattern Specification, Requirements Coverage, Requirements Traceability, Requirements-Based Test Generation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, ⛔ No DOI found},\n}\n\n","author_short":["Brockmeyer, U.","Valea, A.","Gross, M."],"key":"brockmeyer_iso_2012","id":"brockmeyer_iso_2012","bibbaseid":"brockmeyer-valea-gross-iso26262compliantautomaticrequirementsbasedtestingfortargetlink-2012","role":"author","urls":{"Paper":"https://hal.archives-ouvertes.fr/hal-02263452"},"keyword":["Automatic Test Generation","C-Observers","Formal Specification","Formal Verification","ISO 26262","Model Based and Production Code Based Verification","Pattern Specification","Requirements Coverage","Requirements Traceability","Requirements-Based Test Generation","[INFO.INFO-ES]Computer Science [cs]/Embedded Systems","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["automatic test generation","c-observers","formal specification","formal verification","iso 26262","model based and production code based verification","pattern specification","requirements coverage","requirements traceability","requirements-based test generation","[info.info-es]computer science [cs]/embedded systems","⛔ no doi found"],"search_terms":["iso","26262","compliant","automatic","requirements","based","testing","targetlink","brockmeyer","valea","gross"],"title":"ISO 26262 compliant automatic requirements-based testing for TargetLink","year":2012}