10715 search results - page 104 / 2143 » From Tests to Proofs |
VL
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper we present a system that helps users test their spreadsheets using automatically generated test cases. The system generates the test cases by backward propagation an...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
One of the most important issues in the software development is how to guarantee that the software satisfies the quality defined in the requirement specification. This paper pr...
UML
2001
Springer
14 years 1 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
ISSRE
2005
IEEE
14 years 2 months ago
2005
IEEE
A classic question in software development is “H ow much testing is enough?” Aside from dynamic coverage-based metrics, there are few measures that can be used to provide guid...