Sciweavers

4079 search results - page 15 / 816
» Differential Testing for Software
Sort
View
SIGSOFT
2007
ACM
14 years 8 months ago
Contract driven development = test driven development - writing test cases
Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertr...
ASWEC
2008
IEEE
13 years 9 months ago
Towards Formalizing Resource Based Non-conformance in Business
The research presented in the literature thus far on process deviations, inconsistencies and general nonconformance have all been very generic, process wide methodologies. Their a...
Sean Thompson, Torab Torabi
CLUSTER
2007
IEEE
13 years 7 months ago
The computer as software component: A mechanism for developing and testing resource management software
— In this paper, we present an architecture that encapsulates system hardware inside a software component used for job execution and status monitoring. The development of this in...
Narayan Desai, Theron Voran, Ewing L. Lusk, Andrew...
COMPSAC
2007
IEEE
14 years 1 months ago
Automated Testing EJB Components Based on Algebraic Specifications
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
Liang Kong, Hong Zhu, Bin Zhou
APPML
2005
54views more  APPML 2005»
13 years 7 months ago
Conditional stability for a class of second-order differential equations
Using two classes of test functions introduced recently by the authors, a criterion for conditional stability of the trivial solution of a second-order semi-linear differential eq...
Cezar Avramescu, Octavian G. Mustafa, Svitlana P. ...