Inter-context control-flow and data-flow test adequacy criteria for nesC applications

@inproceedings{Lai2008IntercontextCA,
  title={Inter-context control-flow and data-flow test adequacy criteria for nesC applications},
  author={Zhifeng Lai and Shing-Chi Cheung and Wing Kwong Chan},
  booktitle={SIGSOFT FSE},
  year={2008}
}
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known as contexts, to perform its actions. However, a high degree of inter-context interleaving in an application can cause it to be error-prone. For instance, a context may mistakenly alter another context's data kept at a shared variable. Existing concurrency testing techniques target testing programs written in general… CONTINUE READING
Highly Cited
This paper has 46 citations. REVIEW CITATIONS
24 Citations
14 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 24 extracted citations

References

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

Similar Papers

Loading similar papers…