Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
Publication year: 2008
ISBN: 978-3-540-78917-8
Internet Resource: Please Login to download book
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).
Subject: Computer Science, Markov decision process, Scala, abstract state machines, algebraic specifications, automated testing, controllability, correct systems design, correctness proofs, fault detection, finite state machines, formal methods, formal testing, model-based testing, modeling, software testing, Software Engineering, Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Management of Computing and Information Systems
