1932 search results - page 358 / 387 » Molecule-oriented programming in Java |
133
Voted
SEKE
2010
Springer
14 years 11 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
107
Voted
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
109
click to vote
WCRE
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
90
Voted
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
100
click to vote
CEC
2010
IEEE
14 years 9 months ago
2010
IEEE
TestFul is a novel evolutionary testing approach for object-oriented programs with complex internal states. In our preliminary experiments, it already outperformed some of the well...