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

2005-04-19  

Springer  

Grabowski, Jens; Nielsen, Brian;  

224  

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 andsocieties, 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 RelationTesting 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 ComponentsTest 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 StudyAuthor Index

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