3456 search results - page 673 / 692 » Byte Code Engineering |
103
click to vote
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
114
click to vote
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
We report on the fourth in a series of studies on the reliability of application programs in the face of random input. Over the previous 15 years, we have studied the reliability ...
MSR
2006
ACM
15 years 5 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
102
click to vote
ESCIENCE
2005
IEEE
15 years 5 months ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...