2419 search results - page 24 / 484 » A Formal Approach to Software Testing |
ZUM
1994
Springer
14 years 2 days ago
1994
Springer
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
DAC
2001
ACM
14 years 9 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
FATES
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
WOSP
2000
ACM
14 years 11 days ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
SEKE
2007
Springer
14 years 2 months ago
2007
Springer
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML ...