458 search results - page 4 / 92 » Automatic system testing of programs without test oracles |
COMPSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
PTS
2010
13 years 6 months ago
2010
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...
ISSRE
2003
IEEE
14 years 1 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
– In this paper, we present an open architecture Virtual Test Environment (VTE) which can be easily integrated into various modularized Automatic Test Systems (ATS) compliant to ...