TestEra: Specification-Based Testing of Java Programs Using SAT

Automated Software Engineering - Tập 11 Số 4 - Trang 403-434 - 2004
Sarfraz Khurshid1, Darko Marinov2
1MIT Lab for Computer Science, 200 Technology Square, Cambridge, MA 02139, USA. [email protected]
2MIT Lab for Computer Science, 200 Technology Square, Cambridge, MA 02139, USA. [email protected]#TAB#

Tóm tắt

Từ khóa


Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Automated Software Engineering

Tập 11 Số 4

403-434

Thông tin tác giả