This paper reports a framework that makes it possible to carry out safe regression test selection for verification of Web services in an end-to-end manner. The Safe RTS technique has been integrated into a systematic method that monitors distributed code modifications and automates the RTS and RT processes. In doing so, a number of issues due to concurrent changes are recognized and solved.

This paper reports a safe regression test selection (RTS) approach that is designed for verifying Web services in an end-to-end manner. The Safe RTS technique has been integrated into a systematic method that monitors distributed code modifications and automates the RTS and RT processes.

No abstract

We have proposed a verification-driven learning model that facilitates students' involvement in real-world computing tasks starting from their early computing courses and continuing throughout their entire computing studies. The initial purpose of the verification-driven learning model is to enrich the context of lessons, courses, and the CS programs, especially in the early stage of students' learning. Verification-driven learning cases can serve to supplement other teaching approaches such as processoriented learning model. Students' independent practice of verification will encourage them to consider the real-world applications throughout the simulation.