000 05223nam a22006015i 4500
001 978-3-540-49703-5
003 DE-He213
005 20240730195910.0
007 cr nn 008mamaa
008 100301s2006 gw | s |||| 0|eng d
020 _a9783540497035
_9978-3-540-49703-5
024 7 _a10.1007/11940197
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aFormal Approaches to Software Testing and Runtime Verification
_h[electronic resource] :
_bFirst Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
_cedited by Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff.
250 _a1st ed. 2006.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2006.
300 _aVIII, 255 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v4262
505 0 _aInvited Talks -- Multi-paradigmatic Model-Based Testing -- Aspects for Trace Monitoring -- Regular Papers -- A Symbolic Framework for Model-Based Testing -- A Test Calculus Framework Applied to Network Security Policies -- Hybrid Input-Output Conformance and Test Generation -- Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement -- Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems -- Model-Based Testing of Thin-Client Web Applications -- Synthesis of Scenario Based Test Cases from B Models -- State-Identification Problems for Finite-State Transducers -- Deterministic Dynamic Monitors for Linear-Time Assertions -- Robustness of Temporal Logic Specifications -- Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets -- Dynamic Architecture Extraction -- Safety Property Driven Test Generation from JML Specifications -- Online Testing with Reinforcement Learning.
520 _aSoftware validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Formal approaches to test may cover techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime veri?cation use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc. The FATES/RV 2006 workshop selected 14 high-quality papers out of 31 submissions. Each paper underwent at least three anonymous reviews by either PCmembersorexternalreviewersselectedbythem.Inadditiontothe14regular papers, the proceedings contain two papers corresponding to the invited talks by Wolfgang Grieskamp (Microsoft Research, USA) and Oege de Moor (Oxford University, UK). This was the ?rst time that the two workshops, FATES and RV, were held together. The success of this joint edition shows that the integration of these two communities can be pro?table for both of them. Previous editions of these two events were held in the following places: FATES 2001 was held in A- borg (Denmark) and FATES 2002 in Brno (Czech Republic). In both cases, the workshop was a?liated with CONCUR. FATES 2003 and FATES 2004 were held in Montreal(Canada)and Vienna (Austria), respectively,in a?liationwith ASE.FATES 2005wasco-locatedwith CAV in Edinburgh(UK). Since 2003,the FATES workshop proceedings have been published by Springer (LNCS series).
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer science.
_99832
650 0 _aElectronic data processing
_xManagement.
_9161615
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aIT Operations.
_931703
700 1 _aHavelund, Klaus.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9161616
700 1 _aNúnez, Manuel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9161617
700 1 _aRosu, Grigore.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9161618
700 1 _aWolff, Burkhart.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9161619
710 2 _aSpringerLink (Online service)
_9161620
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540496991
776 0 8 _iPrinted edition:
_z9783540833314
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v4262
_9161621
856 4 0 _uhttps://doi.org/10.1007/11940197
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95818
_d95818