软件测试与运行期验证
2006-12
湖南文艺出版社
Havelund, Klaus; Nnez, Manuel; Rosu, Grigore
255
This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. The 14 revised full papers presented together with 3 invited lectures were carefully selected from 31 initial submissions. The papers discuss formal approaches to test and analyze programs and monitor and guide their executions by using techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime verification use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc.
Invited TalksMulti-paradigmatic Model-Based TestingAspects for Trace MonitoringRegular PapersA Symbolic Framework for Model-Based TestingA Test Calculus Framework Applied to Network Security PoliciesHybrid Input-Output Conformance and Test GenerationGenerating Tests from EFSM Models Using Guided Model Checking and Iterated Search RefinementDecompositional Algorithms for Safety Verification and Testing of Aspect-Oriented SystemsModel-Based Testing of Thin-Client Web ApplicationsSynthesis of Scenario Based Test Cases from B ModelsState-Identification Problems for Finite-State TransducersDeterministic Dynamic Monitors for Linear-Time AssertionsRobustness of Temporal Logic SpecificationsGoldilocks: Efficiently Computing the Happens-Before Relation Using LocksetsDynamic Architecture ExtractionSafety Property Driven Test Generation from J ML SpecificationsOnline Testing with Reinforcement LearningAuthor Index
