6800 search results - page 174 / 1360 » Testing with Functions as Specifications |
109
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...
128
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
136
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we present an innovative methodology to estimate and improve the quality of analog and mixed-signal circuit testing. We first detect and reduce the redundancy in th...
117
click to vote
AGILEDC
2009
IEEE
15 years 7 months ago
2009
IEEE
A Continuous Integration system is often considered one of the key elements involved in supporting an agile software development and testing environment. As a traditional software...