3424 search results - page 7 / 685 » Automated Testing of Classes |
ICECCS
2002
IEEE
15 years 2 months ago
2002
IEEE
The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...
ELPUB
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, we report on our experience with the creation of an automated, human-assisted process to extract metadata from documents in a large (>100,000), dynamically growi...
113
Voted
TOOLS
1992
IEEE
15 years 1 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
ISSRE
2007
IEEE
14 years 11 months ago
2007
IEEE
SPIN
2010
Springer
14 years 7 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...