Auflistung nach Autor "Heckeler, Patrick"

Anzeige der Dokumente 1-6 von 6

Accelerated Model-Based Robustness Testing of State Machine Implementations

Heckeler, Patrick; Eichelberger, Hanno; Kropf, Thomas; Ruf, Jürgen; Burg, Sebastian; Rosenstiel, Wolfgang (2013)
Accelerated Robustness Testing of State-Based Components using Reverse Execution

Heckeler, Patrick; Kropf, Thomas; Eichelberger, Hanno; Ruf, Jürgen; Burg, Sebastian; Rosenstiel, Wolfgang (2013)
Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen

Eichelberger, Hanno; Burg, Sebastian; Ruf, Jürgen; Rosenstiel, Wolfgang; Kropf, Thomas; Heckeler, Patrick (2014)
Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software

Eichelberger, Hanno; Heckeler, Patrick; Ruf, Jürgen; Burg, Sebastian; Kropf, Thomas; Rosenstiel, Wolfgang (2014)
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing

Burg, Sebastian; Eichelberger, Hanno; Heckeler, Patrick; Ruf, Jürgen; Kropf, Thomas; Rosenstiel, Wolfgang (2014)
Optimierte Robustheitstests für zustandsbehaftete Softwarekomponenten

Heckeler, Patrick (2014)

Anzeige der Dokumente 1-6 von 6

Stöbern