2774 search results - page 292 / 555 » Query-Driven Program Testing |
140
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and failing runs. A difference in method call sequences, such as multiple deallocation ...
98
Voted
IFM
2005
Springer
15 years 8 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
102
Voted
ISMIR
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we propose a text represention for musical chord symbols that is simple and intuitive for musically trained individuals to write and understand, yet highly structure...
115
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
130
Voted
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
Human based algorithms to catch fly balls have been research and studied. In this paper, the validity of the human models are tested by catching balls that are dropped vertically...