2774 search results - page 191 / 555 » Query-Driven Program Testing |
180
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
116
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
115
Voted
ISHPC
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Dynamic program optimization is the only recourse for optimizing compilers when machine and program parameters necessary for applying an optimization technique are unknow...
116
click to vote
CP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
109
click to vote
AOSD
2010
ACM
15 years 6 months ago
2010
ACM
COBOL is still an important language for building mission critical enterprise systems, and there is huge amount of existing COBOL programs. We have been developing an aspect-orien...