235 search results - page 20 / 47 » Test Generation Based on Symbolic Specifications |
116
click to vote
SIGSOFT
2009
ACM
15 years 8 months ago
2009
ACM
An objective of unit testing is to achieve high structural coverage of the code under test. Achieving high structural coverage of object-oriented code requires desirable method-ca...
124
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
111
Voted
LREC
2008
15 years 3 months ago
2008
Evaluating the output of NLG systems is notoriously difficult, and performing assessments of text quality even more so. A range of automated and subject-based approaches to the ev...
106
click to vote
ISQED
2007
IEEE
15 years 8 months ago
2007
IEEE
Soft error due to ionizing radiation is emerging as a major concern for future technologies. The measurement unit for failures due to soft errors is called Failure-In-Time (FIT) t...
112
Voted
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
— The goal of this study is a system for a robot to imitate human dances. This paper describes the process to generate whole body motions which can be performed by an actual bipe...