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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Petrenko, Alexandre (Επιμελητής έκδοσης), Ulrich, Andreas (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 2931
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.

Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to...

Πίνακας περιεχομένων:

• 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.