摘要:
XML-security is a component library implementing XML signature and encryption standards, supplied by the XML subproject of the open source Apache project. It is available athttp://xml.apache.org/security. It currently provides a mature implementation of Digital Signatures for XML, with implementatio 阅读全文
摘要:
The Java clusters (Cruise Control, Elevator and OrdSet) presented here have been used in an empirical study addressing the impact of using state machines for testing class clusters that exhibit a state-dependent behavior in testing cost effectiveness when compared with structural testing.(就是这些数据集被用来 阅读全文
摘要:
The concurrency testing subjects are a collection of Java programs that exhibit the characteristics of multithreaded activities requiring arbitration. The subjects are useful in studying both the behavior of concurrent program designs and also for model checking analysis. These subjects were collect 阅读全文