Generating Test Cases for Context-Aware Applications Using Bigraphs

  title={Generating Test Cases for Context-Aware Applications Using Bigraphs},
  author={Lian Yu and Wei-Tek Tsai and Yanbing Jiang and Jerry Zeyu Gao},
  journal={2014 Eighth International Conference on Software Security and Reliability},
Context-aware applications often consist of a middleware and a collection of services, which run autonomously adaptive to the changing environments, where a variety of sensors are installed in physical facilities, with end-users moving around. Testing such context-aware applications is challenging due to the complex interactions among the components, especially for the complicated environment modeling. This paper extends a bigraphical sorting predicate logic as constraints to create a meta… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-9 of 9 extracted citations


Publications referenced by this paper.
Showing 1-10 of 29 references

Troin, “Stochastic Bigraphs

  • Jean Krivine, Robin Milner, Angelo
  • Proceedings of the 24th Conference on the…
  • 2008
1 Excerpt

A survey on model-based testing approaches: a systematic review[C

  • A CAriloC.DiasNeto, R Subramanyan, M Vieira
  • Proceedings of the 1st ACM international workshop…
  • 2007
1 Excerpt

Similar Papers

Loading similar papers…