1210 search results - page 73 / 242 » Formal Techniques for Java Programs |
110
Voted
CEC
2010
IEEE
14 years 11 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...
138
Voted
POPL
2011
ACM
14 years 5 months ago
2011
ACM
The technique of trace-based just-in-time compilation was introduced by Bala et al. and was further developed by Gal et al. It currently enjoys success in Mozilla Firefox’s Java...
102
click to vote
CSREASAM
2006
15 years 3 months ago
2006
- The emergence of middleware solutions and new services even on small devices will need adapted distributed management solutions which address these specificities, both in terms o...
123
Voted
IEEEIAS
2008
IEEE
15 years 9 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
126
click to vote
OOPSLA
2010
Springer
15 years 27 days ago
2010
Springer
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable,...