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

[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

[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

[Lecture Notes in Computer Science] Form

[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

✍ Hierons, Robert M.; Bowen, Jonathan P.; Harman, Mark 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 609 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] Desi

[Lecture Notes in Computer Science] Design, User Experience, and Usability. Theory, Methods, Tools and Practice Volume 6770 || Serious Games Usability Testing: How to Ensure Proper Usability, Playability, and Effectiveness

✍ Marcus, Aaron 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 146 KB