An object-oriented requirements specifications method, Communications of the ACM, vol.32, issue.5, 1989. ,
DOI : 10.1145/63485.63491
Automotive System Case Study, Deliverable D1.1 PUSSEE, 2000. ,
Modell-basierter Test eingebetteter Software im Automobil: Auswahl und Beschreibung von Testszenarien, 2004. ,
DOI : 10.1007/978-3-322-81246-9
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software, Automotive Software Workshop '06, 2006. ,
DOI : 10.1007/978-3-540-70930-5_7
Software Testing, Verification and Reliability: Classification Trees for Partition Testing, 2006. ,
1800-2005 -Standard for SystemVerilog Unified Hardware Design, Specification and Verification Language, 2005. ,
1850-2005 -IEEE Standard for Property Specification Language (PSL), 2005. ,
1647-2006 -The Functional Verification Language 'e', 2006. ,
Verification Plan for Systematic Verification of Mechatronic Systems, 2008. ,
Generating Tests from UML Specifications, Proc. of UML99, 1999. ,
DOI : 10.1007/3-540-46852-8_30
The Category-Partition Method for Specifying and Generating Functional Tests, 1988. ,
The UML 2.0 Testing Profile and its Relation to, Proc. of TestCom2003, 2003. ,