Stefan Huster

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 2

Top Topics

Formal Verification

Top Venues

Publications

Stefan Huster, Jonas Ströbele, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques. ICTSS (2017)
Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Efficient Testing of Different Loop Paths. SEFM (2015)
Stefan Huster, Merdin Macic, Sebastian Burg, Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. MBMV (2014)
Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
More Flexible Object Invariants with Less Specification Overhead. SEFM (2014)
Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Stefan Huster, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel, Thomas Greiner
Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. MBMV (2014)
Sebastian Burg, Patrick Heckeler, Stefan Huster, Hanno Eichelberger, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Oliver Bringmann
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. MBMV (2014)
Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich
Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. MBMV (2013)
Stefan Huster, Patrick Heckeler, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
A Software Testing Framework to Integrate Formal Verification Results. MBMV (2013)
Jörg Behrend, Patrick Heckeler, Stefan Huster, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Scalable and Extendable Hybrid Verification Platform. MBMV (2011)
Carsten Henneges, Stefan Huster, Andreas Zell
An artificial t cell immune system for predicting MHC-II binding peptides. ALIFE (2009)