Learn More
Model-based testing is a new and evolving technique for generating a suite of test cases from requirements. Testers using this approach concentrate on a data model and generation infrastructure instead of hand-crafting individual tests. Several relatively small studies have demonstrated how combi-natorial test generation techniques allow testers to achieve(More)
Advances in sensor networking and location tracking technology enable location-based applications but they also create significant privacy risks. Privacy is typically addressed through privacy policies, which inform the user about a service provider's data handling practices and serve as the basis for the user's decision to release data. However, privacy(More)
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common coverage criteria is two-way, or pairwise coverage of value combinations, though for higher confidence three-way or higher coverage may be required. This paper presents example(More)
Emerging mesh networks build on IEEE 802.11 wireless local area networking technology to deliver Internet access to mobile users or to areas where traditional wired access technologies are unprofitable. Such deployments are highly bandwidth constrained; in dense urban environments many users are competing for the wireless medium and long-haul wireless(More)
The paradigm of model-based testing shifts the focus of testing from writing individual test cases to developing a model from which a test suite can be generated automatically. We report on our experience with model-based testing of a highly programmable system that implements intelligent telephony services in the U.S. telephone network. Our approach used(More)
Ad hoc network protocols are often developed, tested and evaluated using simulators. However, when the time comes to deploy those protocols for use or testing on real systems the protocol must be reimplemented for the target platform. This usually results in two, completely separate code-bases that must be maintained. Bugs which are found and fixed under(More)
AETG SM Web is a web based service developed by Bell-core researchers for enabling model based testing. In model based testing, the functional test requirements of the system are first modeled and then testcases based on this model are created or generated. AETG SM Web employs a web based user interface to model the functional requirements of the System(More)
This work presents some formalization of our intuition that from an operational perspective, logic programs do have a notion of control ow, and the computational behavior of a \well-structured" logic program is best understood in terms of the central control ow the program embodies. Generalizing earlier work on program map theory, a concept of a projection(More)