2774 search results - page 156 / 555 » Query-Driven Program Testing |
117
Voted
CONSTRAINTS
2007
15 years 2 months ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
117
click to vote
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
128
click to vote
PERCOM
2010
ACM
15 years 7 days ago
2010
ACM
Abstract--Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge in...
125
Voted
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
This paper presents the results of an exploratory study on the fault-proneness of aspect-oriented programs. We analysed the faults collected from three evolving aspect-oriented sy...
135
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...