Author:
Lin Lan,He Jia,Zhang Yong,Song Fengguang
Reference20 articles.
1. Poore, J.H., Lin, L., Eschbach, R., Bauer, T. Automated statistical testing for embedded systems. In: Zander, J., Schieferdecker, I., Mosterman, P.J., editors. Model-Based Testing for Embedded Systems in the Series on Computational Analysis and Synthesis, and Design of Dynamic Systems. CRC Press-Taylor & Francis; 2011.
2. Lin, L., Prowell, S.J., Poore, J.H. An axiom system for sequence-based specification. Theoretical Computer Science 2010;411(2):360-376.
3. Prowell, S.J., Poore, J.H. Foundations of sequence-based software specification. IEEE Transactions on Software Engineering 2003;. 29(5):417-429.
4. Prowell, S.J., Trammell, C.J., Linger, R.C., Poore, J.H. Cleanroom Software Engineering: Technology and Process. Reading, MA: Addison-Wesley; 1999.
5. Prowell, S.J., Poore, J.H. Sequence-based software specification of deterministic systems. Software: Practice and Experience 1998; 28(3):329-344.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献