✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Methods and Testing Volume 4949 || From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria

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

Book ID: 120243502
Publisher: Springer Berlin Heidelberg
Year: 2008
Weight: 609 KB
Category: Article
ISBN: 3540789170
DOI: 10.1007/978-3-540-78917-8_8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

From MC/DC to RC/DC: formalization and a

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria

✍ Sergiy A. Vilkomir; Jonathan P. Bowen 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 197 KB

[Lecture Notes in Computer Science] Form

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

✍ Hierons, Robert M.; Bowen, Jonathan P.; Harman, Mark 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 421 KB

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

[Lecture Notes in Computer Science] FME'

[Lecture Notes in Computer Science] FME'96: Industrial Benefit and Advances in Formal Methods Volume 1051 || From testing theory to test driver implementation

✍ Gaudel, Marie-Claude; Woodcock, James 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 1024 KB

[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] Form

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Real-Time Testing with Timed Automata Testers and Coverage Criteria

✍ Lakhnech, Yassine; Yovine, Sergio 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 274 KB

[Lecture Notes in Computer Science] FME

[Lecture Notes in Computer Science] FME '93: Industrial-Strength Formal Methods Volume 670 || Automating the generation and sequencing of test cases from model-based specifications

✍ Woodcock, James C. P.; Larsen, Peter G. 📂 Article 📅 1993 🏛 Springer-Verlag 🌐 German ⚖ 895 KB

the Last Few Years Have Borne Witness To A Remarkable Diversity Of Formal Methods, With Applications To Sequential And Concurrent Software, To Real-time And Reactive Systems, and To Hardware Design. In That Time, Many Theoretical Problems Have Been Tackled And Solved, And Many Continue To Be Worke