| Tài liệu tham khảo |
Loại |
Chi tiết |
| 1. Bernhard K. Aichernig (2013), “Model-based mutation testing of reactive system, from semantics to automated test-case generation”, Lecture Notes in Computer Science, Volume 8051, pp.23-36 |
Sách, tạp chí |
| Tiêu đề: |
“Model-based mutation testing of reactive system, from semantics to automated test-case generation” |
| Tác giả: |
Bernhard K. Aichernig |
| Năm: |
2013 |
|
| 3. Christel Baier, Joost-Pieter Katoen (2008), Principles of Model Checking, The MIT Press, Cambridge, Massachusetts, London |
Sách, tạp chí |
| Tiêu đề: |
Principles of Model Checking |
| Tác giả: |
Christel Baier, Joost-Pieter Katoen |
| Năm: |
2008 |
|
| 4. Doroty Graham, Erik Van Veenendaal, Isabel Evans, Rex Black (2008) Foundations of Software Testing: ISTQB Certification, Cengage Learning EMEA, Boston |
Sách, tạp chí |
| Tiêu đề: |
Foundations of Software Testing: ISTQB Certification |
|
| 6. Gerard J. Holzmann (2003), Spin Model Checker, The: Primer and Reference Manual, Addison-Wesley, Boston |
Sách, tạp chí |
| Tiêu đề: |
Spin Model Checker, The: Primer and Reference Manual |
| Tác giả: |
Gerard J. Holzmann |
| Năm: |
2003 |
|
| 7. Gordon Fraser, Franz Wotawa, Paul E. Ammann (2009), “Testing with model checkers: A Survey”, Journal for Software Testing, Verification and Reliability, Volume 19, Issue 3, pp.215-261 |
Sách, tạp chí |
| Tiêu đề: |
Testing with model checkers: A Survey |
| Tác giả: |
Gordon Fraser, Franz Wotawa, Paul E. Ammann |
| Năm: |
2009 |
|
| 8. Huiling Shi, Wenke Ma, Meihon Yang, Xinchang Zhang (2012), “A Case Study of Model Checking Retail Banking System with SPIN”, Journal of Computers, Volume 7, Issue 10, pp.2503-2510 |
Sách, tạp chí |
| Tiêu đề: |
A Case Study of Model Checking Retail Banking System with SPIN |
| Tác giả: |
Huiling Shi, Wenke Ma, Meihon Yang, Xinchang Zhang |
| Năm: |
2012 |
|
| 9. Kshirasagar Naik, Priyadarshi Tripathy (2008), Software Testing and Quality Assurance: Theory and Practice, John Wiley & Sons, Waterloo |
Sách, tạp chí |
| Tiêu đề: |
Software Testing and Quality Assurance: Theory and Practice |
| Tác giả: |
Kshirasagar Naik, Priyadarshi Tripathy |
| Năm: |
2008 |
|
| 10. Mordechai Ben-Ari (2008), Principles of the Spin Model Checker, Springer, Germany |
Sách, tạp chí |
| Tiêu đề: |
Principles of the Spin Model Checker |
| Tác giả: |
Mordechai Ben-Ari |
| Năm: |
2008 |
|
| 11. Paul E. Ammann, Paul E. Black, William Majurski (1998), “Using Model Checking to Generate Tests from Specifications”, ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods, pp.46-54 |
Sách, tạp chí |
| Tiêu đề: |
Using Model Checking to Generate Tests from Specifications |
| Tác giả: |
Paul E. Ammann, Paul E. Black, William Majurski |
| Năm: |
1998 |
|
| 12. Yue Jia and Mark Harman (2011) “An Anlysis and Survey of the Development of Mutation Testing”, IEEE Transactions on Software Engineering, vol. 37 no.5, pp. 649 – 678.Nguồn Internet |
Sách, tạp chí |
| Tiêu đề: |
An Anlysis and Survey of the Development of Mutation Testing |
|
| 2. Bogdanov K., Bowen J. P., Cleaveland R., Derrick J., Dick J., Gheorghe M., Harman M., Hierons R. M., Kapoor K., Krause P., Luettgen G., Simons A. J |
Khác |
|