Sciweavers

35 search results - page 4 / 7
» The Declarative Approach to Business Process Execution: An E...
Sort
View
JSS
2010
107views more  JSS 2010»
13 years 6 months ago
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
Kiran Lakhotia, Phil McMinn, Mark Harman
CN
2007
148views more  CN 2007»
13 years 7 months ago
A rigorous approach to orchestrating grid services
Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using th...
Kenneth J. Turner, Koon Leai Larry Tan
INFSOF
2000
96views more  INFSOF 2000»
13 years 7 months ago
Improving software quality using statistical testing techniques
Cleanroom usage-based statistical testing techniques have been incorporated into the software development process for a program in the Electronic Systems business of Raytheon Comp...
David P. Kelly, Robert Oshana
AKA
2004
13 years 9 months ago
On Transaction Design for UML Components
: The transaction concept enables the efficient development of concurrent and fault tolerant applications. Transaction services are therefore an essential part of modern component ...
Sten Loecher
ICST
2008
IEEE
14 years 2 months ago
Distributed In Vivo Testing of Software Applications
The in vivo software testing methodology focuses on testing live applications by executing unit tests throughout the lifecycle, including after deployment. The motivation is that ...
Matt Chu, Christian Murphy, Gail E. Kaiser