3 search results - page 1 / 1 » Efficient Detection of Errors in Java Components Using Rando... |
TACAS
2010
Springer
13 years 2 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
OOPSLA
2009
Springer
13 years 11 months ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
BMCBI
2006
13 years 4 months ago
2006
Background: Migration is an important aspect of cellular behaviour and is therefore widely studied in cell biology. Numerous components are known to participate in this process in...