TRÌNH ĐƠN TRA CỨU
Tất cả
Skip Navigation Links.
  • Bài trích
  • Nhan đề: Distinguishing extended finite state machine configurations using predicate abstraction
Tác giả CN Fakih,Khaled El-
Nhan đề Distinguishing extended finite state machine configurations using predicate abstraction
Từ khóa tự do Model based conformance testing
Từ khóa tự do Model transformation
Từ khóa tự do Mutation testing
Tác giả(bs) CN Bensalem,Saddek
Tác giả(bs) CN Bozga,Marius
Tác giả(bs) CN Yevtushenko,Nina
Nguồn trích Journal of software engineering research and development2016-12 Số: 1 Tập: 4
00000000nab#a2200000ui#4500
00113209
0026
0047D9A4D37-C910-4F83-B978-A4B8F3F28726
005201706061509
008081223s vm| vie
0091 0
039|y20170606151224|zcuonglv
100 |aFakih,Khaled El-
245 |aDistinguishing extended finite state machine configurations using predicate abstraction
653 |aModel based conformance testing
653 |aModel transformation
653 |aMutation testing
700 |aBensalem,Saddek
700 |aBozga,Marius
700 |aYevtushenko,Nina
773 |tJournal of software engineering research and development|v4|i1|d2016-12
890|c1|a0|b0|d8
Không tìm thấy biểu ghi nào