330 search results - page 28 / 66 » Towards A Practical Approach to Test Aspect-Oriented Softwar... |
129
click to vote
CBSQ
2003
Springer
15 years 5 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
130
click to vote
PPOPP
2009
ACM
16 years 10 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
FATES
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
102
click to vote
IIE
2007
14 years 11 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...