This series, since its first volume in 1960 and now the oldest series still being published, covers new developments in computer technology. Each volume contains from 5 to 7 chapters and 3 volumes are produced annually. Most chapters present an overview of a current subfield within computer science, include many citations, and often new developments in the field by the authors of the individual chapters. Topics include hardware, software, web technology, communications, theoretical underpinnings of computing, and novel applications of computers. The book series is a valuable addition to university courses that emphasize the topics under discussion in that particular volume as well as belonging on the bookshelf of industrial practitioners who need to implement many of the technologies that are described.
1. 1. Introduction 2. 2. Model-Based Testing 3. 3. MBT Techniques: A Systematic Review 4. 4. Challenges in Using MBT Techniques in Software Projects 5. 5. Conclusions and Future Perspectives 6. Acknowledgments 7. Appendix A. List of Papers Selected in the Systematic Review 8. Advances in Automated Model-Based System Testing of Software Applications with a GUI Front-End 9. 1. Introduction 10. 2. Running Example of GUI Application Under Test 11. 3. Test-Case Generation Techniques 12. 4. Conclusions 13. Acknowledgments 14. Empirical Knowledge Discovery by Triangulation in Computer Science 15. 1. Introduction 16. 2. Objectification of Concepts in Computer Science 17. 3. Triangulation: Introduction 18. StarLight 19. 1. Introduction 20. 2. Future Network Services and Facility Prototypes 21. 3. Future Directions 22. 4. Summary 23. Acknowledgments 24. Parameters Effecting 2D Barcode Scanning Reliability 25. 1. Introduction 26. 2. Factors that Affect Barcode Scan Ability 27. 3. Testing Methodology 28. 4. Conclusion 29. Advances in Video-Based Human Activity Analysis 30. 1. Introduction 31. 2. Challenges 32. 3. Applications 33. 4. Feature Extraction 34. 5. Models for Actions 35. 6. Complex Activities 36. 7. A Unified Approach for Recognizing Simple Actions and Complex Activities 37. 8. Understanding the Space of Primitives 38. 9. Complex Activity Models: Cascade of Dynamical Systems 39. 10. More General Activity Models: Time-Varying Models 40. 11. View and Rate Variations 41. 12. Summary 42. Acknowledgments
This series, since its first volume in 1960 and now the oldest series still being published, covers new developments in computer technology. Each volume contains from 5 to 7 chapters and 3 volumes are produced annually. Most chapters present an overview of a current subfield within computer science, include many citations, and often new developments in the field by the authors of the individual chapters. Topics include hardware, software, web technology, communications, theoretical underpinnings of computing, and novel applications of computers. The book series is a valuable addition to university courses that emphasize the topics under discussion in that particular volume as well as belonging on the bookshelf of industrial practitioners who need to implement many of the technologies that are described.
1. 1. Introduction 2. 2. Model-Based Testing 3. 3. MBT Techniques: A Systematic Review 4. 4. Challenges in Using MBT Techniques in Software Projects 5. 5. Conclusions and Future Perspectives 6. Acknowledgments 7. Appendix A. List of Papers Selected in the Systematic Review 8. Advances in Automated Model-Based System Testing of Software Applications with a GUI Front-End 9. 1. Introduction 10. 2. Running Example of GUI Application Under Test 11. 3. Test-Case Generation Techniques 12. 4. Conclusions 13. Acknowledgments 14. Empirical Knowledge Discovery by Triangulation in Computer Science 15. 1. Introduction 16. 2. Objectification of Concepts in Computer Science 17. 3. Triangulation: Introduction 18. StarLight 19. 1. Introduction 20. 2. Future Network Services and Facility Prototypes 21. 3. Future Directions 22. 4. Summary 23. Acknowledgments 24. Parameters Effecting 2D Barcode Scanning Reliability 25. 1. Introduction 26. 2. Factors that Affect Barcode Scan Ability 27. 3. Testing Methodology 28. 4. Conclusion 29. Advances in Video-Based Human Activity Analysis 30. 1. Introduction 31. 2. Challenges 32. 3. Applications 33. 4. Feature Extraction 34. 5. Models for Actions 35. 6. Complex Activities 36. 7. A Unified Approach for Recognizing Simple Actions and Complex Activities 37. 8. Understanding the Space of Primitives 38. 9. Complex Activity Models: Cascade of Dynamical Systems 39. 10. More General Activity Models: Time-Varying Models 40. 11. View and Rate Variations 41. 12. Summary 42. Acknowledgments
