2774 search results - page 16 / 555 » Query-Driven Program Testing |
ACL
2011
12 years 11 months ago
2011
We describe an exact decoding algorithm for syntax-based statistical translation. The approach uses Lagrangian relaxation to decompose the decoding problem into tractable subprobl...
PLDI
1996
ACM
13 years 11 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
COMPSAC
2003
IEEE
14 years 28 days ago
2003
IEEE
The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...