Sciweavers

16968 search results - page 315 / 3394
» Software Engineering in the Small
Sort
View
FASE
2009
Springer
15 years 11 months ago
On the Implementation of @pre
Piotr Kosiuczenko
APSEC
1999
IEEE
15 years 11 months ago
A Study of Productivity and Efficiency for Object-Oriented Methods and Languages
A study was commissioned by Hughes Space and Communications software engineering group to determine the effectiveness of the recent
Daniel Port, Monica McArthur
SEFM
2008
IEEE
16 years 1 months ago
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truon...
COMPSAC
2006
IEEE
16 years 25 days ago
Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
Jun Yan, Jian Zhang