840 search results - page 38 / 168 » Test suite oscillations |
147
click to vote
TOOLS
2008
IEEE
16 years 13 days ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
204
click to vote
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
158
click to vote
ICSE
2009
IEEE-ACM
16 years 26 days ago
2009
IEEE-ACM
Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test gen...
194
click to vote
ICDE
2011
IEEE
14 years 9 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
136
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
The main effort in oscillator phase noise calculation lies in computing a vector function called the Perturbation Projection Vector (PPV). Current techniques for PPV calculation u...