8398 search results - page 217 / 1680 » Optimal Software Testing |
143
click to vote
ICECCS
2002
IEEE
15 years 11 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...
188
click to vote
ICSE
2007
IEEE-ACM
16 years 20 days ago
2007
IEEE-ACM
We present the tool TAXI which implements the XMLbased Partition Testing approach for the automated generation of XML Instances conforming to a given XML Schema. In addition it pr...
159
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
176
click to vote
ISESE
2006
IEEE
16 years 16 days 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...
171
click to vote
WCET
2007
15 years 7 months ago
2007
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...