|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
6205554 |
| 003 |
ICU |
| 005 |
20071017144900.0 |
| 008 |
061215s2006 gw a 100 0 eng d |
| 016 |
7 |
|
|a 981711073
|2 GyFmDB
|
| 020 |
|
|
|a 9783540496991 (pbk.)
|
| 020 |
|
|
|a 3540496998 (pbk.)
|
| 024 |
3 |
|
|a 9783540496991
|
| 040 |
|
|
|a OHX
|c OHX
|d BAKER
|d UtOrBLW
|d OrLoB-B
|
| 049 |
|
|
|a CGUA
|
| 072 |
|
7 |
|a QA
|2 lcco
|
| 245 |
0 |
0 |
|a Formal approaches to software testing and runtime verification :
|b first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers /
|c Klaus Havelund ... [et al.] (eds.).
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c 2006.
|
| 300 |
|
|
|a viii, 253 p. :
|b ill. ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 4262
|
| 500 |
|
|
|a International conference proceedings.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 505 |
0 |
0 |
|t Multi-paradigmatic model-based testing /
|r Wolfgang Grieskamp --
|t Aspects for trace monitoring /
|r Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie Hendren, Ondrej Lhotak, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble and Mathieu Verbaere --
|t A symbolic framework for model-based testing /
|r Lars Frantzen, Jan Tretmans and Tim A. C. Willemse --
|t A test calculus framework applied to network security policies /
|r Ylies Falcone, Jean-Claude Fernandez, Laurent Mourner and Jean-Luc Richier --
|t Hybrid input-output conformance and test generation /
|r Michiel van Osch --
|t Generating tests from EFSM models using guided model checking and iterated search refinement /
|r Juhan-P. Ernits, Andres Kull, Kullo Raiend and Juri Vain --
|t Decompositional algorithms for safety verification and testing of aspect-oriented systems /
|r Cheng Li and Zhe Dang --
|t Model-based testing of thin-client Web applications /
|r Pieter Koopman, Rinus Plasmeijer and Peter Achten --
|t Synthesis of scenario based test cases from B models /
|r Manoranjan Satpathy, Qaisar A. Malik and Johan Lilius --
|t State-identification problems for finite-state transducers /
|r Moez Krichen and Stavros Tripakis --
|t Deterministic dynamic monitors for linear-time assertions /
|r Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi and Yael Zbar --
|t Robustness of temporal logic specifications /
|r Georgios E. Fainekos and George J. Pappus --
|t Goldilocks : efficiently computing the happens-before relation using locksets /
|r Tayfun Elmas, Shaz Qadeer and Serdar Tasiran --
|t Dynamic architecture extraction /
|r Cormac Flanagan and Stephen N. Freund --
|t Safety property driven test generation from JML specifications /
|r Fabrice Bouquet, Frederic Dadeau, Julien Groslambert and Jacques Juliand --
|t Online testing with reinforcement learning /
|r Margus Veanes, Pritam Roy and Colin Campbell.
|
| 650 |
|
0 |
|a Formal methods (Computer science)
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2008104061
|
| 650 |
|
0 |
|a Computer software
|x Testing
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2009121253
|
| 650 |
|
7 |
|a Computer software
|x Testing.
|2 fast
|0 http://id.worldcat.org/fast/fst00872601
|
| 650 |
|
7 |
|a Formal methods (Computer science)
|2 fast
|0 http://id.worldcat.org/fast/fst00932926
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 fast
|0 http://id.worldcat.org/fast/fst01423772
|
| 700 |
1 |
|
|a Havelund, Klaus,
|d 1955-
|0 http://id.loc.gov/authorities/names/n00005481
|1 http://viaf.org/viaf/85189637
|
| 711 |
2 |
|
|a FATES 2006
|d (2006 :
|c Seattle, WA)
|
| 711 |
2 |
|
|a RV 2006
|d (2006 :
|c Seattle, WA)
|
| 901 |
|
|
|a ToCBNA
|
| 903 |
|
|
|a HeVa
|
| 035 |
|
|
|a (OCoLC)77077820
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i e51c5a31-e074-55c9-b31d-07fbc5b58ddc
|s bc755055-0666-5338-86c8-ecf18fabc961
|
| 928 |
|
|
|t Library of Congress classification
|a QA76.9.F67F675 2006
|l ASR
|c ASR-SciASR
|i 5217649
|
| 927 |
|
|
|t Library of Congress classification
|a QA76.9.F67F675 2006
|l ASR
|c ASR-SciASR
|e CRERAR
|b 75463488
|i 8103420
|
