| Tài liệu tham khảo |
Loại |
Chi tiết |
| [2] Aynur Abdurazik and Jeff Offutt. Using uml collaboration diagrams for static checking and test generation. Proceedings of the 3rd International Conference on The Unified Modeling Language: Advancing the Standard, pages 383–395, 2000 |
Sách, tạp chí |
| Tiêu đề: |
Using uml collaboration diagrams for static checking and test generation |
| Tác giả: |
Aynur Abdurazik, Jeff Offutt |
| Nhà XB: |
Proceedings of the 3rd International Conference on The Unified Modeling Language: Advancing the Standard |
| Năm: |
2000 |
|
| [3] Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri, and Lionel C Briand. Generating test data from ocl constraints with search techniques.IEEE Transactions on Software Engineering, 39(10):1376–1402, 2013 |
Sách, tạp chí |
| Tiêu đề: |
Generating test data from ocl constraints with search techniques |
| Tác giả: |
Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel C Briand |
| Nhà XB: |
IEEE Transactions on Software Engineering |
| Năm: |
2013 |
|
| [4] Larry Apfelbaum and John Doyle. Model based testing. In Software Qual- ity Week Conference, pages 296–300, 1997 |
Sách, tạp chí |
| Tiêu đề: |
Model based testing |
| Tác giả: |
Larry Apfelbaum, John Doyle |
| Nhà XB: |
Software Quality Week Conference |
| Năm: |
1997 |
|
| [5] Adnan Bader, A Sayed Muhammed Sajeev, and Sita Ramakrishnan. Test- ing concurrency and communication in distributed objects. In The 5th In- ternational Conference on High Performance Computing, HIPC’98, pages 422–428. IEEE, 1998 |
Sách, tạp chí |
| Tiêu đề: |
The 5th International Conference on High Performance Computing, HIPC’98 |
| Tác giả: |
Adnan Bader, A Sayed Muhammed Sajeev, Sita Ramakrishnan |
| Nhà XB: |
IEEE |
| Năm: |
1998 |
|
| [7] Mohammed Benattou, Jean-Michel Bruel, and Nabil Hameurlain. Generat- ing test data from ocl specification. In Proc. ECOOP Workshop Integration and Transformation of UML Models, 2002 |
Sách, tạp chí |
| Tiêu đề: |
Generating test data from ocl specification |
| Tác giả: |
Mohammed Benattou, Jean-Michel Bruel, Nabil Hameurlain |
| Nhà XB: |
Proc. ECOOP Workshop Integration and Transformation of UML Models |
| Năm: |
2002 |
|
| [9] Robert V. Binder. Testing object-oriented software: a survey. Software Testing, Verification and Reliability, 6(3–4):125–252, 1996 |
Sách, tạp chí |
| Tiêu đề: |
Testing object-oriented software: a survey |
| Tác giả: |
Robert V. Binder |
| Nhà XB: |
Software Testing, Verification and Reliability |
| Năm: |
1996 |
|
| [10] Prithvi Bisht, Timothy Hinrichs, Nazari Skrupsky, Radoslaw Bobrowicz, and VN Venkatakrishnan. Notamper: automatic blackbox detection of parameter tampering opportunities in web applications. In Proceedings of the 17th ACM conference on Computer and communications security, pages 607–618. ACM, 2010 |
Sách, tạp chí |
| Tiêu đề: |
Notamper: automatic blackbox detection of parameter tampering opportunities in web applications |
| Tác giả: |
Prithvi Bisht, Timothy Hinrichs, Nazari Skrupsky, Radoslaw Bobrowicz, VN Venkatakrishnan |
| Nhà XB: |
ACM |
| Năm: |
2010 |
|
| [12] Pakinam N Boghdady, Nagwa L Badr, Mohamed Hashem, and Mohamed F Tolba. Test case generation and test data extraction techniques. In- ternational Journal of Elec trical & Computer Sciences IJECS-IJENS, 11(03):113803–9191, 2011 |
Sách, tạp chí |
| Tiêu đề: |
Test case generation and test data extraction techniques |
| Tác giả: |
Pakinam N Boghdady, Nagwa L Badr, Mohamed Hashem, Mohamed F Tolba |
| Nhà XB: |
International Journal of Electrical & Computer Sciences IJECS-IJENS |
| Năm: |
2011 |
|
| [13] Fabrice Bouquet and Bruno Legeard. Reification of executable test scripts in formal specification-based test generation: The java card transaction mechanism case study. In Proceedings of the International Symposium of Formal Methods Europe, volume 2805, pages 778–795. Springer, 2003 |
Sách, tạp chí |
| Tiêu đề: |
Reification of executable test scripts in formal specification-based test generation: The java card transaction mechanism case study |
| Tác giả: |
Fabrice Bouquet, Bruno Legeard |
| Nhà XB: |
Springer |
| Năm: |
2003 |
|
| [14] Igor Bourdonov, Alexander Kossatchev, Victor Kuliamin, and Alexander Petrenko. Unitesk test suite architecture. FME 2002: Formal Meth- ods—Getting IT Right, pages 121–152, 2002 |
Sách, tạp chí |
| Tiêu đề: |
FME 2002: Formal Methods—Getting IT Right |
| Tác giả: |
Igor Bourdonov, Alexander Kossatchev, Victor Kuliamin, Alexander Petrenko |
| Năm: |
2002 |
|
| [15] Ilene Burnstein. Practical software testing: a process-oriented approach.Springer, 2006 |
Sách, tạp chí |
| Tiêu đề: |
Practical software testing: a process-oriented approach |
| Tác giả: |
Ilene Burnstein |
| Nhà XB: |
Springer |
| Năm: |
2006 |
|
| [16] Emanuela Cartaxo, Francisco Neto, and Patricia Machado. Test case gen- eration by means of uml sequence diagrams and labeled transition systems.In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (ISIC), pages 1292–1297. IEEE, 2007 |
Sách, tạp chí |
| Tiêu đề: |
Test case generation by means of uml sequence diagrams and labeled transition systems |
| Tác giả: |
Emanuela Cartaxo, Francisco Neto, Patricia Machado |
| Nhà XB: |
IEEE |
| Năm: |
2007 |
|
| [18] Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia, and Marco Roveri. Nusmv: a new symbolic model checker. International Journal on Software Tools for Technology Transfer, 2(4):410–425, 2000 |
Sách, tạp chí |
| Tiêu đề: |
Nusmv: a new symbolic model checker |
| Tác giả: |
Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia, Marco Roveri |
| Nhà XB: |
International Journal on Software Tools for Technology Transfer |
| Năm: |
2000 |
|
| [20] Manuel Clavel, Marina Egea, and Miguel Angel García de Dios. Check- ing unsatisfiability for ocl constraints. Electronic Communications of the EASST, 24, 2010 |
Sách, tạp chí |
| Tiêu đề: |
Checking unsatisfiability for ocl constraints |
| Tác giả: |
Manuel Clavel, Marina Egea, Miguel Angel García de Dios |
| Nhà XB: |
Electronic Communications of the EASST |
| Năm: |
2010 |
|
| [21] Alberto Coen-Porisini and Flavio De Paoli. Array representation in sym- bolic execution. Computer Languages, 18(3):197–216, 1993 |
Sách, tạp chí |
| Tiêu đề: |
Array representation in symbolic execution |
| Tác giả: |
Alberto Coen-Porisini, Flavio De Paoli |
| Nhà XB: |
Computer Languages |
| Năm: |
1993 |
|
| [22] Jacques Cohen. Constraint logic programming languages. Communications of the ACM, 33(7):52–68, 1990 |
Sách, tạp chí |
| Tiêu đề: |
Constraint logic programming languages |
| Tác giả: |
Jacques Cohen |
| Nhà XB: |
Communications of the ACM |
| Năm: |
1990 |
|
| [24] Rashid Darwish, Lynnie Nakyanzi Gwosuta, and Richard Torkar. A con- trolled experiment on coverage maximization of automated model-based software test cases in the automotive industry. In Proceedings of the 10th IEEE International Conference on Software Testing, Verification and Val- idation (ICST), pages 546–547. IEEE, 2017 |
Sách, tạp chí |
| Tiêu đề: |
A controlled experiment on coverage maximization of automated model-based software test cases in the automotive industry |
| Tác giả: |
Rashid Darwish, Lynnie Nakyanzi Gwosuta, Richard Torkar |
| Nhà XB: |
IEEE |
| Năm: |
2017 |
|
| [25] Leonardo De Moura and Nikolaj Bj ứ rner. Z3: An efficient smt solver.Tools and Algorithms for the Construction and Analysis of Systems, pages 337–340, 2008 |
Sách, tạp chí |
| Tiêu đề: |
Z3: An efficient smt solver |
| Tác giả: |
Leonardo De Moura, Nikolaj Bj ứ rner |
| Nhà XB: |
Tools and Algorithms for the Construction and Analysis of Systems |
| Năm: |
2008 |
|
| [26] RA DeMilli and A. Jefferson Offutt. Constraint-based automatic test data generation. IEEE Transactions on Software Engineering, 17(9):900–910, 1991 |
Sách, tạp chí |
| Tiêu đề: |
Constraint-based automatic test data generation |
| Tác giả: |
RA DeMilli, A. Jefferson Offutt |
| Nhà XB: |
IEEE Transactions on Software Engineering |
| Năm: |
1991 |
|
| [27] R.A. DeMillo, D.S Guindi, F.N. King, W.M. McCracken, and A.J. Offutt.An extended overview of the mothra software testing environment. In Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, pages 142–151. IEEE Computer Society Press, July 1988 |
Sách, tạp chí |
| Tiêu đề: |
An extended overview of the mothra software testing environment |
| Tác giả: |
R.A. DeMillo, D.S Guindi, F.N. King, W.M. McCracken, A.J. Offutt |
| Nhà XB: |
IEEE Computer Society Press |
| Năm: |
1988 |
|