3639 search results - page 59 / 728 » Experiments on IPv6 Testing |
TSE
1998
13 years 9 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
MCFNS
2010
13 years 4 months ago
2010
Between September 2008 and September 2009, data were collected with a Garmin Oregon 300 recreation-grade GPS receiver nearly every day, under a variety of environmental conditions....
SE
2007
13 years 11 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
ISESE
2006
IEEE
14 years 4 months ago
2006
IEEE
Controlled experiments are a key approach to evaluate and evolve our understanding of software engineering technologies. However, defining and running a controlled experiment is a...
ICST
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper introduces an approach to web application regression testing, based upon repair of user session data. The approach is entirely automated. It consists of a white box exa...