1057 search results - page 57 / 212 » Testing from Formal Specifications, a Generic Approach |
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
WER
2004
Springer
14 years 1 months ago
2004
Springer
Understanding how a user interacts with a system is important if the goal is to deliver a product that meets the user's needs. Use cases constitute a primary source of require...
ACMSE
2004
ACM
14 years 1 months ago
2004
ACM
This paper presents a specification-driven approach to test automation for GUI-based JAVA programs as an alternative to the use of capture/replay. The NetBeans Jemmy library provi...
AO
2006
13 years 7 months ago
2006
in ontology is quite abstract and often based on toy-examples to the point that the gap between the work of theoreticians and the needs of real applications is too wide to be cross...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...