10715 search results - page 214 / 2143 » Proofs from Tests |
121
Voted
COMPUTER
2008
15 years 3 months ago
2008
ions and techniques such as activity models, storyboards, and programming by demonstration (Y. Li and J. Landay, "Activity-Based Prototyping of Ubicomp Applications for Long-L...
117
Voted
IIE
2006
15 years 3 months ago
2006
We examine the precision with which the cumulative score from a suite of test cases ranks participants in the International Olympiad in Informatics (IOI). Our concern is the abilit...
122
Voted
CSUR
2000
15 years 3 months ago
2000
: Object-oriented frameworks have extended reusability of software from code modules to architectural and domain information. This paper further extends software reusability from c...
154
Voted
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
112
Voted
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
There has been a considerable body of work on search–based test data generation for branch coverage. However, hitherto, there has been no work on multi–objective branch covera...