900 search results - page 76 / 180 » Object-Oriented Software Testing: Some Research and Developm... |
112
click to vote
FATES
2003
Springer
15 years 6 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
108
click to vote
ICECCS
2000
IEEE
15 years 5 months ago
2000
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
130
click to vote
ICECCS
1996
IEEE
15 years 5 months ago
1996
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
109
click to vote
VLSID
2009
IEEE
16 years 2 months ago
2009
IEEE
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
ESE
2006
15 years 1 months ago
2006
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...