| Tài liệu tham khảo |
Loại |
Chi tiết |
| 4. J.R. Monsma, BSc, Model-based testing of web applications, Master thesis, 2015 |
Sách, tạp chí |
| Tiêu đề: |
Model-based testing of web applications |
| Tác giả: |
J.R. Monsma |
| Nhà XB: |
Master thesis |
| Năm: |
2015 |
|
| 5. Nguyen Viet Cuong, Model Transformation Approach to Automated Model Driven Development, Electrical Engineering and Information Technology, 2015 |
Sách, tạp chí |
| Tiêu đề: |
Model Transformation Approach to Automated Model Driven Development |
| Tác giả: |
Nguyen Viet Cuong |
| Nhà XB: |
Electrical Engineering and Information Technology |
| Năm: |
2015 |
|
| 6. Mohamed Mussa, Samir Ouchani, Waseem Al Sammane, Abdelwahab Hamou-Lhadj, A Survey of Model-Driven Testing Techniques, Department of Electrical and Computer Engineering Concordia University |
Sách, tạp chí |
| Tiêu đề: |
A Survey of Model-Driven Testing Techniques |
| Tác giả: |
Mohamed Mussa, Samir Ouchani, Waseem Al Sammane, Abdelwahab Hamou-Lhadj |
| Nhà XB: |
Department of Electrical and Computer Engineering Concordia University |
|
| 7. Boris Beizer, Software Testing Techniques, New York : John Wiley & Sons, Inc., 1990 |
Sách, tạp chí |
| Tiêu đề: |
Software Testing Techniques |
| Tác giả: |
Boris Beizer |
| Nhà XB: |
John Wiley & Sons, Inc. |
| Năm: |
1990 |
|
| 8. James H Andrews, Lionel C Briand, Yvan Labiche./s mutation an appropriate tool for testing experiments? New York: ACM New York, 2005 |
Sách, tạp chí |
| Tiêu đề: |
mutation an appropriate tool for testing experiments |
| Tác giả: |
James H Andrews, Lionel C Briand, Yvan Labiche |
| Nhà XB: |
ACM New York |
| Năm: |
2005 |
|
| 9. Kent Bect.Test Driven Development: By Example. \st Edition. s.l. : Addison Wesley Professional, 2002 |
Sách, tạp chí |
| Tiêu đề: |
Test Driven Development: By Example |
| Tác giả: |
Kent Beck |
| Nhà XB: |
Addison Wesley Professional |
| Năm: |
2002 |
|
| 10. Hajiabadi, H. and M. Kahani, An automated model based approach to test web application using ontology, in Open Systems (ICOS), 2011 IEEEConference on |
Sách, tạp chí |
| Tiêu đề: |
Open Systems (ICOS), 2011 IEEE Conference on |
| Tác giả: |
Hajiabadi, H., M. Kahani |
| Năm: |
2011 |
|
| 11.Mark David Weiser.Program Slices : Formal, Psychological, and Practical Investigations of an Automatic Program Abstraction Method. University of Michigan. 1979. PhD Thesis |
Sách, tạp chí |
| Tiêu đề: |
Program Slices : Formal, Psychological, and Practical Investigations of an Automatic Program Abstraction Method |
| Tác giả: |
Mark David Weiser |
| Nhà XB: |
University of Michigan |
| Năm: |
1979 |
|
| 12.Mark Utting; Alexander Pretschner; Bruno Legeard.A Taxonomy of Model- Based Testing. New Zealand : s.n., 2006. Technical Report |
Sách, tạp chí |
| Tiêu đề: |
A Taxonomy of Model- Based Testing |
| Tác giả: |
Mark Utting, Alexander Pretschner, Bruno Legeard |
| Nhà XB: |
s.n. |
| Năm: |
2006 |
|
| 13.Mark Utting and Bruno Legeard.Practical Model-Based Testing : A Tools Approach. San Francisco : Morgan Kaufmann Publishers Inc., 2006 |
Sách, tạp chí |
| Tiêu đề: |
Practical Model-Based Testing : A Tools Approach |
| Tác giả: |
Mark Utting, Bruno Legeard |
| Nhà XB: |
Morgan Kaufmann Publishers Inc. |
| Năm: |
2006 |
|
| 14.Broy, M., et al., Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science). 2005: Springer-Verlag New York, Inc |
Sách, tạp chí |
| Tiêu đề: |
Model-Based Testing of Reactive Systems: Advanced Lectures |
| Tác giả: |
M. Broy, et al |
| Nhà XB: |
Springer-Verlag New York, Inc |
| Năm: |
2005 |
|
| 19.Koopman, P. and R. Plasmeijer, Fully Automatic Testing with Functions as Specifications, in Central European Functional Programming School, Z.Horvath, Editor. 2006, Springer Berlin Heidelberg. p. 35-61 |
Sách, tạp chí |
| Tiêu đề: |
Fully Automatic Testing with Functions as Specifications |
| Tác giả: |
Koopman, P., R. Plasmeijer |
| Nhà XB: |
Springer Berlin Heidelberg |
| Năm: |
2006 |
|
| 3. Trang web http://www.vietnamesetestingboard.org Tieng Anh |
Link |
|
| 20. Trang web http://www.all4tec.net/Matelo/model-based-testing.html |
Link |
|
| 18. Dijkstra, E.W., A note on two problems in connexion with graphs. Numerische Mathematik, 1959. 1(1): p. 269-271 |
Khác |
|