2026 search results - page 180 / 406 » Tools for Test Case Generation |
125
click to vote
CBMS
2006
IEEE
15 years 10 months ago
2006
IEEE
Medulator™, a commercial Web-based, variable response, patient simulation application, was modified to test the effect of case sequencing, explicit case comparison, and user-gen...
143
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
111
click to vote
ICECCS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
152
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
134
click to vote
DSN
2005
IEEE
15 years 10 months ago
2005
IEEE
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...