𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Bottaci, Leonardo; Fraser, Gordon

Book ID
118025659
Publisher
Springer Berlin Heidelberg
Year
2010
Weight
44 KB
Category
Article
ISBN
3642155855

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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] Prog
[Lecture Notes in Computer Science] Programming Languages and Systems Volume 6012 || Testing Polymorphic Properties
✍ Gordon, Andrew D. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 269 KB

Annotation. This Book Constitutes The Refereed Proceedings Of The 19th European Symposium On Programming, Esop 2010, Held In Paphos, Cyprus, In March 2010, As Part Of Etaps 2010, The European Joint Conferences On Theory And Practice Of Software. The 30 Revised Full Papers, Presented Together With Tw

[Lecture Notes in Computer Science] Appr
[Lecture Notes in Computer Science] Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques Volume 4110 || Local Decoding and Testing for Homomorphisms
✍ Díaz, Josep; Jansen, Klaus; Rolim, José D. P.; Zwick, Uri 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 494 KB

This is the joint refereed proceedings of the 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and the 10th International Workshop on Randomization and Computation, RANDOM 2006. The book presents 44 carefully reviewed and revised full papers