3456 search results - page 334 / 692 » Byte Code Engineering |
131
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
109
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to rev...
175
click to vote
AGI
2011
14 years 8 months ago
2011
Intelligent software agents aiming for general intelligence are likely to be exceedingly complex systems and, as such, will be difficult to implement and to customize. Frameworks h...
136
Voted
POPL
2011
ACM
14 years 7 months ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
151
click to vote
CCS
2009
ACM
16 years 5 months ago
2009
ACM
This paper introduces a method to control JavaScript execution. The aim is to prevent or modify inappropriate behaviour caused by e.g. malicious injected scripts or poorly designe...