Copyright © 2004-2010 BSSE.
All rights reserved.
Impressum Legal Notice

News

BSSE will present at ESE 2016

(01 Nov 2016) On December 1st, 2016 BSSE will present results of the ESVW activity at the Embedded Software Engineering Conference (ESE) 2016 ...more

Evaluation of Software Verification Tools: Another round

(12 Oct 2016) The German Space Center (DLR) has commissioned BSSE with the extension of the activities carried out in 2015 for the ...more

Evaluation of Software Verification Tools for DLR completed

(02 Mar 2016) Today, the ESVW activity for the evaluation of software verification tools (Evaluierung von Software-Verifikationsmethoden und -Werkzeugen, Evaluation of Methods and ...more

Introduction of Constraint-Based Test-Data Generation in DCRTT

(29 Oct 2010) In addition to the well-established heuristic and statistic test-data generation approaches, BSSE is currently implementing constraint-based test-data generation for its ...more