10715 search results - page 66 / 2143 » From Tests to Proofs |
ISQED
2002
IEEE
14 years 2 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
ITC
1999
IEEE
14 years 1 months ago
1999
IEEE
SEMATECH has sponsored a "Test Method Evaluation" study to understand the trade-offs among the most common test methodologies used in the industry[1,2]. This paper prese...
ICSE
2005
IEEE-ACM
14 years 2 months ago
2005
IEEE-ACM
This report addresses some of our observations made in a dozen of projects in the area of software testing, and more specifically, in automated testing. It documents, analyzes and...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs wi...
ACL
2006
13 years 10 months ago
2006
In this paper we investigate how to automatically determine if two document collections are written from different perspectives. By perspectives we mean a point of view, for examp...