3456 search results - page 673 / 692 » Byte Code Engineering |
182
Voted
ASPLOS
2006
ACM
16 years 10 days 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...
201
Voted
ASPLOS
2006
ACM
16 years 10 days 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 ...
156
click to vote
ISSTA
2006
ACM
16 years 10 days 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 ...
163
Voted
MSR
2006
ACM
16 years 10 days 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...
177
Voted
ESCIENCE
2005
IEEE
15 years 12 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...