共 50 条
- [21] Automatic property-based testing and path validation of XQuery programs SOFTWARE TESTING VERIFICATION & RELIABILITY, 2017, 27 (1-2): : 1 - 2
- [22] A tool for automatic flow analysis of C-programs for WCET calculation EIGHTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 2003, : 106 - 112
- [24] The observing programs at Kanzelhohe solar observatory Solar Magnetic Phenomena, 2005, 320 : 275 - 278
- [26] Usability and transparency in the design of a tool for automatic support for web accessibility validation Universal Access in the Information Society, 2024, 23 : 435 - 454
- [27] ESC:: A tool for automatic composition of e-services based on logics of programs TECHNOLOGIES FOR E-SERVICES, 2005, 3324 : 80 - 94
- [28] autoObserver - automatic generation of observing schedules CONTRIBUTIONS OF THE ASTRONOMICAL OBSERVATORY SKALNATE PLESO, 2014, 43 (03): : 473 - 474
- [30] INVERSE SIMULATION - A TOOL FOR THE VALIDATION OF SIMULATION PROGRAMS - 1ST RESULTS ZEITSCHRIFT FUR FLUGWISSENSCHAFTEN UND WELTRAUMFORSCHUNG, 1993, 17 (03): : 211 - 219