Reference:

Andreas Holzer, Visar Januzaj, Stefan Kugele, Christian Schallhart, Michael Tautschnig, Helmut Veith, and Boris Langer. Slope testing for activity diagrams and safety critical software. Technical Report TUD-CS-2009-0184, Technische Universität Darmstadt, October 2009.

Suggested BibTeX entry:

@techreport{TUD-CS-2009-0184,
    author = {Andreas Holzer and Visar Januzaj and Stefan Kugele and Christian Schallhart and Michael Tautschnig and Helmut Veith and Boris Langer},
    institution = {Technische Universit\"at Darmstadt},
    month = {October},
    number = {TUD-CS-2009-0184},
    title = {Slope Testing for Activity Diagrams and Safety Critical Software},
    year = {2009}
}