共 50 条
- [11] Generating test data for specification-based tests via quasirandom sequences [J]. COMPUTATIONAL SCIENCE - ICCS 2006, PT 4, PROCEEDINGS, 2006, 3994 : 773 - 780
- [12] An architecture for specification-based detection of semantic integrity violations in kernel dynamic data [J]. USENIX ASSOCIATION PROCEEDINGS OF THE 15TH USENIX SECURITY SYMPOSIUM, 2006, : 289 - 304
- [13] Requirements specification and conceptual modeling for spatial data warehouses [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: OTM 2006 WORKSHOPS, PT 2, PROCEEDINGS, 2006, 4278 : 1616 - +
- [14] System specification-based design of cloud data centre and DEVS simulation for availability evaluation [J]. Journal of Research and Practice in Information Technology, 2014, 46 (2-3): : 63 - 75
- [15] APPROACHES TO SPECIFICATION-BASED TESTING [J]. PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 86 - 96
- [16] Specification-based Protocol Obfuscation [J]. 2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2018, : 478 - 489
- [18] Specification-based testing for refinement [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 237 - +
- [19] An Empirical Evaluation of Test Suite Reduction for Boolean Specification-based Testing [J]. QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2008, : 270 - 275
- [20] Model Driven Dimensional Modeling of Data Warehouses [J]. ITESS: 2008 PROCEEDINGS OF INFORMATION TECHNOLOGY AND ENVIRONMENTAL SYSTEM SCIENCES, PT 2, 2008, : 977 - 982