589 search results - page 46 / 118 » Automated test generation for engineering applications |
131
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imp...
176
Voted
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
158
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
1 As distributed systems scale up and are deployed into increasingly sensitive settings, demand is rising for a new generation of communications middleware in support of applicati...
140
click to vote
OOPSLA
2005
Springer
15 years 9 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...
137
Voted
ELPUB
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we report on our experience with the creation of an automated, human-assisted process to extract metadata from documents in a large (>100,000), dynamically growi...