Grieskamp / Weise | Formal Approaches to Software Testing | E-Book | sack.de
E-Book

E-Book, Englisch, Band 3997, 219 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Grieskamp / Weise Formal Approaches to Software Testing

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
2006
ISBN: 978-3-540-34455-1
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

E-Book, Englisch, Band 3997, 219 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-34455-1
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Grieskamp / Weise Formal Approaches to Software Testing jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Grieskamp, Wolfgang
Weise, Carsten

Weitere Infos & Material

Proceedings FATES 2005.- Simulated Time for Testing Railway Interlockings with TTCN-3.- Model-Based Testing Through a GUI.- Play to Test.- A Note on an Anomaly in Black-Box Testing.- A Novel Test Coverage Metric for Concurrently-Accessed Software Components.- Adaptive Random Testing by Bisection and Localization.- Interactive Testing with HOL-TestGen.- Conformance Testing Relations for Timed Systems.- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.- Calculating Probabilities of Real-Time Test Cases.- Time Unbalanced Partial Order.- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach.- Automated Generation of Positive and Negative Tests for Parsers.- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.