Abstract: Web services can be managed and coordinated by business processes while computer application systems are more and more based on Internet. Services binding in these business processes evolve ...

Abstract: Programmers often use Q&A sites (e.g., Stack Overflow) to understand a root cause of program bugs. Runtime exceptions is one of such important class of bugs that is actively discussed on ...

Abstract: Testing a numerical library's exception handling is often left to its regression tests. However, designing floating-point inputs that exercise exceptional behavior is difficult. Further-more ...