Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very impor...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
| Σειρά: | Lecture Notes in Computer Science,
3395 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Symbolic Test Generation
- Test Generation Based on Symbolic Specifications
- Symbolic Test Case Generation for Primitive Recursive Functions
- Preserving Contexts for Soft Conformance Relation
- Testing Non-functional Properties
- Testing of Symbolic-Probabilistic Systems
- A Test Generation Framework for quiescent Real-Time Systems
- Online Testing of Real-time Systems Using Uppaal
- Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
- Test Development with Model Checking Techniques
- Using Model Checking for Reducing the Cost of Test Generation
- Specifying and Generating Test Cases Using Observer Automata
- Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang
- An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
- Test Optimization
- Test Patterns with TTCN-3
- High-Level Restructuring of TTCN-3 Test Data
- Ordering Mutants to Minimise Test Effort in Mutation Testing
- Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study.
