Merkzettel Warenkorb
  • 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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.01.2004

Herausgeber

Andreas Ulrich

Verlag

Springer Berlin

Seitenzahl

268

Maße (L/B/H)

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

Gewicht

420 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-20894-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.01.2004

Herausgeber

Andreas Ulrich

Verlag

Springer Berlin

Seitenzahl

268

Maße (L/B/H)

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

Gewicht

420 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-20894-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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.