2302 search results - page 28 / 461 » Testing as Abstraction |
200
click to vote
TRUSTBUS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Synthetic data plays an important role in software testing. In this paper, we initiate the study of synthetic data generation models for the purpose of application softwa...
135
click to vote
SOQUA
2004
15 years 6 months ago
2004
Abstract: The oracle problem is addressed for random testing and testing of randomized software. The presented Statistical Oracle is a Heuristic Oracle using statistical methods, e...
191
click to vote
FM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
204
click to vote
AOSE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
164
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...