6800 search results - page 11 / 1360 » Testing with Functions as Specifications |
ASE
2004
13 years 7 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
QSIC
2008
IEEE
14 years 2 months ago
2008
IEEE
In the context of open source development or software evolution, developers are often faced with test suites which have been developed with no apparent rationale and which may nee...
TAP
2007
Springer
14 years 1 months ago
2007
Springer
ICSE
2009
IEEE-ACM
14 years 10 days ago
2009
IEEE-ACM
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we analyze the test power of SRAM memories and demonstrate that the full functional precharge activity is not necessary during test mode because of the predictable a...