3547 search results - page 176 / 710 » Pseudo-Exhaustive Testing for Software |
161
Voted
AGILEDC
2006
IEEE
16 years 1 months ago
2006
IEEE
Using an experimental method, we found that customers, partnered with an IT professional, are able to use executable acceptance test (storytest)-based specifications to communicat...
161
click to vote
QSIC
2003
IEEE
16 years 11 days ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
170
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
165
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Designers of children's technology are often more interested in user motivation than those who design systems for adults. Since children's technology often has aims such...
196
click to vote
AOSD
2006
ACM
16 years 1 months ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...