2419 search results - page 163 / 484 » A Formal Approach to Software Testing |
145
Voted
ICSE
2008
IEEE-ACM
16 years 4 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...
127
Voted
PEPM
2010
ACM
16 years 14 days ago
2010
ACM
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
159
Voted
TSE
2010
15 years 1 months ago
2010
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
108
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
It is labor-intensive to manually verify the outputs of a large set of tests that are not equipped with test oracles. Test selection helps to reduce this cost by selecting a small...
186
Voted
ASWEC
2010
IEEE
15 years 3 months ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...