✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Methods and Testing Volume 4949 || Comparing the Effectiveness of Testing Techniques

✍ Scribed by Hierons, Robert M.; Bowen, Jonathan P.; Harman, Mark

Book ID: 118070812
Publisher: Springer Berlin Heidelberg
Year: 2008
Tongue: German
Weight: 421 KB
Category: Article
ISBN: 3540789170
DOI: 10.1007/978-3-540-78917-8_9

No coin nor oath required. For personal study only.

✦ Synopsis

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). Each Of The 12 Chapters In This Book Describes A Way In Which The Study Of Formal Methods And Software Testing Can Be Combined In A Manner That Brings The Benefits Of Formal Methods (e.g., Precision, Clarity, Provability) With The Advantages Of Testing (e.g., Scalability, Generality, Applicability).

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Test

[Lecture Notes in Computer Science] Testing – Practice and Research Techniques Volume 6303 || Testing and Proving, Hand-in-Hand

✍ Bottaci, Leonardo; Fraser, Gordon 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 44 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods: Applications and Technology Volume 4346 || Heuristics for ioco-Based Test-Based Modelling

✍ Brim, Luboš; Haverkort, Boudewijn; Leucker, Martin; van de Pol, Jaco 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 239 KB

This Book Constitutes The Thoroughly Refereed Joint Post-proceedings Of The Two International Workshops On Formal Methods For Industrial Critical Systems, Fmics 2006, And On Parallel And Distributed Methods In Verification, Pdmc 2006, Held In Bonn, Germany In August 2006 In The Course Of The 17th In

[Lecture Notes in Computer Science] FM 2

[Lecture Notes in Computer Science] FM 2012: Formal Methods Volume 7436 || Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing

✍ Giannakopoulou, Dimitra; Méry, Dominique 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 224 KB

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. T

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2999 || Using UML Sequence Diagrams as the Basis for a Formal Test Description Language

✍ Boiten, Eerke A.; Derrick, John; Smith, Graeme 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 422 KB

[Lecture Notes in Computer Science] Corr

[Lecture Notes in Computer Science] Correct Hardware Design and Verification Methods Volume 3725 || Formal Verification of Synchronizers

✍ Borrione, Dominique; Paul, Wolfgang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 141 KB

[Lecture Notes in Computer Science] Corr

[Lecture Notes in Computer Science] Correct Hardware Design and Verification Methods Volume 3725 || Formal Verification of Synchronizers

✍ Borrione, Dominique; Paul, Wolfgang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 141 KB

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbr?cken, Germany, in October 2005. The 21 revised full papers and 18 short papers presented together with 2 invi