3544 search results - page 160 / 709 » Software Testing |
123
click to vote
FATES
2004
Springer
15 years 7 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
107
click to vote
AIPS
2000
15 years 3 months ago
2000
Graphical user interfaces (GUIs) have become nearly ubiquitous as a means of interacting with software systems. GUIs are typically highly complex pieces of software, and testing t...
114
click to vote
COMPSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
136
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
109
click to vote
LCPC
2000
Springer
15 years 6 months ago
2000
Springer
The internal mechanism used for a dependence test constrains its accuracy and determines its speed. The internal mechanism used for our Access Region Test (ART) is fundamentally d...