3544 search results - page 141 / 709 » Software Testing |
QSIC
2003
IEEE
15 years 7 months 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...
121
click to vote
ENTCS
2010
15 years 2 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
130
click to vote
IEEEARES
2007
IEEE
15 years 8 months ago
2007
IEEE
It is difficult to apply existing software development methods to security concerns. Using software for security testing purposes, in particular, is hard to do. The fact that ther...
110
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper introduces an approach to web application regression testing, based upon repair of user session data. The approach is entirely automated. It consists of a white box exa...
132
Voted
ICSE
2007
IEEE-ACM
15 years 8 months ago
2007
IEEE-ACM
We present the tool TAXI which implements the XMLbased Partition Testing approach for the automated generation of XML Instances conforming to a given XML Schema. In addition it pr...