Formal Approaches to Software Testing 软件测试形式方法/会议文集

The LNCS series reports state-of-the-art restilts in computer science research, development, and education, at a high lewl and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as wetl as with prestigious organizations and
societies, LNCS has grown into the most comprehensiye computer science research forum available.
The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range 0f computer science ard information technology including interdisciplinary topics in a vatety of application fields. The type of materia! published traditionatly includes
-proceedings-(published:in time for the lrespective conference)
-post-proceedings (consisting of thorodghly revised final full papers)
-research monographs (which may be based on outstanding PhD work,research projects, technical reports, etc.)

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
Author Index