2774 search results - page 402 / 555 » Query-Driven Program Testing |
TOOLS
2008
IEEE
14 years 3 months ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Code compression has been applied to embedded systems to minimize the silicon area utilized for program memories, and lower the power consumption. More recently, it has become a n...
ACCV
2007
Springer
14 years 3 months ago
2007
Springer
This is a survey paper summarizing recent research aimed at finding guaranteed optimal algorithms for solving problems in Multiview Geometry. Many of the traditional problems in M...
ESOP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...