| Tài liệu tham khảo |
Loại |
Chi tiết |
| [1] P. Godefroid, N. Klarlund, K. Sen, DART: Directed Automated Random Testing, In Programming Language Design and Implementation, pp. 213-223. ACM, 2005 |
Sách, tạp chí |
| Tiêu đề: |
DART: Directed Automated Random Testing", In "Programming Language Design and Implementation |
|
| [2] C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler, EXE: Automatically generating inputs of death, In CCS’06: Computer and Communications Security Conference, pp. 322-335, 2006 |
Sách, tạp chí |
| Tiêu đề: |
EXE: "Automatically generating inputs of death", In "CCS’06: Computer and Communications Security Conference |
|
| [3] P. Godefroid, Compositional dynamic test generation, In POPL ’07: Principles of Programming Languages, pp. 47-54, 2007 |
Sách, tạp chí |
| Tiêu đề: |
Compositional dynamic test generation", In "POPL ’07: Principles of Programming Languages |
|
| [4] T. Ball and S. K. Rajamani, Automatically validating temporal safety properties of interfaces, In SPIN ’01: SPIN workshop on Model checking of Software, pp. 103- 122, 2001 |
Sách, tạp chí |
| Tiêu đề: |
Automatically validating temporal safety properties of interfaces", In "SPIN ’01: SPIN workshop on Model checking of Software |
|
| [5] T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, Lazy abstraction, In POPL ’02: Principles of Programming Languages, pp. 58-70, 2002 |
Sách, tạp chí |
| Tiêu đề: |
Lazy abstraction", In "POPL ’02: Principles of Programming Languages |
|
| [6] M. Das, S. Lerner, and M. Seigle, ESP: Path-sensitive program verification in polynomial time, In PLDI’02: Programming Language Design and Implementation, pp. 57-69, 2002 |
Sách, tạp chí |
| Tiêu đề: |
ESP: Path-sensitive program verification in polynomial time," In "PLDI’02: Programming Language Design and Implementation |
|
| [7] Heumann J., Generating Test Cases from Use Cases, Journal of Software Testing Professionals 3(2) (2002) |
Sách, tạp chí |
| Tiêu đề: |
Generating Test Cases from Use Cases, Journal of Software Testing Professionals |
|
| [8] Hutcheson M. L., Software Testing Fundamentals-Methods and Metrics, Wiley Publishing, 2003 |
Sách, tạp chí |
| Tiêu đề: |
Software Testing Fundamentals-Methods and Metrics |
|
| [9] Williams N., Marre B., Mouy P. and Roger M., PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis, Springer- Verlag, Dependable Computing: In Proceedings of the 5th European Dependable Computing Conference, 3463, 2005, pp. 281–292 |
Sách, tạp chí |
| Tiêu đề: |
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis", Springer-Verlag, Dependable Computing: In "Proceedings of the 5th European Dependable Computing Conference |
|
| [10] Sen K. and Agha G., CUTE and jCUTE : Concolic Unit Testing and Explicit Path Model-Checking Tools, Springer-Verlag, Computer Aided Verification: In Proceedings of the 18th International Conference, 4144, 2006, pp. 419-423 |
Sách, tạp chí |
| Tiêu đề: |
CUTE and jCUTE : Concolic Unit Testing and Explicit Path Model-Checking Tools", Springer-Verlag, Computer Aided Verification: In "Proceedings of the 18th International Conference |
|
| [11] Godefroid P., Random testing for security: blackbox vs. whitebox fuzzing, ACM Publisher, In Proceedings of the 2nd international workshop on Random testing:co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering, 2007, pp. 1-1 |
Sách, tạp chí |
| Tiêu đề: |
Random testing for security: blackbox vs. whitebox fuzzing", ACM Publisher, In "Proceedings of the 2nd international workshop on Random testing |
|
| [12] Peter O'Hearn, John Reynolds, Hongseok Yang, Local Reasoning about Programs that Alter Data Structures, Invited paper, Proceedings of CSL'01, Paris, 2001, pp.1-19 |
Sách, tạp chí |
| Tiêu đề: |
Local Reasoning about Programs that Alter Data Structures", Invited paper, "Proceedings of CSL'01 |
|
| [13] John Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures, Proceedings of LICS, 2002, pp. 55-74 |
Sách, tạp chí |
| Tiêu đề: |
Separation Logic: A Logic for Shared Mutable Data Structures, Proceedings of LICS |
|
| [14] M Huth and M. Ryanl, Logic In Computer Science: Modeling And Reasoning About Systems, Cambridge University Press, 1999 |
Sách, tạp chí |
| Tiêu đề: |
Logic In Computer Science: Modeling And Reasoning About Systems |
|
| [15] Sen K., Marinov D. and Agha G., CUTE: a concolic unit testing engine for C, ACM Publisher, In Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, 30(5), 2005, pp. 263-272 |
Sách, tạp chí |
| Tiêu đề: |
CUTE: a concolic unit testing engine for C", ACM Publisher, In "Proceedings of the 10th European software engineering conference |
|
| [16] Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin, Multiple Pre/Post Specifications for Heap-Manipulating Methods, (HASE07), Nov 2007, Dallas, Texas |
Sách, tạp chí |
| Tiêu đề: |
Multiple Pre/Post Specifications for Heap-Manipulating Methods |
|
| [17] Huu Hai Nguyen and Wei-Ngan Chin, Enhancing Program Verification with Lemmas, (CAV 2008), July 2008, Princeton, New Jersey |
Sách, tạp chí |
| Tiêu đề: |
Enhancing Program Verification with Lemmas |
|
| [19] Bjứrner N. and Moura L. D., Z3^10: Applications, Enablers, Challenges and Directions, In Proceedings of Workshop on Constraints in Formal Verification, 2009 |
Sách, tạp chí |
| Tiêu đề: |
Z3^10: Applications, Enablers, Challenges and Directions", In "Proceedings of Workshop on Constraints in Formal Verification |
|
| [20] Nguyễn Trung Hải, Thesis Slicing-based testing for C++, HoChiMinh City, Vietnam, 2012 |
Sách, tạp chí |
| Tiêu đề: |
Thesis Slicing-based testing for C++ |
|
| [18] Tool Z3, website: http://research.microsoft.com/en-us/um/redmond/projects/z3/ |
Link |
|