OPAC

Formal Approaches to Software Testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / edited by Wolfgang Grieskamp, Carsten Weise
(Programming and Software Engineering. ISSN:29459168 ; 3997)

データ種別	電子ブック
版	1st ed. 2006.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	2006
大きさ	XII, 219 p : online resource
著者標目	Grieskamp, Wolfgang editor Weise, Carsten editor SpringerLink (Online service)

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0002337	Computer Scinece R0 2005-6,2022-3				9783540344551

一般注記	Proceedings FATES 2005 -- Simulated Time for Testing Railway Interlockings with TTCN-3 -- Model-Based Testing Through a GUI -- Play to Test -- A Note on an Anomaly in Black-Box Testing -- A Novel Test Coverage Metric for Concurrently-Accessed Software Components -- Adaptive Random Testing by Bisection and Localization -- Interactive Testing with HOL-TestGen -- Conformance Testing Relations for Timed Systems -- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM -- Calculating Probabilities of Real-Time Test Cases -- Time Unbalanced Partial Order -- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach -- Automated Generation of Positive and Negative Tests for Parsers -- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms HTTP:URL=https://doi.org/10.1007/11759744
件　名	LCSH:Software engineering LCSH:Compilers (Computer programs) LCSH:Computer science LCSH:Electronic data processing -- Management 全ての件名で検索 FREE:Software Engineering FREE:Compilers and Interpreters FREE:Computer Science Logic and Foundations of Programming FREE:IT Operations
分　類	LCC:QA76.758 DC23:005.1
書誌ID	EB00001725
ISBN	9783540344551