2132 search results - page 138 / 427 » Automated software winnowing |
ICSE
2008
IEEE-ACM
16 years 1 days ago
2008
IEEE-ACM
Intuition is often not a good guide to know which testing strategies will work best. There is no substitute for experimental analysis based on objective criteria: how many bugs a ...
121
click to vote
CL
2008
Springer
14 years 11 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
122
click to vote
ADAEUROPE
2007
Springer
15 years 5 months ago
2007
Springer
The testing of programs in wireless sensor networks (WSN) is an important means to assure quality but is a challenging process. As pervasive computing has been identified as a not...
CL
2010
Springer
14 years 11 months ago
2010
Springer
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
101
click to vote
DLOG
2004
15 years 19 days ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...