Ergebnisse für: Coverage metrics
Hier findest Du Bücher, die sich mit Coverage metrics beschäftigen.
This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. The...
Software testing is becoming increasingly important because more and more products are software-intensive. Cars, for example, contain more and more control software (ECUs) that are networked with each other. With new rail vehicles, software problems delay commissioning by months, even years, because...
Julia Gimbel legt primär die Normen dar, die in Anlehnung an die Basler Vorgaben im EU-Recht mit Blick auf die Mindestquoten das Risiko der Illiquidität und der Überschuldung zu begrenzen suchen. Zudem führt sie die Maßnahmen auf, die vonseiten der Bankinstitute sinnvoll erscheinen, um diesen r...
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.
The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.
The papers deal with ...
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1
International Conference on Testing Software and Systems, ICTSS 2015, held in
Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and select...
This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. The...
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.
The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.
The papers deal with ...
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul, Turkey, in September 2014. The 11 revised full papers presented together with 6 short papers were carefully selected from 36 submissions. The...
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul, Turkey, in September 2014. The 11 revised full papers presented together with 6 short papers were carefully selected from 36 submissions. The...
Julia Gimbel legt primär die Normen dar, die in Anlehnung an die Basler Vorgaben im EU-Recht mit Blick auf die Mindestquoten das Risiko der Illiquidität und der Überschuldung zu begrenzen suchen. Zudem führt sie die Maßnahmen auf, die vonseiten der Bankinstitute sinnvoll erscheinen, um diesen r...
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1
International Conference on Testing Software and Systems, ICTSS 2015, held in
Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and select...