共 8 条
[1]
Generating tests from counterexamples
[J].
ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS,
2004,
:326-335
[2]
Distributed repositories of highly expressive reusable ontologies
[J].
IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS,
1999, 14 (02)
:73-79
[3]
NECHES R, 1991, AI MAGAZINE FAL, V12
[4]
SLEEPER B, 5 MISSING PIECES SOA
[5]
Tsai WT, 2003, EIGHTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, P131
[6]
TSAI WT, 2005, UNPUB 7 INT S AUT DE
[7]
TSAI WT, 2004, 8 IASTED INT C SOFTW, P144
[8]
TSAI WT, 2004, WORKSH QUAL ASS TEST, P170