Sciweavers

2026 search results - page 220 / 406
» Tools for Test Case Generation
Sort
View
ISSE
2010
15 years 3 months ago
A second look at Faster, Better, Cheaper
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...
Oussama El-Rawas, Tim Menzies
ICSE
2009
IEEE-ACM
15 years 11 months ago
Semantics-based code search
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
Steven P. Reiss
ANTS
2010
Springer
260views Algorithms» more  ANTS 2010»
15 years 8 months ago
On the Complexity of the Montes Ideal Factorization Algorithm
Let p be a rational prime and let Φ(X) be a monic irreducible polynomial in Z[X], with nΦ = deg Φ and δΦ = vp(disc Φ). In [13] Montes describes an algorithm for the decomposi...
David Ford, Olga Veres
TVLSI
2008
152views more  TVLSI 2008»
15 years 4 months ago
MMV: A Metamodeling Based Microprocessor Validation Environment
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Di...
VL
2008
IEEE
111views Visual Languages» more  VL 2008»
15 years 11 months ago
Test-driven goal-directed debugging in spreadsheets
We present an error-detection and -correction approach for spreadsheets that automatically generates questions about input/output pairs and, depending on the feedback given by the...
Robin Abraham, Martin Erwig