Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Formal Approaches to Software Testing
  • Produktbild: Formal Approaches to Software Testing
Band 2931

Formal Approaches to Software Testing Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.01.2004

Abbildungen

VIII, 268 p.

Herausgeber

Andreas Ulrich

Verlag

Springer Berlin

Seitenzahl

268

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

429 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-20894-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.01.2004

Abbildungen

VIII, 268 p.

Herausgeber

Andreas Ulrich

Verlag

Springer Berlin

Seitenzahl

268

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

429 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-20894-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Approaches to Software Testing
  • Produktbild: Formal Approaches to Software Testing
  • Program Testing and Analysis.- Black-Box Testing of Grey-Box Behavior.- On Checking Whether a Predicate Definitely Holds.- Using a Software Testing Technique to Improve Theorem Proving.- Auto-generating Test Sequences Using Model Checkers: A Case Study.- Mutually Enhancing Test Generation and Specification Inference.- JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit.- Test Theory and Test Derivation Algorithms.- Compositional Testing with ioco.- Defining Observation Objectives for Reactive and Distributed Systems.- Time-Optimal Real-Time Test Case Generation Using Uppaal.- Test Cases Generation for Nondeterministic Real-Time Systems.- Property Oriented Test Case Generation.- Computing Unique Input/Output Sequences Using Genetic Algorithms.- Automatic Generation of Test Purposes for Testing Distributed Systems.- Test Methods and Test Tools.- Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation.- Automatic Conformance Testing of Internet Applications.- A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams.- VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile.- Towards a Tool Environment for Model-Based Testing with AsmL.