2774 search results - page 255 / 555 » Query-Driven Program Testing |
111
Voted
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
An item pool with multimedia data is a finclamental part of our project? Computerized Adaptive Test System of Chinese Proficiency. This p p e r intends to present a design of a mu...
126
Voted
ICALP
1998
Springer
15 years 7 months ago
1998
Springer
We generate a natural hierarchy of equivalences for asynchronous name-passing process calculi from simple variations on Milner and Sangiorgi's definition of weak barbed bisim...
95
Voted
ICALP
1997
Springer
15 years 7 months ago
1997
Springer
We propose a general approach for defining behavioural preorders over process terms as the maximal pre–congruences induced by basic observables. We will consider three of these...
156
Voted
IFIP
1993
Springer
15 years 6 months ago
1993
Springer
The Architecture of Integrated Information Systems (ARIS) is a popular framework for integrated process modeling. Previous research analysed ARIS using an ontology developed by Bu...
137
Voted
ISSTA
1993
ACM
15 years 6 months ago
1993
ACM
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis syste...